tree
6861 papers tagged with this keyword
Geometric Bijections Between Spanning Trees and Break Divisors
Published
• View Publication
• BIB
The Jacobian group ${\rm Jac}(G)$ of a finite graph $G$ is a group whose cardinality is the number of spanning trees of $G$. $G$ also has a tropical Jacobian which has the structure of a real torus; using the notion of break divisors, An et al. obtained a polyhedral decomposition of the tropical Jacobian where vertices and cells correspond to elements of ${\rm Jac}(G)$ and spanning trees of $G$, respectively. We give a combinatorial description of bijections coming from this geometric setting. This provides a new geometric method for constructing bijections in combinatorics. We introduce a special class of geometric bijections that we call edge ordering maps, which have good algorithmic properties. Finally, we study the connection between our geometric bijections and the class of bijections introduced by Bernardi; in particular we prove a conjecture of Baker that planar Bernardi bijections are "geometric". We also give sharpened versions of results by Baker and Wang on Bernardi torsors.
Zero-divisor graphs of lower dismantlable lattices-I
Published
• View Publication
• BIB
In this paper, we study the zero-divisor graphs of a subclass of dismantlable lattices. These graphs are characterized in terms of the non-ancestor graphs of rooted trees.
A characterization of some graphs with metric dimension two
Published
• View Publication
• BIB
A set W \subseteq V (G) is called a resolving set, if for each pair of distinct vertices u,v \in V (G) there exists t \in W such that d(u,t) \neq d(v,t), where d(x,y) is the distance between vertices x and y. The cardinality of a minimum resolving set for G is called the metric dimension of G and is denoted by dim_M(G). A k-tree is a chordal graph all of whose maximal cliques are the same size k + 1 and all of whose minimal clique separators are also all the same size k. A k-path is a k-tree with maximum degree 2k, where for each integer j, k \leq j < 2k, there exists a unique pair of vertices, u and v, such that deg(u) = deg(v) = j. In this paper, we prove that if G is a k-path, then dim_M(G) = k. Moreover, we provide a characterization of all 2-trees with metric dimension two.
Extremal Distances for Subtree Transfer Operations in Binary Trees
Published
• View Publication
• BIB
Three standard subtree transfer operations for binary trees, used in particular for phylogenetic trees, are: tree bisection and reconnection ($TBR$), subtree prune and regraft ($SPR$) and rooted subtree prune and regraft ($rSPR$). For a pair of leaf-labelled binary trees with $n$ leaves, the maximum number of such moves required to transform one into the other is $n-Θ(\sqrt{n})$, extending a result of Ding, Grunewald and Humphries. We show that if the pair is chosen uniformly at random, then the expected number of moves required to transfer one into the other is $n-Θ(n^{2/3})$. These results may be phrased in terms of agreement forests: we also give extensions for more than two binary trees.
A characterization of L(2, 1)-labeling number for trees with maximum degree 3
An L(2, 1)-labeling of a graph is an assignment of nonnegative integers to the vertices of G such that adjacent vertices receive numbers differed by at least 2, and vertices at distance 2 are assigned distinct numbers. The L(2, 1)-labeling number is the minimum range of labels over all such labeling. It was shown by Griggs and Yeh [Labelling graphs with a condition at distance 2, SIAM J. Discrete Math. 5(1992), 586-595] that the L(2, 1)-labeling number of a tree is either \D+ 1 or \D + 2. In this paper, we give a complete characterization of L(2, 1)-labeling number for trees with maximum degree 3.
On friendliness between trees
The notion of friendliness between trees first appeared in solution of Lando's problem on intersection of polyhedra in 3-space. A tree is friendly to a path graph if edges of the tree can be numbered so that for each k,s the path between the edges k and k+1 contains either both or none of the edges k+2s,k+2s+1.
Theorem. If a tree contains a path containing all vertices of degree greater than 2, then the tree is friendly to a path graph.
We also prove another sufficient condition for friendliness to a path graph and a criterion for friendliness between trees, one of which has diameter 3.
Simultaneous Embeddings with Few Bends and Crossings
Published
• View Publication
• BIB
A simultaneous embedding with fixed edges (SEFE) of two planar graphs $R$ and $B$ is a pair of plane drawings of $R$ and $B$ that coincide when restricted to the common vertices and edges of $R$ and $B$. We show that whenever $R$ and $B$ admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if $R$ and $B$ are trees then one bend per edge and four crossings per edge pair suffice (and one bend per edge is sometimes necessary), (2) if $R$ is a planar graph and $B$ is a tree then six bends per edge and eight crossings per edge pair suffice, and (3) if $R$ and $B$ are planar graphs then six bends per edge and sixteen crossings per edge pair suffice. Our results improve on a paper by Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge pair suffice.
Mixed Covering Arrays on 3-Uniform Hypergraphs
Published
• View Publication
• BIB
Covering arrays are combinatorial objects that have been successfully applied in the design of test suites for testing systems such as software, circuits and networks, where failures can be caused by the interaction between their parameters. In this paper, we perform a new generalization of covering arrays called covering arrays on 3-uniform hypergraphs. Let $n, k$ be positive integers with $k\geq 3$. Three vectors $x\in \mathbb Z_{g_1}^n$, $y\in \mathbb Z_{g_2}^n$, $z\in \mathbb Z_{g_3}^n$ are {\it 3-qualitatively independent} if for any triplet $(a, b, c) \in \mathbb Z_{g_1}\,\times\, \mathbb Z_{g_2}\,\times\,\mathbb Z_{g_3}$, there exists an index $ j\in \lbrace 1, 2,...,n \rbrace $ such that $( x(j), y(j), z(j)) = (a, b, c)$. Let $H$ be a 3-uniform hypergraph with $k$ vertices $v_1,v_2,\ldots,v_k$ with respective vertex weights $g_1,g_2,\ldots,g_k$. A mixed covering array on $H$, denoted by $3-CA(n,H, \prod_{i=1}^{k}g_{i})$, is a $k\times n$ array such that row $i$ corresponds to vertex $v_i$, entries in row $i$ are from $Z_{g_i}$; and if $\{v_x,v_y,v_z\}$ is a hyperedge in $H$, then the rows $x,y,z$ are 3-qualitatively independent. The parameter $n$ is called the size of the array. Given a weighted 3-uniform hypergraph $H$, a mixed covering array on $H$ with minimum size is called optimal. We outline necessary background in the theory of hypergraphs that is relevant to the study of covering arrays on hypergraphs. In this article, we introduce five basic hypergraph operations to construct optimal mixed covering arrays on hypergraphs. Using these operations, we provide constructions for optimal mixed covering arrays on $α$-acyclic 3-uniform hypergraphs, conformal 3-uniform hypertrees having a binary tree as host tree, and on some specific 3-uniform cycle hypergraphs.
Bi-Cohen-Macaulay graphs
Published
• View Publication
• BIB
In this paper we consider bi-Cohen-Macaulay graphs, and give a complete classification of such graphs in the case they are bipartite or chordal. General bi-Cohen-Macaulay graphs are classified up to separation. The inseparable bi-Cohen-Macaulay graphs are determined. We establish a bijection between the set of all trees and the set of inseparable bi-Cohen-Macaulay graphs.
On the pedant tree-connectivity of graphs
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant-tree connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{$k$-pedant tree-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we first study the sharp bounds of pedant tree-connectivity. Next, we obtain the exact value of a threshold graph, and give an upper bound of the pedant-tree $k$-connectivity of a complete multipartite graph. For a connected graph $G$, we show that $0\leq τ_k(G)\leq n-k$, and graphs with $τ_k(G)=n-k,n-k-1,n-k-2,0$ are characterized in this paper. In the end, we obtain the Nordhaus-Guddum type results for pedant tree-connectivity.
Constructing Internally Disjoint Pendant Steiner Trees in Cartesian Product Networks
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant tree-connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{pedant tree $k$-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we prove that for any two connected graphs $G$ and $H$, $τ_3(G\Box H)\geq \min\{3\lfloor\frac{τ_3(G)}{2}\rfloor,3\lfloor\frac{τ_3(H)}{2}\rfloor\}$. Moreover, the bound is sharp.
Modified Linear Programming and Class 0 Bounds for Graph Pebbling
Published in J. Combinatorial Optimization. 34(1), July 2017, pp. 114-132
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a connected graph $G$, a \emph{pebbling move} removes two pebbles from some vertex and places one pebble on an adjacent vertex. The \emph{pebbling number} of a graph $G$ is the smallest integer $k$ such that for each vertex $v$ and each configuration of $k$ pebbles on $G$ there is a sequence of pebbling moves that places at least one pebble on $v$.
First, we improve on results of Hurlbert, who introduced a linear optimization technique for graph pebbling. In particular, we use a different set of weight functions, based on graphs more general than trees. We apply this new idea to some graphs from Hurlbert's paper to give improved bounds on their pebbling numbers.
Second, we investigate the structure of Class 0 graphs with few edges. We show that every $n$-vertex Class 0 graph has at least $\frac53n - \frac{11}3$ edges. This disproves a conjecture of Blasiak et al. For diameter 2 graphs, we strengthen this lower bound to $2n - 5$, which is best possible. Further, we characterize the graphs where the bound holds with equality and extend the argument to obtain an identical bound for diameter 2 graphs with no cut-vertex.
The Depth-Restricted Rectilinear Steiner Arborescence Problem is NP-complete
In the rectilinear Steiner arborescence problem the task is to build a shortest rectilinear Steiner tree connecting a given root and a set of terminals which are placed in the plane such that all root-terminal-paths are shortest paths. This problem is known to be NP-hard.
In this paper we consider a more restricted version of this problem. In our case we have a depth restrictions $d(t)\in\mathbb{N}$ for every terminal $t$. We are looking for a shortest binary rectilinear Steiner arborescence such that each terminal $t$ is at depth $d(t)$, that is, there are exactly $d(t)$ Steiner points on the unique root-$t$-path is exactly $d(t)$. We prove that even this restricted version is NP-hard.
On the extremal total reciprocal edge-eccentricity of trees
Published
• View Publication
• BIB
The total reciprocal edge-eccentricity is a novel graph invariant with vast potential in structure activity/property relationships. This graph invariant displays high discriminating power with respect to both biological activity and physical properties. If $G=(V_G,E_G)$ is a simple connected graph, then the total reciprocal edge-eccentricity (REE) of $G$ is defined as $ξ^{ee}(G)=\sum_{uv\in E_G}(1/\varepsilon_G(u)+1/\varepsilon_G(v))$, where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$. In this paper we first introduced four edge-grafting transformations to study the mathematical properties of the reciprocal edge-eccentricity of $G$. Using these elegant mathematical properties, we characterize the extremal graphs among $n$-vertex trees with given graphic parameters, such as pendants, matching number, domination number, diameter, vertex bipartition, et al. Some sharp bounds on the reciprocal edge-eccentricity of trees are determined.
Laplacian State Transfer in Coronas
Published in Linear Algebra and Its Applications 506:154-167, 2016
• View Publication
• BIB
We prove that the corona product of two graphs has no Laplacian perfect state transfer whenever the first graph has at least two vertices. This complements a result of Coutinho and Liu who showed that no tree of size greater than two has Laplacian perfect state transfer. In contrast, we prove that the corona product of two graphs exhibits Laplacian pretty good state transfer, under some mild conditions. This provides the first known examples of families of graphs with Laplacian pretty good state transfer. Our result extends of the work of Fan and Godsil on double stars to the Laplacian setting. Moreover, we also show that the corona product of any cocktail party graph with a single vertex graph has Laplacian pretty good state transfer, even though odd cocktail party graphs have no perfect state transfer.
Reticulation-visible networks
Published
• View Publication
• BIB
Let $X$ be a finite set, $\mathcal N$ be a reticulation-visible network on $X$, and $\mathcal T$ be a rooted binary phylogenetic tree. We show that there is a polynomial-time algorithm for deciding whether or not $\mathcal N$ displays $\mathcal T$. Furthermore, for all $|X|\ge 1$, we show that $\mathcal N$ has at most $8|X|-7$ vertices in total and at most $3|X|-3$ reticulation vertices, and that these upper bounds are sharp.
The multiplicative coalescent, inhomogeneous continuum random trees, and new universality classes for critical random graphs
Published
• View Publication
• BIB
One major open conjecture in the area of critical random graphs, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [23, 24, 28, 63] is as follows: for a wide array of random graph models with degree exponent $τ\in (3,4)$, distances between typical points both within maximal components in the critical regime as well as on the minimal spanning tree on the giant component in the supercritical regime scale like $n^{(τ-3)/(τ-1)}$.
In this paper we study the metric space structure of maximal components of the multiplicative coalescent, in the regime where the sizes converge to excursions of Lévy processes "without replacement" [10], yielding a completely new class of limiting random metric spaces. A by-product of the analysis yields the continuum scaling limit of one fundamental class of random graph models with degree exponent $τ\in (3,4)$ where edges are rescaled by $n^{-(τ-3)/(τ-1)}$ yielding the first rigorous proof of the above conjecture. The limits in this case are compact "tree-like" random fractals with finite fractal dimensions and with a dense collection of hubs (infinite degree vertices) a finite number of which are identified with leaves to form shortcuts. In a special case, we show that the Minkowski dimension of the limiting spaces equal $(τ-2)/(τ-3)$ a.s., in stark contrast to the Erdős-Rényi scaling limit whose Minkowski dimension is 2 a.s. It is generally believed that dynamic versions of a number of fundamental random graph models, as one moves from the barely subcritical to the critical regime can be approximated by the multiplicative coalescent. In work in progress, the general theory developed in this paper is used to prove analogous limit results for other random graph models with degree exponent $τ\in (3,4)$.
Linear rank-width of distance-hereditary graphs II. Vertex-minor obstructions
In the companion paper [Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm, Algorithmica 78(1):342--377, 2017], we presented a characterization of the linear rank-width of distance-hereditary graphs, from which we derived an algorithm to compute it in polynomial time. In this paper, we investigate structural properties of distance-hereditary graphs based on this characterization.
First, we prove that for a fixed tree $T$, every distance-hereditary graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. We extend this property to bigger graph classes, namely, classes of graphs whose prime induced subgraphs have bounded linear rank-width. Here, prime graphs are graphs containing no splits. We conjecture that for every tree $T$, every graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. Our result implies that it is sufficient to prove this conjecture for prime graphs.
For a class $Φ$ of graphs closed under taking vertex-minors, a graph $G$ is called a vertex-minor obstruction for $Φ$ if $G\notin Φ$ but all of its proper vertex-minors are contained in $Φ$. Secondly, we provide, for each $k\ge 2$, a set of distance-hereditary graphs that contains all distance-hereditary vertex-minor obstructions for graphs of linear rank-width at most $k$. Also, we give a simpler way to obtain the known vertex-minor obstructions for graphs of linear rank-width at most $1$.
Partitioning the vertex set of $G$ to make $G\,\Box\, H$ an efficient open domination graph
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (June 2, 2016) dmtcs:1277
• View Publication
• BIB
A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when $H$ is a complete graph of order at least 3 or a complete bipartite graph. The characterization is based on the existence of a certain type of weak partition of $V(G)$. For the class of trees when $H$ is complete of order at least 3, the characterization is constructive. In addition, a special type of efficient open domination graph is characterized among Cartesian products $G \Box H$ when $H$ is a 5-cycle or a 4-cycle.
Neighbourhoods of phylogenetic trees: exact and asymptotic counts
Published
• View Publication
• BIB
A central theme in phylogenetics is the reconstruction and analysis of evolutionary trees from a given set of data. To determine the optimal search methods for reconstructing trees, it is crucial to understand the size and structure of the neighbourhoods of trees under tree rearrangement operations. The diameter and size of the immediate neighbourhood of a tree has been well-studied, however little is known about the number of trees at distance two, three or (more generally) $k$ from a given tree. In this paper we provide a number of exact and asymptotic results concerning these quantities, and identify some key aspects of tree shape that play a role in determining these quantities. We obtain several new results for two of the main tree rearrangement operations - Nearest Neighbour Interchange and Subtree Prune and Regraft -- as well as for the Robinson-Foulds metric on trees.