tree
6861 papers tagged with this keyword
Spanning trees with many leaves: new lower bounds in terms of number of vertices of degree~3 and at least~4
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 747-767
• View Publication
• BIB
We prove, that every connected graph with $s$ vertices of degree 3 and $t$ vertices of degree at least~4 has a spanning tree with at least ${2\over 5}t +{1\over 5}s+α$ leaves, where $α\ge {8\over 5}$. Moreover, $α\ge 2$ for all graphs besides three exclusions. All exclusion are regular graphs of degree~4, they are explicitly described in the paper.
We present infinite series of graphs, containing only vertices of degrees~3 and~4, for which the maximal number of leaves in a spanning tree is equal for ${2\over 5}t +{1\over 5}s+2$. Therefore we prove that our bound is tight.
On the neighbourhoods of trees
Published
• View Publication
• BIB
Tree rearrangement operations typically induce a metric on the space of phylogenetic trees. One important property of these metrics is the size of the neighbourhood, that is, the number of trees exactly one operation from a given tree. We present an expression for the size of the TBR (tree bisection and reconnection) neighbourhood, thus answering a question first posed in [Annals of Combinatorics, 5, 2001 1-15].
Compositions constrained by graph Laplacian minors
Published
• View Publication
• BIB
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding super convex compositions, which we describe as compositions constrained by Laplacian minors for cycles; we extend this solution to the study of compositions constrained by Laplacian minors of leafed cycles. Connections are established and conjectured between compositions constrained by Laplacian minors of leafed cycles of prime length and algebraic/combinatorial properties of reflexive simplices.
Restricted non-separable planar maps and some pattern avoiding permutations
Published
• View Publication
• BIB
Tutte founded the theory of enumeration of planar maps in a series of papers in the 1960s. Rooted non-separable planar maps are in bijection with West-2-stack-sortable permutations, beta(1,0)-trees introduced by Cori, Jacquard and Schaeffer in 1997, as well as a family of permutations defined by the avoidance of two four letter patterns. In this paper we give upper and lower bounds on the number of multiple-edge-free rooted non-separable planar maps. We also use the bijection between rooted non-separable planar maps and a certain class of permutations, found by Claesson, Kitaev and Steingrimsson in 2009, to show that the number of 2-faces (excluding the root-face) in a map equals the number of occurrences of a certain mesh pattern in the permutations. We further show that this number is also the number of nodes in the corresponding beta(1,0)-tree that are single children with maximum label. Finally, we give asymptotics for some of our enumerative results.
A limit process for partial match queries in random quadtrees and $2$-d trees
Published in Annals of Applied Probability 2013, Vol. 23, No. 6, 2560-2603
• View Publication
• BIB
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quadtrees and $k$-d trees). We assume the traditional model where the data consist of independent and uniform points in the unit square. For this model, in a structure on $n$ points, it is known that the number of nodes $C_n(ξ)$ to visit in order to report the items matching a random query $ξ$, independent and uniformly distributed on $[0,1]$, satisfies $\mathbf {E}[{C_n(ξ)}]\simκn^β$, where $κ$ and $β$ are explicit constants. We develop an approach based on the analysis of the cost $C_n(s)$ of any fixed query $s\in[0,1]$, and give precise estimates for the variance and limit distribution of the cost $C_n(x)$. Our results permit us to describe a limit process for the costs $C_n(x)$ as $x$ varies in $[0,1]$; one of the consequences is that $\mathbf {E}[{\max_{x\in[0,1]}C_n(x)}]\sim γn^β$; this settles a question of Devroye [Pers. Comm., 2000].
Harmonious Coloring of Trees with Large Maximum Degree
Published
• View Publication
• BIB
A harmonious coloring of $G$ is a proper vertex coloring of $G$ such that every pair of colors appears on at most one pair of adjacent vertices. The harmonious chromatic number of $G$, $h(G)$, is the minimum number of colors needed for a harmonious coloring of $G$. We show that if $T$ is a forest of order $n$ with maximum degree $Δ(T)\geq \frac{n+2}{3}$, then $$h(T)=
Δ(T)+2, & if $T$ has non-adjacent vertices of degree $Δ(T)$;
Δ(T)+1, & otherwise.
$$ Moreover, the proof yields a polynomial-time algorithm for an optimal harmonious coloring of such a forest.
e-Valuate: A Two-player Game on Arithmetic Expressions -- An Update
e-Valuate is a game on arithmetic expressions. The players have contrasting roles of maximizing and minimizing the given expression. The maximizer proposes values and the minimizer substitutes them for variables of his choice. When the expression is fully instantiated, its value is compared with a certain minimax value that would result if the players played to their optimal strategies. The winner is declared based on this comparison.
We use a game tree to represent the state of the game and show how the minimax value can be computed efficiently using backward induction and alpha-beta pruning. The efficacy of alpha-beta pruning depends on the order in which the nodes are evaluated. Further improvements can be obtained by using transposition tables to prevent reevaluation of the same nodes. We propose a heuristic for node ordering. We show how the use of the heuristic and transposition tables lead to improved performance by comparing the number of nodes pruned by each method.
We describe some domain-specific variants of this game. The first is a graph theoretic formulation wherein two players share a set of elements of a graph by coloring a related set with each player looking to maximize his share. The set being shared could be either the set of vertices, edges or faces (for a planar graph). An application of this is the sharing of regions enclosed by a planar graph where each player's aim is to maximize the area of his share. Another variant is a tiling game where the players alternately place dominoes on a $8 \times 8$ checkerboard to construct a maximal partial tiling. We show that the size of the tiling $x$ satisfies $22 \le x \le 32$ by proving that any maximal partial tiling requires at least $22$ dominoes.
Monomial Resolutions Supported By Simplicial Trees
Published
• View Publication
• BIB
We explore resolutions of monomial ideals supported by simplicial trees. We argue that since simplicial trees are acyclic, the criterion of Bayer, Peeva and Sturmfels for checking if a simplicial complex supports a free resolution of a monomial ideal reduces to checking that certain induced subcomplexes are connected. We then use results of Peeva and Velasco to show that every simplicial tree appears as the Scarf complex of a monomial ideal, and hence supports a minimal resolution. We also provide a way to construct smaller Scarf ideals than those constructed by Peeva and Velasco.
A combinatorial approach for solving certain nested recursions with non-slow solutions
Published
• View Publication
• BIB
We define the generalized Golomb triangular recursion by g_{j,s,lambda}(n) = g_{j,s,lambda}(n - s - g_{j,s,lambda}(n-j)) + λj. For particular choices of the initial conditions, we show that the solution of the recursion is a non-slow monotone sequence for which we can provide a combinatorial interpretation in terms of a weighted count of the leaves of a certain labeled infinite tree. We discover that more than one such tree interpretation is possible, leading to different choices of the initial conditions and alternative solutions that are closely related. In the case lambda=1 the initial conditions for these alternative tree interpretations coincide and we derive explicit closed forms for the solution sequence and its frequency function.
Inequalities between gamma-polynomials of graph-associahedra
Published in The Electronic Journal of Combinatorics 19, (2012), 2, p36
• View Publication
• BIB
We prove a conjecture of Postnikov, Reiner and Williams by defining a partial order on the set of tree graphs with $n$ vertices that induces inequalities between the $γ$-polynomials of their associated graph-associahedra. The partial order is given by relating trees that can be obtained from one another by operations called tree shifts. We also show that tree shifts lower the $γ$-polynomials of graphs that are not trees, as do the flossing moves of Babson and Reiner.
The maximum agreement subtree problem
Published
• View Publication
• BIB
In this paper we investigate an extremal problem on binary phylogenetic trees. Given two such trees $T_1$ and $T_2$, both with leaf-set ${1,2,...,n}$, we are interested in the size of the largest subset $S \subseteq {1,2,...,n}$ of leaves in a common subtree of $T_1$ and $T_2$. We show that any two binary phylogenetic trees have a common subtree on $Ω(\sqrt{\log{n}})$ leaves, thus improving on the previously known bound of $Ω(\log\log n)$ due to M. Steel and L. Szekely. To achieve this improved bound, we first consider two special cases of the problem: when one of the trees is balanced or a caterpillar, we show that the largest common subtree has $Ω(\log n)$ leaves. We then handle the general case by proving and applying a Ramsey-type result: that every binary tree contains either a large balanced subtree or a large caterpillar. We also show that there are constants $c, α> 0$ such that, when both trees are balanced, they have a common subtree on $c n^α$ leaves. We conjecture that it is possible to take $α= 1/2$ in the unrooted case, and both $c = 1$ and $α= 1/2$ in the rooted case.
Perfect Reconstruction of Oncogenetic Trees
In this note we provide the necessary and sufficient conditions to uniquely reconstruct an oncogenetic tree.
Blockers for non-crossing spanning trees in complete geometric graphs
Published
• View Publication
• BIB
In this paper we present a complete characterization of the smallest sets that block all the simple spanning trees (SSTs) in a complete geometric graph. We also show that if a subgraph is a blocker for all SSTs of diameter at most 4, then it must block all simple spanning subgraphs, and in particular, all SSTs. For convex geometric graphs, we obtain an even stronger result: being a blocker for all SSTs of diameter at most 3 is already sufficient for blocking all simple spanning subgraphs.
The minimal size of a graph with given generalized 3-edge-connectivity
For $S\subseteq V(G)$ and $|S|\geq 2$, $λ(S)$ is the maximum number of edge-disjoint trees connecting $S$ in $G$. For an integer $k$ with $2\leq k\leq n$, the \emph{generalized $k$-edge-connectivity} $λ_k(G)$ of $G$ is then defined as $λ_k(G)= min\{λ(S) : S\subseteq V(G) \ and \ |S|=k\}$. It is also clear that when $|S|=2$, $λ_2(G)$ is nothing new but the standard edge-connectivity $λ(G)$ of $G$. In this paper, graphs of order $n$ such that $λ_3(G)=n-3$ is characterized. Furthermore, we determine the minimal number of edges of a graph of order $n$ with $λ_3=1,n-3,n-2$ and give a sharp lower bound for $2\leq λ_3\leq n-4$.
Packing of Rigid Spanning Subgraphs and Spanning Trees
Published
• View Publication
• BIB
We prove that every (6k + 2l, 2k)-connected simple graph contains k rigid and l connected edge-disjoint spanning subgraphs. This implies a theorem of Jackson and Jordán [4] and a theorem of Jordán [6] on packing of rigid spanning subgraphs. Both these results are generalizations of the classical result of Lovász and Yemini [9] saying that every 6-connected graph is rigid for which our approach provides a transparent proof. Our result also gives two improved upper bounds on the connectivity of graphs that have interesting properties: (1) every 8-connected graph packs a spanning tree and a 2-connected spanning subgraph; (2) every 14-connected graph has a 2-connected orientation.
Spanning trees and even integer eigenvalues of graphs
Published
• View Publication
• BIB
For a graph $G$, let $L(G)$ and $Q(G)$ be the Laplacian and signless Laplacian matrices of $G$, respectively, and $τ(G)$ be the number of spanning trees of $G$. We prove that if $G$ has an odd number of vertices and $τ(G)$ is not divisible by $4$, then (i) $L(G)$ has no even integer eigenvalue, (ii) $Q(G)$ has no integer eigenvalue $λ\equiv2\pmod4$, and (iii) $Q(G)$ has at most one eigenvalue $λ\equiv0\pmod4$ and such an eigenvalue is simple. As a consequence, we extend previous results by Gutman and Sciriha and by Bapat on the nullity of adjacency matrices of the line graphs. We also show that if $τ(G)=2^ts$ with $s$ odd, then the multiplicity of any even integer eigenvalue of $Q(G)$ is at most $t+1$. Among other things, we prove that if $L(G)$ or $Q(G)$ has an even integer eigenvalue of multiplicity at least $2$, then $τ(G)$ is divisible by $4$. As a very special case of this result, a conjecture by Zhou et al. [On the nullity of connected graphs with least eigenvalue at least $-2$, Appl. Anal. Discrete Math. 7 (2013), 250--261] on the nullity of adjacency matrices of the line graphs of unicyclic graphs follows.
Random non-crossing plane configurations: A conditioned Galton-Watson tree approach
Published in Random Structures Algorithms 45 (2014), no. 2, 236-260
• View Publication
• BIB
We study various models of random non-crossing configurations consisting of diagonals of convex polygons, and focus in particular on uniform dissections and non-crossing trees. For both these models, we prove convergence in distribution towards Aldous' Brownian triangulation of the disk. In the case of dissections, we also refine the study of the maximal vertex degree and validate a conjecture of Bernasconi, Panagiotou and Steger. Our main tool is the use of an underlying Galton-Watson tree structure.
Graphs with large generalized 3-connectivity
Let $S$ be a nonempty set of vertices of a connected graph $G$. A collection $T_1,..., T_\ell$ of trees in $G$ is said to be internally disjoint trees connecting $S$ if $E(T_i)\cap E(T_j)= \emptyset$ and $V(T_i)\cap V(T_j)=S$ for any pair of distinct integers $i, j$, where $1 \leq i, j \leq r$. For an integer $k$ with $2 \leq k \leq n$, the generalized $k$-connectivity $κ_k(G)$ of $G$ is the greatest positive integer $r$ such that $G$ contains at least $r$ internally disjoint trees connecting $S$ for any set $S$ of $k$ vertices of $G$. Obviously, $κ_2(G)$ is the connectivity of $G$. In this paper, sharp upper and lower bounds of $κ_3(G)$ are given for a connected graph $G$ of order $n$, that is, $1 \leq κ_3(G) \leq n - 2$. Graphs of order $n$ such that $κ_3(G) = n - 2, n - 3$ are characterized, respectively.
Solving the minimum labelling spanning tree problem using intelligent optimization
Published
• View Publication
• BIB
Given a connected, undirected graph whose edges are labelled (or coloured), the minimum labelling spanning tree (MLST) problem seeks a spanning tree whose edges have the smallest number of distinct labels (or colours). In recent work, the MLST problem has been shown to be NP-hard and some effective heuristics have been proposed and analyzed. In this paper we present an intelligent optimization algorithm to solve the problem. It is obtained by the basic Variable Neighbourhood Search heuristic with the integration of other complements from machine learning, statistics and experimental algorithmics, in order to produce high-quality performance and to completely automate the resulting optimization strategy. We present experimental results on randomly generated graphs with different statistical properties, showing the crucial effects of the implementation, the robustness, and the empirical scalability of our intelligent algorithm. Furthermore, the computational experiments show that the proposed strategy outperforms the heuristics recommended in the literature and is able to obtain optimal or near-optimal solutions in short computational running time.
Enumerating Trees
In this note we discuss trees similar to the Calkin-Wilf tree, a binary tree that enumerates all positive rational numbers in a simple way. The original construction of Calkin and Wilf is reformulated in a more algebraic language, and an elementary application of methods from analytic number theory gives restrictions on possible analogues.