tree
6861 papers tagged with this keyword
Associativity conditions for linear quasigroups and equivalence relations on binary trees
We characterise the bracketing identities satisfied by linear quasigroups with the help of certain equivalence relations on binary trees that are based on the left and right depths of the leaves modulo some integers. The numbers of equivalence classes of $n$-leaf binary trees are variants of the Catalan numbers, and they form the associative spectrum (a kind of measure of non-associativity) of a quasigroup.
One n Remains to Settle the Tree Conjecture
In the famous network creation game of Fabrikant et al. a set of agents play a game to build a connected graph. The $n$ agents form the vertex set $V$ of the graph and each vertex $v\in V$ buys a set $E_v$ of edges inducing a graph $G=(V,\bigcup\limits_{v\in V} E_v)$. The private objective of each vertex is to minimize the sum of its building cost (the cost of the edges it buys) plus its connection cost (the total distance from itself to every other vertex). Given a cost of $α$ for each individual edge, a long-standing conjecture, called the tree conjecture, states that if $α> n$ then every Nash equilibrium graph in the game is a spanning tree. After a plethora of work, it is known that the conjecture holds for any $α>3n-3$. In this paper we prove the tree conjecture holds for $α>2n$. This reduces by half the open range for $α$ with only $[n, 2n)$ remaining in order to settle the conjecture.
On $k$-vertex-edge domination of graph
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple undirected graph. The open neighbourhood of a vertex $v$ in $G$ is defined as $N_G(v)=\{u\in V~|~ uv\in E\}$; whereas the closed neighbourhood is defined as $N_G[v]= N_G(v)\cup \{v\}$. For an integer $k$, a subset $D\subseteq V$ is called a $k$-vertex-edge dominating set of $G$ if for every edge $uv\in E$, $|(N_G[u]\cup N_G[v]) \cap D|\geq k$. In $k$-vertex-edge domination problem, our goal is to find a $k$-vertex-edge dominating set of minimum cardinality of an input graph $G$. In this paper, we first prove that the decision version of $k$-vertex-edge domination problem is NP-complete for chordal graphs. On the positive side, we design a linear time algorithm for finding a minimum $k$-vertex-edge dominating set of tree. We also prove that there is a $O(\log(Δ(G)))$-approximation algorithm for this problem in general graph $G$, where $Δ(G)$ is the maximum degree of $G$. Then we show that for a graph $G$ with $n$ vertices, this problem cannot be approximated within a factor of $(1-ε) \ln n$ for any $ε>0$ unless $NP\subseteq DTIME(|V|^{O(\log\log|V|)})$. Finally, we prove that it is APX-complete for graphs with bounded degree $k+3$.
Algorithmic study on liar's vertex-edge domination problem
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. For an edge $e=xy\in E$, the closed neighbourhood of $e$, denoted by $N_G[e]$ or $N_G[xy]$, is the set $N_G[x]\cup N_G[y]$. A vertex set $L\subseteq V$ is liar's vertex-edge dominating set of a graph $G=(V,E)$ if for every $e_i\in E$, $|N_G[e_i]\cap L|\geq 2$ and for every pair of distinct edges $e_i$ and $e_j$, $|(N_G[e_i]\cup N_G[e_j])\cap L|\geq 3$. This paper introduces the notion of liar's vertex-edge domination which arises naturally from some applications in communication networks. Given a graph $G$, the \textsc{Minimum Liar's Vertex-Edge Domination Problem} (\textsc{MinLVEDP}) asks to find a liar's vertex-edge dominating set of $G$ of minimum cardinality. In this paper, we study this problem from algorithmic point of view. We show that \textsc{MinLVEDP} can be solved in linear time for trees, whereas the decision version of this problem is NP-complete for chordal graphs, bipartite graphs, and $p$-claw free graphs for $p\geq 4$. We further study approximation algorithms for this problem. We propose two approximation algorithms for \textsc{MinLVEDP} in general graphs and $p$-claw free graphs.
%We propose an $O(\ln Δ(G))$-approximation algorithm for \textsc{MinLVEDP} in general graphs, where $Δ(G)$ is the maximum degree of the input graph. Also, we design a constant factor approximation algorithm for $p$-claw free graphs.
On the negative side, we show that the \textsc{MinLVEDP} cannot be approximated within $\frac{1}{2}(\frac{1}{8}-ε)\ln|V|$ for any $ε>0$, unless $NP\subseteq DTIME(|V|^{O(\log(\log|V|)})$. Finally, we prove that the \textsc{MinLVEDP} is APX-complete for bounded degree graphs and $p$-claw free graphs for $p\geq 6$.
Transversals in a collections of trees
Let $\mathcal{S}$ be a fixed family of graphs on vertex set $V$ and $\mathcal{G}$ be a collection of elements in $\mathcal{S}$. We investigated the transversal problem of finding the maximum value of $|\mathcal{G}|$ when $\mathcal{G}$ contains no rainbow elements in $\mathcal{S}$. Specifically, we determine the exact values when $\mathcal{S}$ is a family of stars or a family of trees of the same order $n$ with $n$ dividing $|V|$. Further, all the extremal cases for $\mathcal{G}$ are characterized.
Edge-Locating Coloring of Graphs
Published
• View Publication
• BIB
An edge-locating coloring of a simple connected graph $G$ is a partition of its edge set into matchings such that the vertices of $G$ are distinguished by the distance to the matchings. The minimum number of the matchings of $G$ that admits an edge-locating coloring is the edge-locating chromatic number of $G$, and denoted by $χ'_L(G)$. In this paper we initiate to introduce the concept of edge-locating coloring and determine the exact values $χ'_L(G)$ of some custom graphs. The graphs $G$ with $χ'_L(G)\in \{2,m\}$ are characterized, where $m$ is the size of $G$. We investigate the relationship between order, diameter, and edge-locating chromatic number of $G$. For a complete graph $K_n$, we obtain the exact values of $χ'_L(K_n)$ and $χ'_L(K_n-M)$, where $M$ is a maximum matching; indeed this result is also extended for any graph. We will determine the edge-locating chromatic number of join graph $G+H$, where $G$ and $H$ are some well-known graphs. In particular, for any graph $G$, we show a relationship between $χ'_L(G+K_1)$ and $Δ(G)$. We investigate the edge-locating chromatic number of trees and present a characterization bound for any tree in terms of maximum degree, number of leaves, and the support vertices of trees. Finally, we prove that any edge-locating coloring of a graph is an edge distinguishing coloring.
NP-Hardness of Tensor Network Contraction Ordering
We study the optimal order (or sequence) of contracting a tensor network with a minimal computational cost. We conclude 2 different versions of this optimal sequence: that minimize the operation number (OMS) and that minimize the time complexity (CMS). Existing results only shows that OMS is NP-hard, but no conclusion on CMS problem. In this work, we firstly reduce CMS to CMS-0, which is a sub-problem of CMS with no free indices. Then we prove that CMS is easier than OMS, both in general and in tree cases. Last but not least, we prove that CMS is still NP-hard. Based on our results, we have built up relationships of hardness of different tensor network contraction problems.
Cup Stacking in Graphs
Published
• View Publication
• BIB
Here we introduce a new game on graphs, called cup stacking, following a line of what can be considered as $0$-, $1$-, or $2$-person games such as chip firing, percolation, graph burning, zero forcing, cops and robbers, graph pebbling, and graph pegging, among others. It can be more general, but the most basic scenario begins with a single cup on each vertex of a graph. (This simplification coincides with an earlier game devised by Gordon Hamilton.) For a vertex with $k$ cups on it we can move all its cups to a vertex at distance $k$ from it, provided the second vertex already has at least one cup on it. The object is to stack all cups onto some pre-described target vertex. We say that a graph is stackable if this can be accomplished for all possible target vertices.
In this paper we study cup stacking on many families of graphs, developing a characterization of stackability in graphs and using it to prove the stackability of complete graphs, paths, cycles, grids, the Petersen graph, many Kneser graphs, some trees, cubes of dimension up to 20, "somewhat balanced" complete $t$-partite graphs, and Hamiltonian diameter two graphs. Additionally we use the Gallai-Edmonds Structure Theorem, the Edmonds Blossom Algorithm, and the Hungarian algorithm to devise a polynomial algorithm to decide if a diameter two graph is stackable.
Our proof that cubes up to dimension 20 are stackable uses Kleitman's Symmetric Chain Decomposition and the new result of Merino, Mütze, and Namrata that all generalized Johnson graphs (excluding the Petersen graph) are Hamiltonian. We conjecture that all cubes and higher-dimensional grids are stackable, and leave the reader with several open problems, questions, and generalizations.
Algorithmic study on $2$-transitivity of graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. In this article, we study a variation of transitive partition, namely \emph{$2$-transitive partition}. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{$2$-dominates} $B$ if every vertex of $B$ is adjacent to at least two vertices of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{$2$-transitive partition} of size $k$ if $V_i$ $2$-dominates $V_j$ for all $1\leq i<j\leq k$. The \textsc{Maximum $2$-Transitivity Problem} is to find a $2$-transitive partition of a given graph with the maximum number of parts. We show that the decision version of this problem is NP-complete for chordal and bipartite graphs. On the positive side, we design three linear-time algorithms for solving \textsc{Maximum $2$-Transitivity Problem} in trees, split and bipartite chain graphs.
Strong transitivity of a graph
Published
• View Publication
• BIB
A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{strongly dominates} $B$ if for every vertex $y\in B$, there exists a vertex $x\in A$, such that $xy\in E$ and $deg_G(x)\geq deg_G(y)$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{strong transitive partition} of size $k$ if $V_i$ strongly dominates $V_j$ for all $1\leq i<j\leq k$. The \textsc{Maximum Strong Transitivity Problem} is to find a strong transitive partition of a given graph with the maximum number of parts. In this article, we initiate the study of this variation of transitive partition from algorithmic point of view. We show that the decision version of this problem is NP-complete for chordal graphs. On the positive side, we prove that this problem can be solved in linear time for trees and split graphs.
Optimization with pattern-avoiding input
Published
• View Publication
• BIB
Permutation pattern-avoidance is a central concept of both enumerative and extremal combinatorics. In this paper we study the effect of permutation pattern-avoidance on the complexity of optimization problems.
In the context of the dynamic optimality conjecture (Sleator, Tarjan, STOC 1983), Chalermsook, Goswami, Kozma, Mehlhorn, and Saranurak (FOCS 2015) conjectured that the amortized search cost of an optimal binary search tree (BST) is constant whenever the search sequence is pattern-avoiding. The best known bound to date is $2^{α{(n)}(1+o(1))}$ recently obtained by Chalermsook, Pettie, and Yingchareonthawornchai (SODA 2024); here $n$ is the BST size and $α(\cdot)$ the inverse-Ackermann function. In this paper we resolve the conjecture, showing a tight $O(1)$ bound. This indicates a barrier to dynamic optimality: any candidate online BST (e.g., splay trees or greedy trees) must match this optimum, but current analysis techniques only give superconstant bounds.
More broadly, we argue that the easiness of pattern-avoiding input is a general phenomenon, not limited to BSTs or even to data structures. To illustrate this, we show that when the input avoids an arbitrary, fixed, a priori unknown pattern, one can efficiently compute a $k$-server solution of $n$ requests from a unit interval, with total cost $n^{O(1/\log k)}$, in contrast to the worst-case $Θ(n/k)$ bound; and a traveling salesman tour of $n$ points from a unit box, of length $O(\log{n})$, in contrast to the worst-case $Θ(\sqrt{n})$ bound; similar results hold for the euclidean minimum spanning tree, Steiner tree, and nearest-neighbor graphs.
We show both results to be tight. Our techniques build on the Marcus-Tardos proof of the Stanley-Wilf conjecture, and on the recently emerging concept of twin-width.
Near optimal bounds for weak and strong spatial mixing for the anti-ferromagnetic Potts model on trees
Published
• View Publication
• BIB
We show that the anti-ferromagnetic Potts model on trees exhibits strong spatial mixing for a near-optimal range of parameters. Our work complements recent results of Chen, Liu, Mani, and Moitra [arXiv.2304.01954] who showed this to be true in the infinite temperature setting, corresponding to uniform proper colorings. We furthermore prove weak spatial mixing results complementing results in [arXiv.2304.01954].
The tropical polytope is the set of all weighted tropical Fermat-Weber points
Let $\mathbf{v}_1,\ldots,\mathbf{v}_m$ be points in a metric space with distance $d$, and let $w_1,\ldots,w_m$ be positive real weights. The weighted Fermat-Weber points are those points $\mathbf{x}$ which minimize $\sum w_i d(\mathbf{v}_i, \mathbf{x})$. We extend a result of Comăneci and Joswig, that the set of unweighted Fermat-Weber points agrees with the "central" covector cell of the tropical convex hull of $\mathbf{v}_1,\ldots,\mathbf{v}_m$, to the weighted setting. In particular, we show that for any fixed data points $\mathbf{v}_1, \ldots, \mathbf{v}_m$, and any covector cell of the tropical convex hull of the data, there is a choice of weights that makes that cell the Fermat-Weber set. We similarly extend the method of Comăneci and Joswig for computing consensus trees in phylogenetics.
Exact results for some extremal problems on expansions I
Published
• View Publication
• BIB
The expansion of a graph $F$, denoted by $F^3$, is the $3$-graph obtained from $F$ by adding a new vertex to each edge such that different edges receive different vertices. For large $n$, we establish tight upper bounds for:
The maximum number of edges in an $n$-vertex $3$-graph that does not contain $T^3$ for certain class $\mathcal{T}$ of trees, sharpening (partially) a result of Kostochka--Mubayi--Verstraëte.
The minimum number of colors needed to color the complete $n$-vertex $3$-graph to ensure the existence of a rainbow copy of $F^3$ when $F$ is a graph obtained from some tree $T\in \mathcal{T}$ by adding a new edge, extending anti-Ramsey results on $P_{2t}^3$ by Gu--Li--Shi and $C_{2t}^3$ by Tang--Li--Yan.
The maximum number of edges in an $n$-vertex $3$-graph whose shadow does not contain the shadow of $C_{k}^3$ or $T^3$ for $T\in \mathcal{T}$, answering a question of Lv \etal on generalized Turán problems.
Generalized spectral characterization of signed trees
Published
• View Publication
• BIB
Let $T$ be a tree with an irreducible characteristic polynomial $φ(x)$ over $\mathbb{Q}$. Let $Δ(T)$ be the discriminant of $φ(x)$. It is proved that if $2^{-\frac n2}\sqrt{Δ(T)}$ (which is always an integer) is odd and square free, then every signed tree with underlying graph $T$ is determined by its generalized spectrum.
The generalized 4-connectivity of burnt pancake graphs
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. An $n$-dimensional burnt pancake graph $BP_n$ is a Cayley graph which posses many desirable properties. In this paper, we try to evaluate the reliability of $BP_n$ by investigating its generalized 4-connectivity. By introducing the notation of inclusive tree and by studying structural properties of $BP_n$, we show that $κ_4(BP_n)=n-1$ for $n\ge 2$, that is, for any four vertices in $BP_n$, there exist ($n-1$) internally edge disjoint trees connecting them in $BP_n$.
Beyond the Pseudoforest Strong Nine Dragon Tree Theorem
Published in European Journal of Combinatorics 2025
• View Publication
• BIB
The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.
Structure and growth of $\mathbb{R}$-bonacci words
Published in S. Dovgal and S.Kirgizov, Structure and growth of $\mathbb{R}$-bonacci words, The Electronic Journal of Combinatorics, 32(3), Article P3.32, 2025
• View Publication
• BIB
A binary word is called $q$-decreasing, for $q>0$, if inside this word each of length-maximal (in the local sense) occurrences of a factor of the form $0^a1^b$, $a>0$, satisfies $q \cdot a > b$. We bijectively link $q$-decreasing words with certain prefixes of the cutting sequence of the line $y=qx$. We show that for any real positive $q$ the number of $q$-decreasing words of length $n$ grows as $C_q \cdot Φ(q)^n$ for some constant $C_q$ which depends on $q$ but not on $n$. From previous works, it is already known that $Φ(1)$ is the golden ratio, $Φ(2)$ is equal to the tribonacci constant, $Φ(k)$ is $(k+1)$-bonacci constant. We prove that the function $Φ(q)$ is strictly increasing, discontinuous at every positive rational point, and exhibits a fractal structure related to the Stern-Brocot tree and Minkowski's question mark function.
Exceptional sequences of type $B_n/C_n$ and those in the abelian tube
We examine clusters in the cluster tube of rank $n+1$ using exceptional sequences in the abelian tube of rank $n+1$. Although the abelian tube has more exceptional sequences than the module categories of type $B_{n}/C_{n}$, we obtain a bijection between the set of signed exceptional sequences of any length in these categories. This bijection gives a reinterpretation of the formula of Buan-Marsh-Vatne comparing clusters of type $B_n/C_n$ with maximal rigid objects in the cluster tube of rank $n+1$. The bijection passes through the set of "augmented" rooted labeled trees.
Stirling complexes
Published in J. Applied and Computational Topology, 7 (2023), no. 1, 57--74
• View Publication
• BIB
In this paper we study natural reconfiguration spaces associated to the problem of distributing a fixed number of resources to labeled nodes of a tree network, so that no node is left empty. These spaces turn out to be cubical complexes, which can be thought of as higher-dimensional geometric extensions of the combinatorial Stirling problem of partitioning a set of named objects into non-empty labeled parts.
As our main result, we prove that these Stirling complexes are always homotopy equivalent to wedges of spheres of the same dimension. Furthermore, we provide several combinatorial formulae to count these spheres.
Somewhat surprisingly, the homotopy type of the Stirling complexes turns out to depend only on the number of resources and the number of the labeled nodes, not on the actual structure of the tree network.