tree
6861 papers tagged with this keyword
Spanning trees in randomly perturbed graphs
Published
• View Publication
• BIB
A classical result of Komlós, Sárközy and Szemerédi states that every $n$-vertex graph with minimum degree at least $(1/2+ o(1))n$ contains every $n$-vertex tree with maximum degree $O(n/\log{n})$ as a subgraph, and the bounds on the degree conditions are sharp. On the other hand, Krivelevich, Kwan and Sudakov recently proved that for every $n$-vertex graph $G_α$ with minimum degree at least $αn$ for any fixed $α>0$ and every $n$-vertex tree $T$ with bounded maximum degree, one can still find a copy of $T$ in $G_α$ with high probability after adding $O(n)$ randomly-chosen edges to $G_α$. We extend their results to trees with unbounded maximum degree. More precisely, for a given $n^{o(1)}\leq Δ\leq cn/\log n$ and $α>0$, we determine the precise number (up to a constant factor) of random edges that we need to add to an arbitrary $n$-vertex graph $G_α$ with minimum degree $αn$ in order to guarantee a copy of any fixed $n$-vertex tree $T$ with maximum degree at most~$Δ$ with high probability.
Limiting probabilities for vertices of a given rank in rooted trees
We consider two varieties of labeled rooted trees, and the probability that a vertex chosen from all vertices of all trees of a given size uniformly at random has a given rank. We prove that this probability converges to a limit as the tree size goes to infinity.
Counting trees in a graph
Published in Kvant, 2018, no. 9, 9--13
• View Publication
• BIB
We discuss a recursive formula for number of spanning trees in a graph. The paper is written primary for school students.
Edge-decomposing graphs into coprime forests
The Barat-Thomassen conjecture, recently proved in [Bensmail et al.: A proof of the Barat-Thomassen conjecture. J. Combin. Theory Ser. B, 124:39-55, 2017.], asserts that for every tree T, there is a constant $c_T$ such that every $c_T$-edge connected graph G with number of edges (size) divisible by the size of T admits an edge partition into copies of T (a T-decomposition). In this paper, we investigate in which case the connectivity requirement can be dropped to a minimum degree condition. For instance, it was shown in [Bensmail et al.: Edge-partitioning a graph into paths: beyond the Barat-Thomassen conjecture. arXiv:1507.08208] that when T is a path with k edges, there is a constant $d_k$ such that every 24-edge connected graph G with size divisible by k and minimum degree $d_k$ has a T-decomposition. We show in this paper that when F is a coprime forest (the sizes of its components being a coprime set of integers), any graph G with sufficiently large minimum degree has an F-decomposition provided that the size of F divides the size of G (no connectivity is required). A natural conjecture asked in [Bensmail et al.: Edge-partitioning a graph into paths: beyond the Barat-Thomassen conjecture. arXiv:1507.08208] asserts that for a fixed tree T, any graph G of size divisible by the size of T with sufficiently high minimum degree has a T-decomposition, provided that G is sufficiently highly connected in terms of the maximal degree of T. The case of maximum degree 2 is answered by paths. We provide a counterexample to this conjecture in the case of maximum degree 3.
Embedding rainbow trees with applications to graph labelling and decomposition
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. The study of rainbow subgraphs goes back more than two hundred years to the work of Euler on Latin squares. Since then rainbow structures have been the focus of extensive research and have found applications in the areas of graph labelling and decomposition. An edge-colouring is locally $k$-bounded if each vertex is contained in at most $k$ edges of the same colour. In this paper we prove that any such edge-colouring of the complete graph $K_n$ contains a rainbow copy of every tree with at most $(1-o(1))n/k$ vertices. As a locally $k$-bounded edge-colouring of $K_n$ may have only $(n-1)/k$ distinct colours, this is essentially tight.
As a corollary of this result we obtain asymptotic versions of two long-standing conjectures in graph theory. Firstly, we prove an asymptotic version of Ringel's conjecture from 1963, showing that any $n$-edge tree packs into the complete graph $K_{2n+o(n)}$ to cover all but $o(n^2)$ of its edges. Secondly, we show that all trees have an almost-harmonious labelling. The existence of such a labelling was conjectured by Graham and Sloane in 1980. We also discuss some additional applications.
Non-fringe subtrees in conditioned Galton--Watson trees
Published in The Electronic Journal of Combinatorics 25(3) (2018)
• View Publication
• BIB
We study $S(\mathcal T_{n})$, the number of subtrees in a conditioned Galton--Watson tree of size $n$. With two very different methods, we show that $\log(S(\mathcal T_{n}))$ has a Central Limit Law and that the moments of $S(\mathcal T_{n})$ are of exponential scale.
Constructing graphs with limited resources
We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of instructions for each vertex and no use of memory. Large instructions without memory do not bring any advantage. With one bit of instructions and one bit of memory for each vertex, we can construct a family of perfect graphs that strictly includes threshold graphs. We consider the case in which memory lasts for a single time step, and show that as well as the standard threshold graphs, linear forests are also producible. We show further that the number of random bits (with no memory or instructions) needed to construct any graph is asymptotically the same as required for the Erdős-Rényi random graph. We also briefly consider constructing trees in this scheme. The problem of defining a hierarchy of graphs in the proposed framework is fully open.
Spanning trees in a Claw-free graph whose stems have at most $k$ branch vertices
Let $T$ be a tree, a vertex of degree one and a vertex of degree at least three is called a leaf and a branch vertex, respectively. The set of leaves of $T$ is denoted by $Leaf(T)$. The subtree $T-Leaf(T)$ of $T$ is called the stem of $T$ and denoted by $Stem(T).$ In this paper, we give two sufficient conditions for a connected claw-free graph to have a spanning tree whose stem has a bounded number of branch vertices, and those conditions are best possible. As corollaries of main results we also give some conditions to show that a connected claw-free graph has a spanning tree whose stem is a spider.
Dimension of CPT posets
Published
• View Publication
• BIB
A collection of linear orders on $X$, say $\mathcal{L}$, is said to \emph{realize} a partially ordered set (or poset) $\mathcal{P} = (X, \preceq)$ if, for any two distinct $x,y \in X$, $x \preceq y$ if and only if $x \prec_L y$, $\forall L \in \mathcal{L}$. We call $\mathcal{L}$ a \emph{realizer} of $\mathcal{P}$. The \emph{dimension} of $\mathcal{P}$, denoted by $dim(\mathcal{P})$, is the minimum cardinality of a realizer of $\mathcal{P}$.
A \emph{containment model} $M_{\mathcal{P}}$ of a poset $\mathcal{P}=(X,\preceq)$ maps every $x \in X$ to a set $M_x$ such that, for every distinct $x,y \in X,\ x \preceq y$ if and only if $M_x \varsubsetneq M_y$. We shall be using the collection $(M_x)_{x \in X}$ to identify the containment model $M_{\mathcal{P}}$. A poset $\mathcal{P}=(X,\preceq)$ is a Containment order of Paths in a Tree (CPT poset), if it admits a containment model $M_{\mathcal{P}}=(P_x)_{x \in X}$ where every $P_x$ is a path of a tree $T$, which is called the host tree of the model.
We show that if a poset $\mathcal{P}$ admits a CPT model in a host tree $T$ of maximum degree $Δ$ and radius $r$, then \rogers{$dim(\mathcal{P}) \leq \lg\lg Δ+ (\frac{1}{2} + o(1))\lg\lg\lg Δ+ \lg r + \frac{1}{2} \lg\lg r + \frac{1}{2}\lg π+ 3$. This bound is asymptotically tight up to an additive factor of $\min(\frac{1}{2}\lg\lg\lg Δ, \frac{1}{2}\lg\lg r)$. Further, let $\mathcal{P}(1,2;n)$ be the poset consisting of all the $1$-element and $2$-element subsets of $[n]$ under `containment' relation and let $dim(1,2;n)$ denote its dimension. The proof of our main theorem gives a simple algorithm to construct a realizer for $\mathcal{P}(1,2;n)$ whose cardinality is only an additive factor of at most $\frac{3}{2}$ away from the optimum.
On the centroid of increasing trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Combinatorics (August 27, 2019) dmtcs:4325
• View Publication
• BIB
A centroid node in a tree is a node for which the sum of the distances to all other nodes attains its minimum, or equivalently a node with the property that none of its branches contains more than half of the other nodes. We generalise some known results regarding the behaviour of centroid nodes in random recursive trees (due to Moon) to the class of very simple increasing trees, which also includes the families of plane-oriented and $d$-ary increasing trees. In particular, we derive limits of distributions and moments for the depth and label of the centroid node nearest to the root, as well as for the size of the subtree rooted at this node.
Lovász Meets Weisfeiler and Leman
In this paper, we relate a beautiful theory by Lovász with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional generalization known as the Weisfeiler-Leman algorithm. We prove that two graphs G and H are indistinguishable by the color refinement algorithm if and only if, for all trees T, the number Hom(T,G) of homomorphisms from T to G equals the corresponding number Hom(T,H) for H.
There is a natural system of linear equations whose nonnegative integer solutions correspond to the isomorphisms between two graphs. The nonnegative real solutions to this system are called fractional isomorphisms, and two graphs are fractionally isomorphic if and only if the color refinement algorithm cannot distinguish them (Tinhofer 1986, 1991). We show that, if we drop the nonnegativity constraints, that is, if we look for arbitrary real solutions, then a solution to the linear system exists if and only if, for all t, the two graphs have the same number of length-t walks.
We lift the results for trees to an equivalence between numbers of homomorphisms from graphs of tree width k, the k-dimensional Weisfeiler-Leman algorithm, and the level-k Sherali-Adams relaxation of our linear program. We also obtain a partial result for graphs of bounded path width and solutions to our system where we drop the nonnegativity constraints. A consequence of our results is a quasi-linear time algorithm to decide whether, for two given graphs G and H, there is a tree T with Hom(T,G) = Hom(T,H).
Anti-Ramsey number of edge-disjoint rainbow spanning trees
Published
• View Publication
• BIB
An edge-colored graph $G$ is called rainbow if every edge of $G$ receives a different color. The anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees, denoted by $r(n,t)$, is defined as the maximum number of colors in an edge-coloring of $K_n$ containing no $t$ edge-disjoint rainbow spanning trees. Jahanbekam and West [J. Graph Theory, 2014] conjectured that for any fixed $t$, $r(n,t)=\binom{n-2}{2}+t$ whenever $n\geq 2t+2 \geq 6$. In this paper, we prove this conjecture. We also determine $r(n,t)$ when $n = 2t+1$. Together with previous results, this gives the anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees for all values of $n$ and $t$.
Cutting Lemma and Union Lemma for the Domination Game
Published
• View Publication
• BIB
Two new techniques are introduced into the theory of the domination game. The cutting lemma bounds the game domination number of a partially dominated graph with the game domination number of suitably modified partially dominated graph. The union lemma bounds the S-game domination number of a disjoint union of paths using appropriate weighting functions. Using these tools a conjecture asserting that the so-called three legged spiders are game domination critical graphs is proved. An extended cutting lemma is also derived and all game domination critical trees on 18, 19, and 20 vertices are listed.
Inducibility of Topological Trees
Published
• View Publication
• BIB
Trees without vertices of degree $2$ are sometimes named topological trees. In this work, we bring forward the study of the inducibility of (rooted) topological trees with a given number of leaves. The inducibility of a topological tree $S$ is the limit superior of the proportion of all subsets of leaves of $T$ that induce a copy of $S$ as the size of $T$ grows to infinity. In particular, this relaxes the degree-restriction for the existing notion of the inducibility in $d$-ary trees. We discuss some of the properties of this generalised concept and investigate its connection with the degree-restricted inducibility. In addition, we prove that stars and binary caterpillars are the only topological trees that have an inducibility of $1$. We also find an explicit lower bound on the limit inferior of the proportion of all subsets of leaves of $T$ that induce either a star or a binary caterpillar as the size of $T$ tends to infinity.
Maximizing the number of edges in three-dimensional colored triangulations whose building blocks are balls
Colored triangulations offer a generalization of combinatorial maps to higher dimensions. Just like maps are gluings of polygons, colored triangulations are built as gluings of special, higher-dimensional building blocks, such as octahedra, which we call colored building blocks and known in the dual as bubbles. A colored building block is determined by its boundary triangulation, which in the case of polygons is simply characterized by its length. In three dimensions, colored building blocks are labeled by some 2D triangulations and those homeomorphic to the 3-ball are labeled by the subset of planar ones. Similarly to Euler's formula in 2D which provides an upper bound to the number of vertices at fixed number of polygons with given lengths, we look in three dimensions for an upper bound on the number of edges at fixed number of given colored building blocks. In this article we solve this problem when all colored building blocks, except possibly one, are homeomorphic to the 3-ball. To do this, we find a characterization of the way a colored building block homeomorphic to the ball has to be glued to other blocks of arbitrary topology in a colored triangulation which maximizes the number of edges. This local characterization can be extended to the whole triangulation as long as there is at most one colored building block which is not a 3-ball. The triangulations obtained this way are in bijection with trees. The number of edges is given as an independent sum over the building blocks of such a triangulation. In the case of all colored building blocks being homeomorphic to the 3-ball, we show that these triangulations are homeomorphic to the 3-sphere. Those results were only known for the octahedron and for melonic building blocks before. This article is self-contained and can be used as an introduction to colored triangulations and their bubbles from a purely combinatorial point of view.
Unimodality of the independence polynomials of non-regular caterpillars
The independence polynomial $I(G, x)$ of a graph $G$ is the polynomial in variable $x$ in which the coefficient $a_n$ on $x^n$ gives the number of independent subsets $S \subseteq V(G)$ of vertices of $G$ such that $|S| = n$. $I(G, x)$ is unimodal if there is an index $μ$ such that that $a_0 \leq a_1 \leq$...$\leq a_{μ-1} \leq a_μ \geq a_{μ+1} \geq$...$\geq a_{d-1} \geq a_d$ While the independence polynomials of many families of graphs with highly regular structure are known to be unimodal, little is known about less regularly structured graphs. We analyze the independence polynomials of a large infinite family of trees without regular structure and show that these polynomials are unimodal through a combinatorial analysis of the polynomials coefficients.
Sub-tree counts on hyperbolic random geometric graphs
Published
• View Publication
• BIB
We study the hyperbolic random geometric graph introduced in Krioukov et al. For a sequence $R_n \to \infty$, we define these graphs to have the vertex set as Poisson points distributed uniformly in balls $B(0,R_n) \subset B_d^α$, the $d$-dimensional Poincaré ball (unit d-ball with the Poincaré metric $d_α$ corresponding to negative curvature $-α^2, α> 0$) by connecting any two points within a distance $R_n$ according to the metric $d_ζ, ζ> 0$. Denoting these graphs by $HG_n(R_n ; α, ζ)$, we study asymptotic counts of copies of a fixed tree $Γ_k$ (with the ordered degree sequence $d_{(1)} \leq \ldots \leq d_{(k)}$) in $HG_n(R_n ; α, ζ)$. Unlike earlier works, we count more involved structures, allowing for $d > 2$, and in many places, more general choices of $R_n$ rather than $R_n = 2[ζ(d-1)]^{-1}\log (n/ ν), ν\in (0,\infty)$. The latter choice of $R_n$ for $α/ ζ> 1/2$ corresponds to the thermodynamic regime. We show multiple phase transitions in $HG_n(R_n ; α, ζ)$ as $α/ ζ$ increases, i.e., the space $B_d^α$ becomes more hyperbolic. In particular, our analyses reveal that the sub-tree counts exhibit an intricate dependence on the degree sequence $d_{(1)},\ldots,d_{(k)}$ of $Γ_k$ as well as the ratio $α/ζ$. Under a more general radius regime $R_n$ than that described above, we investigate the asymptotics of the expectation and variance of sub-tree counts. Moreover, we prove the corresponding central limit theorem as well. Our proofs rely crucially on a careful analysis of the sub-tree counts near the boundary using Palm calculus for Poisson point processes along with estimates for the hyperbolic metric and measure. For the central limit theorem, we use the abstract normal approximation result from Last et al. derived using the Malliavin-Stein method.
Smooth heaps and a dual view of self-adjusting data structures
Published
• View Publication
• BIB
We present a new connection between self-adjusting binary search trees (BSTs) and heaps, two fundamental, extensively studied, and practically relevant families of data structures. Roughly speaking, we map an arbitrary heap algorithm within a natural model, to a corresponding BST algorithm with the same cost on a dual sequence of operations (i.e. the same sequence with the roles of time and key-space switched). This is the first general transformation between the two families of data structures.
There is a rich theory of dynamic optimality for BSTs (i.e. the theory of competitiveness between BST algorithms). The lack of an analogous theory for heaps has been noted in the literature. Through our connection, we transfer all instance-specific lower bounds known for BSTs to a general model of heaps, initiating a theory of dynamic optimality for heaps.
On the algorithmic side, we obtain a new, simple and efficient heap algorithm, which we call the smooth heap. We show the smooth heap to be the heap-counterpart of Greedy, the BST algorithm with the strongest proven and conjectured properties from the literature, widely believed to be instance-optimal. Assuming the optimality of Greedy, the smooth heap is also optimal within our model of heap algorithms. As corollaries of results known for Greedy, we obtain instance-specific upper bounds for the smooth heap, with applications in adaptive sorting.
Intriguingly, the smooth heap, although derived from a non-practical BST algorithm, is simple and easy to implement (e.g. it stores no auxiliary data besides the keys and tree pointers). It can be seen as a variation on the popular pairing heap data structure, extending it with a "power-of-two-choices" type of heuristic.
Graphs with at most two trees in a forest building process
Published
• View Publication
• BIB
Given a graph, we can form a spanning forest by first sorting the edges in some order, and then only keep edges incident to a vertex which is not incident to any previous edge. The resulting forest is dependent on the ordering of the edges, and so we can ask, for example, how likely is it for the process to produce a graph with $k$ trees.
We look at all graphs which can produce at most two trees in this process and determine the probabilities of having either one or two trees. From this we construct infinite families of graphs which are non-isomorphic but produce the same probabilities.
Universality for bounded degree spanning trees in randomly perturbed graphs
We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs. More precisely, we show that, if we start with a dense graph $G_α$ on $n$ vertices with $δ(G_α)\ge αn$ for $α>0$ and we add to it the binomial random graph $G(n,C/n)$, then with high probability the graph $G_α\cup G(n,C/n)$ contains copies of all spanning trees with maximum degree at most $Δ$ simultaneously, where $C$ depends only on $α$ and $Δ$.