tree
6861 papers tagged with this keyword
The generalized connectivity of $(n,k)$-bubble-sort graphs
Published
• View Publication
• BIB
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $r$ of edge-disjoint trees $T_1, T_2, \cdots, T_r$ in $G$ such that $V(T_i)\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, r\}$ and $i\neq j$. For an integer $k$ with $2\leq k\leq n$, the {\em generalized $k$-connectivity} of a graph $G$ is defined as $κ_{k}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=k\}$. The generalized $k$-connectivity is a generalization of the traditional connectivity. In this paper, the generalized $3$-connectivity of the $(n,k)$-bubble-sort graph $B_{n,k}$ is studied for $2\leq k\leq n-1$. By proposing an algorithm to construct $n-1$ internally disjoint paths in $B_{n-1,k-1}$, we show that $κ_{3}(B_{n,k})=n-2$ for $2\leq k\leq n-1$, which generalizes the known result about the bubble-sort graph $B_{n}$ [Applied Mathematics and Computation 274 (2016) 41-46] given by Li $et$ $al.$, as the bubble-sort graph $B_{n}$ is the special $(n,k)$-bubble-sort graph for $k=n-1$.
On the maximum number of maximum independent sets
Published
• View Publication
• BIB
We give a very short and simple proof of Zykov's generalization of Turán's theorem, which implies that the number of maximum independent sets of a graph of order $n$ and independence number $α$ with $α<n$ is at most $\left\lceil\frac{n}α\right\rceil^{n\,{\rm mod}\,α} \left\lfloor\frac{n}α\right\rfloor^{α-(n\,{\rm mod}\,α)}$. Generalizing a result of Zito, we show that the number of maximum independent sets of a tree of order $n$ and independence number $α$ is at most $2^{n-α-1}+1$, if $2α=n$, and, $2^{n-α-1}$, if $2α>n$, and we also characterize the extremal graphs. Finally, we show that the number of maximum independent sets of a subcubic tree of order $n$ and independence number $α$ is at most $\left(\frac{1+\sqrt{5}}{2}\right)^{2n-3α+1}$, and we provide more precise results for extremal values of $α$.
Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces
Published
• View Publication
• BIB
It is well known that any set of n intervals in $\mathbb{R}^1$ admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors. We investigate generalizations of this result to colorings of objects in more complex 1-dimensional spaces, namely so-called tree spaces and planar network spaces.
A Ramsey theorem for pairs in trees
Published
• View Publication
• BIB
We prove a sharp structural result concerning finite colorings of pairs in well-founded trees.
Tree-like distance colouring for planar graphs of sufficient girth
Published
• View Publication
• BIB
Given a multigraph $G$ and a positive integer $t$, the distance-$t$ chromatic index of $G$ is the least number of colours needed for a colouring of the edges so that every pair of distinct edges connected by a path of fewer than $t$ edges must receive different colours. Let $π'_t(d)$ and $τ'_t(d)$ be the largest values of this parameter over the class of planar multigraphs and of (simple) trees, respectively, of maximum degree $d$. We have that $π'_t(d)$ is at most and at least a non-trivial constant multiple larger than $τ'_t(d)$. (We conjecture $\limsup_{d\to\infty}π'_2(d)/τ'_2(d) =9/4$ in particular.) We prove for odd $t$ the existence of a quantity $g$ depending only on $t$ such that the distance-$t$ chromatic index of any planar multigraph of maximum degree $d$ and girth at least $g$ is at most $τ'_t(d)$ if $d$ is sufficiently large. Such a quantity does not exist for even $t$. We also show a related, similar phenomenon for distance vertex-colouring.
Sidorenko's conjecture for higher tree decompositions
This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader class, comparable to that given in work of Szegedy, through further iteration.
Sound Colless-like balance indices for multifurcating trees
Published
• View Publication
• BIB
The Colless index is one of the most popular and natural balance indices for bifurcating phylogenetic trees, but it makes no sense for multifurcating trees. In this paper we propose a family of Colless-like balance indices $\mathfrak{C}_{D,f}$, which depend on a dissimilarity $D$ and a function $f:\mathbb{N}\to \mathbb{R}_{\geq 0}$, that generalize the Colless index to multifurcating phylogenetic trees. We provide two functions $f$ such that the most balanced phylogenetic trees according to the corresponding indices $\mathfrak{C}_{D,f}$ are exactly the fully symmetric ones. Next, for each one of these two functions $f$ and for three popular dissimilarities $D$ (the variance, the standard deviation, and the mean deviation from the median), we determine the range of values of $\mathfrak{C}_{D,f}$ on the sets of phylogenetic trees with a given number $n$ of leaves. We end the paper by assessing the performance of one of these indices on TreeBASE and using it to show that the trees in this database do not seem to follow either the uniform model for multifurcating trees or the $α$-$γ$-model, for any values of $α$ and $γ$.
Resistors in dual networks
Published
• View Publication
• BIB
Let $G$ be a finite plane multigraph and $G'$ its dual. Each edge $e$ of $G$ is interpreted as a resistor of resistance $R_e$, and the dual edge $e'$ is assigned the dual resistance $R_{e'}:=1/R_e$. Then the equivalent resistance $r_e$ over $e$ and the equivalent resistance $r_{e'}$ over $e'$ satisfy $r_e/R_e+r_{e'}/R_{e'}=1$. We provide a graph theoretic proof of this relation by expressing the resistances in terms of sums of weights of spanning trees in $G$ and $G'$ respectively.
Parity duality for the amplituhedron
Published in Compositio Math. 156 (2020) 2207-2262
• View Publication
• BIB
The (tree) amplituhedron $\mathcal A_{n,k,m}(Z)$ is a certain subset of the Grassmannian introduced by Arkani-Hamed and Trnka in 2013 in order to study scattering amplitudes in $N=4$ supersymmetric Yang-Mills theory. Confirming a conjecture of the first author, we show that when $m$ is even, a collection of affine permutations yields a triangulation of $\mathcal A_{n,k,m}(Z)$ for any $Z\in \operatorname{Gr}_{>0}(k+m,n)$ if and only if the collection of their inverses yields a triangulation of $\mathcal A_{n,n-m-k,m}(Z)$ for any $Z\in\operatorname{Gr}_{>0}(n-k,n)$. We prove this duality using the twist map of Marsh and Scott. We also show that this map preserves the canonical differential forms associated with the corresponding positroid cells, and hence obtain a parity duality for amplituhedron differential forms.
Several Topics in Experimental Mathematics
This thesis deals with applications of experimental mathematics to a number of problems. The first problem is related to random graph statistics. We consider a certain class of Galton-Watson random trees and look at the total height statistic. We provide an automated procedure for computing values of the moments of this statistic.
Next, we investigate several problems related to lattice paths staying below a line of rational slope. These results are largely data-based. Using the generated data, we are able to find recurrences for the number of such paths for the cases of slopes 3/2 and 5/2. There is also investigation of a generalization of these problems to three dimensions.
We also examine generalizations of Sister Celine's method and Gosper's algorithm for evaluating summations. For both, we greatly extend the classes of applicable functions and applications to proving, or reproving in an automated way, interesting combinatorial problems. For the generalization of Sister Celine's method, we allow summations of arbitrary products of hypergeometric terms and linear recurrent sequences with rational coefficients.
We also show a partial result related to the bunk bed conjecture, a problem concerning random finite graphs. Let $G$ be a finite graph. Remove edges from $G\square K_2$ independently and with the same probability. In $G\square K_2$, there is an edge placed between all vertices of $G$ and the corresponding vertex in a copy of $G$. Then, label these vertices as either $(v,0)$ or $(v,1)$ for each $v\in V(G)$. The conjecture says that for any $x,y \in V(G)$, it is least as likely to have $(x,0)$ connected to $(y,0)$ as to have $(x,0)$ connected to $(y,1)$. We prove the conjecture in the case that only two of the edges going between the two copes of $G$ are retained.
Average Case Analysis of Leaf-Centric Binary Tree Sources
We study the average number of distinct fringe subtrees in random trees generated by leaf-centric binary tree sources as introduced by Zhang, Yang and Kieffer. A leaf-centric binary tree source induces for every $n \geq 2$ a probability distribution on the set of binary trees with $n$ leaves. We generalize a result by Flajolet, Gourdon, Martinez and Devroye, according to which the average number of distinct fringe subtrees in a random binary search tree of size $n$ is in $Θ(n/\log n)$, as well as a result by Flajolet, Sipala and Steayert, according to which the number of distinct fringe subtrees in a uniformly random binary tree of size $n$ is in $Θ(n/\sqrt{\log n})$.
On the maximum number of minimum total dominating sets in forests
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 23, 2019) dmtcs:4787
• View Publication
• BIB
We propose the conjecture that every tree with order $n$ at least $2$ and total domination number $γ_t$ has at most $\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}$ minimum total dominating sets. As a relaxation of this conjecture, we show that every forest $F$ with order $n$, no isolated vertex, and total domination number $γ_t$ has at most $\min\left\{\left(8\sqrt{e}\, \right)^{γ_t}\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}, (1+\sqrt{2})^{n-γ_t},1.4865^n\right\}$ minimum total dominating sets.
Spanning trees with at most 4 leaves in $K_{1,5}-$free graphs
Published
• View Publication
• BIB
In 2009, Kyaw proved that every $n$-vertex connected $K_{1,4}$-free graph $G$ with $σ_4(G)\geq n-1$ contains a spanning tree with at most $3$ leaves. In this paper, we prove an analogue of Kyaw's result for connected $K_{1,5}$-free graphs. We show that every $n$-vertex connected $K_{1,5}$-free graph $G$ with $σ_5(G)\geq n-1$ contains a spanning tree with at most $4$ leaves. Moreover, the degree sum condition `$σ_5(G)\geq n-1$' is best possible.
A Note on Roman \{2\}-domination problem in graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a Roman $\{2\}$-dominating function (R2DF)$f:V\rightarrow \{0,1,2\}$ has the property that for every vertex $v\in V$ with $f(v)=0$, either there exists a neighbor $u\in N(v)$, with $f(u)=2$, or at least two neighbors $x,y\in N(v)$ having $f(x)=f(y)=1$. The weight of a R2DF is the sum $f(V)=\sum_{v\in V}{f(v)}$, and the minimum weight of a R2DF is the Roman $\{2\}$-domination number $γ_{\{R2\}}(G)$. A R2DF is independent if the set of vertices having positive function values is an independent set. The independent Roman $\{2\}$-domination number $i_{\{R2\}}(G)$ is the minimum weight of an independent Roman $\{2\}$-dominating function on $G$. In this paper, we show that the decision problem associated with $γ_{\{R2\}}(G)$ is NP-complete even when restricted to split graphs. We design a linear time algorithm for computing the value of $i_{\{R2\}}(T)$ for any tree $T$. This answers an open problem raised by Rahmouni and Chellali [Independent Roman $\{2\}$-domination in graphs, Discrete Applied Mathematics 236 (2018), 408-414]. Chellali, Haynes, Hedetniemi and McRae \cite{chellali2016roman} have showed that Roman $\{2\}$-domination number can be computed for the class of trees in linear time. As a generalization, we present a linear time algorithm for solving the Roman $\{2\}$-domination problem in block graphs.
How to Realize a Graph on Random Points
We are given an integer $d$, a graph $G=(V,E)$, and a uniformly random embedding $f : V \rightarrow \{0,1\}^d$ of the vertices. We are interested in the probability that $G$ can be "realized" by a scaled Euclidean norm on $\mathbb{R}^d$, in the sense that there exists a non-negative scaling $w \in \mathbb{R}^d$ and a real threshold $θ> 0$ so that \[
(u,v) \in E \qquad \text{if and only if} \qquad \Vert f(u) - f(v) \Vert_w^2 < θ\,, \] where $\| x \|_w^2 = \sum_i w_i x_i^2$.
These constraints are similar to those found in the Euclidean minimum spanning tree (EMST) realization problem. A crucial difference is that the realization map is (partially) determined by the random variable $f$.
In this paper, we consider embeddings $f : V \rightarrow \{ x, y\}^d$ for arbitrary $x, y \in \mathbb{R}$. We prove that arbitrary trees can be realized with high probability when $d = Ω(n \log n)$. We prove an analogous result for graphs parametrized by the arboricity: specifically, we show that an arbitrary graph $G$ with arboricity $a$ can be realized with high probability when $d = Ω(n a^2 \log n)$. Additionally, if $r$ is the minimum effective resistance of the edges, $G$ can be realized with high probability when $d=Ω\left((n/r^2)\log n\right)$. Next, we show that it is necessary to have $d \geq \binom{n}{2}/6$ to realize random graphs, or $d \geq n/2$ to realize random spanning trees of the complete graph. This is true even if we permit an arbitrary embedding $f : V \rightarrow \{ x, y\}^d$ for any $x, y \in \mathbb{R}$ or negative weights. Along the way, we prove a probabilistic analog of Radon's theorem for convex sets in $\{0,1\}^d$.
Our tree-realization result can complement existing results on statistical inference for gene expression data which involves realizing a tree, such as [GJP15].
The connected metric dimension at a vertex of a graph
Published in Theoret. Comput. Sci., Vol. 806 (2020) pp.53-69
• View Publication
• BIB
The notion of metric dimension, $dim(G)$, of a graph $G$, as well as a number of variants, is now well studied. In this paper, we begin a local analysis of this notion by introducing $cdim_G(v)$, \emph{the connected metric dimension of $G$ at a vertex $v$}, which is defined as follows: a set of vertices $S$ of $G$ is a \emph{resolving set} if, for any pair of distinct vertices $x$ and $y$ of $G$, there is a vertex $z \in S$ such that the distance between $z$ and $x$ is distinct from the distance between $z$ and $y$ in $G$. We call a resolving set $S$ \emph{connected} if $S$ induces a connected subgraph of $G$. Then, $cdim_G(v)$ is defined to be the minimum of the cardinalities of all connected resolving sets which contain the vertex $v$. The \emph{connected metric dimension of $G$}, denoted by $cdim(G)$, is $\min\{cdim_G(v): v \in V(G)\}$. Noting that $1 \le dim(G) \le cdim(G) \le cdim_G(v) \le |V(G)|-1$ for any vertex $v$ of $G$, we show the existence of a pair $(G,v)$ such that $cdim_G(v)$ takes all positive integer values from $dim(G)$ to $|V (G)|-1$, as $v$ varies in a fixed graph $G$. We characterize graphs $G$ and their vertices $v$ satisfying $cdim_G(v) \in \{1, |V(G)|-1\}$. We show that $cdim(G)=2$ implies $G$ is planar, whereas it is well known that there is a non-planar graph $H$ with $dim(H)=2$. We also characterize trees and unicyclic graphs $G$ satisfying $cdim(G)=dim(G)$. We show that $cdim(G)-dim(G)$ can be arbitrarily large. We determine $cdim(G)$ and $cdim_G(v)$ for some classes of graphs. We further examine the effect of vertex or edge deletion on the connected metric dimension. We conclude with some open problems.
Entropy rates for Horton self-similar trees
Published
• View Publication
• BIB
In this paper we examine planted binary plane trees. First, we provide an exact formula for the number of planted binary trees with given Horton-Strahler orders. Then, using the notion of entropy, we examine the structural complexity of random planted binary trees with N vertices. Finally, we quantify the complexity of the tree's structural properties as tree grows in size, by evaluating the entropy rate for planted binary plane trees with N vertices and for planted binary plane trees that satisfy Horton Law with Horton exponent R.
Trees with unique minimum glolal offensive alliance sets
Published
• View Publication
• BIB
Let $G=$ $\left( V,E\right) $ be a simple graph.\ A non-empty set $S \subseteq V$ is called a global offensive alliance if $S$ is a dominating set and for every vertex $v$ in $V-S$, at least half of the vertices from the closed neighborhood of $v$ are in $S$. The global offensive alliance number is the minimum cardinality of a global offensive alliance in $G$. In this paper, we give a constructive characterization of trees having a unique minimum global offensive alliance.
A third strike against perfect phylogeny
Published
• View Publication
• BIB
Perfect phylogenies are fundamental in the study of evolutionary trees because they capture the situation when each evolutionary trait emerges only once in history; if such events are believed to be rare, then by Occam's Razor such parsimonious trees are preferable as a hypothesis of evolution. A classical result states that 2-state characters permit a perfect phylogeny precisely if each subset of 2 characters permits one. More recently, it was shown that for 3-state characters the same property holds but for size-3 subsets. A long-standing open problem asked whether such a constant exists for each number of states. More precisely, it has been conjectured that for any fixed integer $r$, there exists a constant $f(r)$ such that a set of $r$-state characters $C$ has a perfect phylogeny if and only if every subset of at most $f(r)$ characters has a perfect phylogeny. In this paper, we show that this conjecture is false. In particular, we show that for any constant $t$, there exists a set $C$ of $8$-state characters such that $C$ has no perfect phylogeny, but there exists a perfect phylogeny for every subset of $t$ characters. This negative result complements the two negative results ("strikes") of Bodlaender et al. We reflect on the consequences of this third strike, pointing out that while it does close off some routes for efficient algorithm development, many others remain open.
Pattern restricted quasi-Stirling permutations
We define a variation of Stirling permutations, called quasi-Stirling permutations, to be permutations on the multiset $\{1,1,2,2,\ldots, n,n\}$ that avoid the patterns 1212 and 2121. Their study is motivated by a known relationship between Stirling permutations and increasing ordered rooted labeled trees. We construct a bijection between quasi-Stirling permutations and the set of ordered rooted labeled trees and investigate pattern avoidance for these permutations.