tree
6861 papers tagged with this keyword
A note on hook length formulas for trees
In this short note we discuss recent results on hook length formulas of trees unifying some earlier results, and explain hook length formulas naturally associated to families of increasingly labelled trees.
k-Edge-Connectivity: Approximation and LP Relaxation
Published
• View Publication
• BIB
In the k-edge-connected spanning subgraph problem we are given a graph (V, E) and costs for each edge, and want to find a minimum-cost subset F of E such that (V, F) is k-edge-connected. We show there is a constant eps > 0 so that for all k > 1, finding a (1 + eps)-approximation for k-ECSS is NP-hard, establishing a gap between the unit-cost and general-cost versions. Next, we consider the multi-subgraph cousin of k-ECSS, in which we purchase a multi-subset F of E, with unlimited parallel copies available at the same cost as the original edge. We conjecture that a (1 + Theta(1/k))-approximation algorithm exists, and we describe an approach based on graph decompositions applied to its natural linear programming (LP) relaxation. The LP is essentially equivalent to the Held-Karp LP for TSP and the undirected LP for Steiner tree. We give a family of extreme points for the LP which are more complex than those previously known.
Optimality of the Neighbor Joining Algorithm and Faces of the Balanced Minimum Evolution Polytope
Published
• View Publication
• BIB
Balanced minimum evolution (BME) is a statistically consistent distance-based method to reconstruct a phylogenetic tree from an alignment of molecular data. In 2000, Pauplin showed that the BME method is equivalent to optimizing a linear functional over the BME polytope, the convex hull of the BME vectors obtained from Pauplin's formula applied to all binary trees. The BME method is related to the Neighbor Joining (NJ) algorithm, now known to be a greedy optimization of the BME principle. Further, the NJ and BME algorithms have been studied previously to understand when the NJ Algorithm returns a BME tree for small numbers of taxa. In this paper we aim to elucidate the structure of the BME polytope and strengthen knowledge of the connection between the BME method and NJ Algorithm. We first prove that any subtree-prune-regraft move from a binary tree to another binary tree corresponds to an edge of the BME polytope. Moreover, we describe an entire family of faces parametrized by disjoint clades. We show that these {\em clade-faces} are smaller dimensional BME polytopes themselves. Finally, we show that for any order of joining nodes to form a tree, there exists an associated distance matrix (i.e., dissimilarity map) for which the NJ Algorithm returns the BME tree. More strongly, we show that the BME cone and every NJ cone associated to a tree $T$ have an intersection of positive measure.
The asymptotic values of the general Zagreb and Randić indices of trees with bounded maximum degree
Let $\mathcal {T}^Δ_n$ denote the set of trees of order $n$, in which the degree of each vertex is bounded by some integer $Δ$. Suppose that every tree in $\mathcal {T}^Δ_n$ is equally likely. We show that the number of vertices of degree $j$ in $\mathcal {T}^Δ_n$ is asymptotically normal with mean $(μ_j+o(1))n$ and variance $(σ_j+o(1))n$, where $μ_j$, $σ_j$ are some constants. As a consequence, we give estimate to the value of the general Zagreb index for almost all trees in $\mathcal {T}^Δ_n$. Moreover, we obtain that the number of edges of type $(i,j)$ in $\mathcal {T}^Δ_n$ also has mean $(μ_{ij}+o(1))n$ and variance $(σ_{ij}+o(1))n$, where an edge of type $(i,j)$ means that the edge has one end of degree $i$ and the other of degree $j$, and $μ_{ij}$, $σ_{ij}$ are some constants. Then, we give estimate to the value of the general Randić index for almost all trees in $\mathcal {T}^Δ_n$.
Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
Published
• View Publication
• BIB
Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence $ρ$. If $ρ\ge 1$ then $\cT$ has an explicit specification (without using recursion) in terms of the operations of union, sum, stack, and the multiset operators $(n)$ and $(\ge n)$. Using this, one has an explicit expression for $\bT(x)$ in terms of the initial functions $x$ and $x\cdot \big(1-x^n\big)^{-1}$, the operations of addition and multiplication, and the Pólya exponentiation operators $\sE_n, \sE_{\ge n}$. Let $\cF$ be a monadic-second order class of finite forests, and let $\bF(x)=\sum_n f(n) x^n$ be its (ordinary) generating function. Suppose $\cF$ is closed under extraction of component trees and sums of forests. Using the above-mentioned structure theory for the class $\cT$ of trees in $\cF$, Compton's theory of 0--1 laws, and a significantly strengthened version of 2003 results of Bell and Burris on generating functions, we show that $\cF$ has a monadic second-order 0--1 law iff the radius of convergence of $\bF(x)$ is 1 iff the radius of convergence of $\bT(x)$ is $\ge 1$.
Patrolling a Street Network is Strongly NP-Complete but in P for Tree Structures
We consider the following problem: Given a finite set of straight line segments in the plane, determine the positions of a minimal number of points on the segments, from which guards can see all segments. This problem can be interpreted as looking for a minimal number of locations of policemen, guards, cameras or other sensors, that can observe a network of streets, corridors, tunnels, tubes, etc. We show that the problem is strongly NP-complete even for a set of segments with a cubic graph structure, but in P for tree structures.
Matrices Totally Positive Relative to a Tree, II
Published
• View Publication
• BIB
In this paper we prove that for a general tree $T$, if $A$ is T-TP, all the submatrices of $A$ associated with the deletion of pendant vertices are $P$-matrices, and $\det A>0$, then the smallest eigenvalue has an eigenvector signed according to $T$.
The asymptotic value of Randic index for trees
Published
• View Publication
• BIB
Let $\mathcal{T}_n$ denote the set of all unrooted and unlabeled trees with $n$ vertices, and $(i,j)$ a double-star. By assuming that every tree of $\mathcal{T}_n$ is equally likely, we show that the limiting distribution of the number of occurrences of the double-star $(i,j)$ in $\mathcal{T}_n$ is normal. Based on this result, we obtain the asymptotic value of Randić index for trees. Fajtlowicz conjectured that for any connected graph the Randić index is at least the average distance. Using this asymptotic value, we show that this conjecture is true not only for almost all connected graphs but also for almost all trees.
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Published
• View Publication
• BIB
Combining tree decomposition and transfer matrix techniques provides a very general algorithm for computing exact partition functions of statistical models defined on arbitrary graphs. The algorithm is particularly efficient in the case of planar graphs. We illustrate it by computing the Potts model partition functions and chromatic polynomials (the number of proper vertex colourings using Q colours) for large samples of random planar graphs with up to N=100 vertices. In the latter case, our algorithm yields a sub-exponential average running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the exponential running time ~ exp(0.245 N) provided by the hitherto best known algorithm. We study the statistics of chromatic roots of random planar graphs in some detail, comparing the findings with results for finite pieces of a regular lattice.
A refined bijection between alternating permutations and 0-1-2 increasing trees
We construct a refined bijection $φ$ between alternating permutations and 0-1-2 increasing trees with degree at most 2. It satisfies that the first element of alternating permutation $π$ is equal to the first vertex in $φ(π)$ in the postorder.
Boltzmann Samplers, Pólya Theory, and Cycle Pointing
Published
• View Publication
• BIB
We introduce a general method to count unlabeled combinatorial structures and to efficiently generate them at random. The approach is based on pointing unlabeled structures in an "unbiased" way that a structure of size n gives rise to n pointed structures. We extend Polya theory to the corresponding pointing operator, and present a random sampling framework based on both the principles of Boltzmann sampling and on Pólya operators. All previously known unlabeled construction principles for Boltzmann samplers are special cases of our new results. Our method is illustrated on several examples: in each case, we provide enumerative results and efficient random samplers. The approach applies to unlabeled families of plane and nonplane unrooted trees, and tree-like structures in general, but also to families of graphs (such as cacti graphs and outerplanar graphs) and families of planar maps.
A Computational Approach to the Graceful Tree Conjecture
Graceful tree conjecture is a well-known open problem in graph theory. Here we present a computational approach to this conjecture. An algorithm for finding graceful labelling for trees is proposed. With this algorithm, we show that every tree with at most 35 vertices allows a graceful labelling, hence we verify that the graceful tree conjecture is correct for trees with at most 35 vertices.
The Shape of Unlabeled Rooted Random Trees
Published
• View Publication
• BIB
We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to the local time of a standard Brownian excursion. Furthermore we compute the average and the distribution of the height of such trees. These results extend existing results for conditioned Galton-Watson trees and forests to the case of unlabelled rooted trees and show that they behave in this respect essentially like a conditioned Galton-Watson process.
On the Period Lengths of the Parallel Chip-Firing Game
The parallel chip-firing game is a periodic automaton on graphs in which vertices "fire" chips to their neighbors. In 1989, Bitar conjectured that the period of a parallel chip-firing game with n vertices is at most n. Though this conjecture was disproven in 1994 by Kiwi et. al., it has been proven for particular classes of graphs, specifically trees (Bitar and Goles, 1992) and the complete graph K_n (Levine, 2008). We prove Bitar's conjecture for complete bipartite graphs and characterize completely all possible periods for positions of the parallel chip-firing game on such graphs. Furthermore, we extend our construction of all possible periods for games on the bipartite graph to games on complete c-partite graphs, c>2, and prove some pertinent lemmas about games on general simple connected graphs.
Cutting up graphs revisited - a short proof of Stallings' structure theorem
This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This was first done in "Cutting up graphs" by M.J. Dunwoody. The main ideas are based on the paper "Vertex cuts" by M.J. Dunwoody and the author. We extend the theorem to a detailed combinatorial proof of J.R. Stallings' theorem on the structure of finitely generated groups with more than one end.
Partition functions of the Ising model on some self-similar Schreier graphs
Published in Progress in Probability: Random Walks, Boundaries and Spectra (D.Lenz, F. Sobieczky and W. Woess editors), 64 (2011), 277-304, Springer Basel
• Search Publication
We study partition functions and thermodynamic limits for the Ising model on three families of finite graphs converging to infinite self-similar graphs. They are provided by three well-known groups realized as automorphism groups of regular rooted trees: the first Grigorchuk's group of intermediate growth; the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group; and the Hanoi Towers group $H^{(3)}$ closely related to the Sierpinsky gasket.
Distance statistics in large toroidal maps
Published in J. Stat. Mech. 2010 P04018 (2010)
• View Publication
• BIB
We compute a number of distance-dependent universal scaling functions characterizing the distance statistics of large maps of genus one. In particular, we obtain explicitly the probability distribution for the length of the shortest non-contractible loop passing via a random point in the map, and that for the distance between two random points. Our results are derived in the context of bipartite toroidal quadrangulations, using their coding by well-labeled 1-trees, which are maps of genus one with a single face and appropriate integer vertex labels. Within this framework, the distributions above are simply obtained as scaling limits of appropriate generating functions for well-labeled 1-trees, all expressible in terms of a small number of basic scaling functions for well-labeled plane trees.
Unique-maximum and conflict-free colorings for hypergraphs and tree graphs
Published
• View Publication
• BIB
We investigate the relationship between two kinds of vertex colorings of hypergraphs: unique-maximum colorings and conflict-free colorings. In a unique-maximum coloring, the colors are ordered, and in every hyperedge of the hypergraph the maximum color appears only once. In a conflict-free coloring, in every hyperedge of the hypergraph there is a color that appears only once. We define corresponding unique-maximum and conflict-free chromatic numbers and investigate their relationship in arbitrary hypergraphs. Then, we concentrate on hypergraphs that are induced by simple paths in tree graphs.
Spanning trees of 3-uniform hypergraphs
Published
• View Publication
• BIB
Masbaum and Vaintrob's "Pfaffian matrix tree theorem" implies that counting spanning trees of a 3-uniform hypergraph (abbreviated to 3-graph) can be done in polynomial time for a class of "3-Pfaffian" 3-graphs, comparable to and related to the class of Pfaffian graphs. We prove a complexity result for recognizing a 3-Pfaffian 3-graph and describe two large classes of 3-Pfaffian 3-graphs -- one of these is given by a forbidden subgraph characterization analogous to Little's for bipartite Pfaffian graphs, and the other consists of a class of partial Steiner triple systems for which the property of being 3-Pfaffian can be reduced to the property of an associated graph being Pfaffian. We exhibit an infinite set of partial Steiner triple systems that are not 3-Pfaffian, none of which can be reduced to any other by deletion or contraction of triples.
We also find some necessary or sufficient conditions for the existence of a spanning tree of a 3-graph (much more succinct than can be obtained by the currently fastest polynomial-time algorithm of Gabow and Stallmann for finding a spanning tree) and a superexponential lower bound on the number of spanning trees of a Steiner triple system.
Walks and Paths in Trees
Recently Csikvári \cite{csik} proved a conjecture of Nikiforov concerning the number of closed walks on trees. Our aim is to extend his theorem to all walks. In addition, we give a simpler proof of Csikvári's result and answer one of his questions in the negative. Finally we consider an analogous question for paths rather than walks.