tree
6861 papers tagged with this keyword
A 9k kernel for nonseparating independent set in planar graphs
Published
• View Publication
• BIB
We study kernelization (a kind of efficient preprocessing) for NP-hard problems on planar graphs. Our main result is a kernel of size at most 9k vertices for the Planar Maximum Nonseparating Independent Set problem. A direct consequence of this result is that Planar Connected Vertex Cover has no kernel with at most (9/8 - epsilon)k vertices, for any epsilon > 0, assuming P \ne NP. We also show a very simple 5k-vertices kernel for Planar Max Leaf, which results in a lower bound of (5/4 - epsilon)k vertices for the kernel of Planar Connected Dominating Set (also under P \ne NP).
As a by-product we show a few extremal graph theory results which might be of independent interest. We prove that graphs that contain no separator consisting of only degree two vertices contain (a) a spanning tree with at least n/4 leaves and (b) a nonseparating independent set of size at least n/9 (also, equivalently, a connected vertex cover of size at most 8/9n). The result (a) is a generalization of a theorem of Kleitman and West [SIDMA 1991] who showed the same bound for graphs of minimum degree three. Finally we show that every n-vertex outerplanar graph contains an independent set I and a collection of vertex-disjoint cycles C such that 9|I| >= 4n-3|C|.
Regular families of forests, antichains and duality pairs of relational structures
Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several examples of infinite-finite antichain duality pairs of directed graphs and a complete characterization for caterpillar dualities.
The asymptotic number of different rooted trees of a tree
Published
• View Publication
• BIB
Let $\mathcal{T}_n$ be the set of trees with $n$ vertices. Suppose that each tree in $\mathcal{T}_n$ is equally likely. We show that the number of different rooted trees of a tree equals $(μ_r+o(1))n$ for almost every tree of $\mathcal{T}_n$, where $μ_r$ is a constant. As an application, we show that the number of any given pattern in $\mathcal{T}_n$ is also asymptotically normally distributed with mean $\sim μ_M n$ and variance $\sim σ_M n$, where $μ_M, σ_M$ are some constants related to the given pattern. This solves an open question claimed in Kok's thesis.
On the Number of Fixed-Length Semiorders
A semiorder is a partially ordered set $P$ with two certain forbidden induced subposets. This paper establishes a bijection between $n$-element semiorders of length $H$ and $(n+1)$-node ordered trees of height $H+1$. This bijection preserves not only the number of elements, but also much additional structure. Based on this correspondence, we calculate the generating functions and explicit formulas for the numbers of labeled and unlabeled $n$-element semiorders of length $H$. We also prove several concise recurrence relations and provide combinatorial proofs for special cases of the explicit formulas.
A refinement for ordered labeled trees
Published in Korean Journal of Mathematics, 20(2), 225-261, 2012
• View Publication
• BIB
Let $\mathcal{O}_n$ be the set of ordered labeled trees on ${0,...,n}$. A maximal decreasing subtree of an ordered labeled tree is defined by the maximal ordered subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\mathcal{O}_{n,k}$ of $\mathcal{O}_n$, which is the set of ordered labeled trees whose maximal decreasing subtree has $k+1$ vertices.
Principal minors Pfaffian half-tree theorem
Published in J. Combin. Theory Ser. A. 124 (2014) 1-40
• View Publication
• BIB
A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating perfect matchings and trees on the same graph. As a consequence of the Pfaffian half-tree theorem, we obtain a refined version of the matrix-tree theorem in the case of skew-symmetric matrices, as well as a line-bundle version of this result.
Integral trees with given nullity
Published
• View Publication
• BIB
A graph is called integral if all eigenvalues of its adjacency matrix consist entirely of integers. We prove that for a given nullity more than 1, there are only finitely many integral trees. It is also shown that integral trees with nullity 2 and 3 are unique.
The Erdős-Sós Conjecture for Geometric Graphs
Published
• View Publication
• BIB
Let $f(n,k)$ be the minimum number of edges that must be removed from some complete geometric graph $G$ on $n$ points, so that there exists a tree on $k$ vertices that is no longer a planar subgraph of $G$. In this paper we show that $(1/2)\frac{n^2}{k-1}-\frac{n}{2}\le f(n,k) \le 2 \frac{n(n-2)}{k-2}$. For the case when $k=n$, we show that $2 \le f(n,n) \le 3$. For the case when $k=n$ and $G$ is a geometric graph on a set of points in convex position, we show that at least three edges must be removed.
Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing
Published
• View Publication
• BIB
This paper is motivated by two applications, namely i) generalizations of cuckoo hashing, a computationally simple approach to assigning keys to objects, and ii) load balancing in content distribution networks, where one is interested in determining the impact of content replication on performance. These two problems admit a common abstraction: in both scenarios, performance is characterized by the maximum weight of a generalization of a matching in a bipartite graph, featuring node and edge capacities. Our main result is a law of large numbers characterizing the asymptotic maximum weight matching in the limit of large bipartite random graphs, when the graphs admit a local weak limit that is a tree. This result specializes to the two application scenarios, yielding new results in both contexts. In contrast with previous results, the key novelty is the ability to handle edge capacities with arbitrary integer values. An analysis of belief propagation algorithms (BP) with multivariate belief vectors underlies the proof. In particular, we show convergence of the corresponding BP by exploiting monotonicity of the belief vectors with respect to the so-called upshifted likelihood ratio stochastic order. This auxiliary result can be of independent interest, providing a new set of structural conditions which ensure convergence of BP.
Updown categories: Generating functions and universal covers
Published in Discrete Math. 339 (2016), 906-922
• View Publication
• BIB
A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for distinct objects c,c'. If we keep in place the latter axiom but allow for more than one morphism between objects, we have a sort of generalized poset in which there are multiplicities attached to covering relations, and possibly nontrivial automorphism groups. We call such a category an "updown category". In this paper we give a precise definition of such categories and develop a theory for them. We also give a detailed account of ten examples, including updown categories of integer partitions, integer compositions, planar rooted trees, and rooted trees.
Strong spatial mixing for list coloring of graphs
Published
• View Publication
• BIB
The property of spatial mixing and strong spatial mixing in spin systems has been of interest because of its implications on uniqueness of Gibbs measures on infinite graphs and efficient approximation of counting problems that are otherwise known to be #P hard. In the context of coloring, strong spatial mixing has been established for regular trees when $q \geq α^{*} Δ+ 1$ where $q$ the number of colors, $Δ$ is the degree and $α^* = 1.763..$ is the unique solution to $xe^{-1/x} = 1$. It has also been established for bounded degree lattice graphs whenever $q \geq α^* Δ- β$ for some constant $β$, where $Δ$ is the maximum vertex degree of the graph. The latter uses a technique based on recursively constructed coupling of Markov chains whereas the former is based on establishing decay of correlations on the tree. We establish strong spatial mixing of list colorings on arbitrary bounded degree triangle-free graphs whenever the size of the list of each vertex $v$ is at least $αΔ(v) + β$ where $Δ(v)$ is the degree of vertex $v$ and $α> α^*$ and $β$ is a constant that only depends on $α$. We do this by proving the decay of correlations via recursive contraction of the distance between the marginals measured with respect to a suitably chosen error function.
On the spanning trees of the hypercube and other products of graphs
Published
• View Publication
• BIB
We give two combinatorial proofs of an elegant product formula for the number of spanning trees of the $n$-dimensional hypercube. The first proof is based on the assertion that if one chooses a uniformly random rooted spanning tree of the hypercube and orient each edge from parent to child, then the parallel edges of the hypercube get orientations which are independent of one another. This independence property actually holds in a more general context and has intriguing consequences. The second proof uses some "killing involutions" in order to identify the factors in the product formula. It leads to an enumerative formula for the spanning trees of the $n$-dimensional hypercube augmented with diagonals edges, counted according to the number of edges of each type. We also discuss more general formulas, obtained using a matrix-tree approach, for the number of spanning trees of the Cartesian product of complete graphs.
On the Intersection of Tolerance and Cocomparability Graphs
Published
• View Publication
• BIB
It has been conjectured by Golumbic and Monma in 1984 that the intersection of tolerance and cocomparability graphs coincides with bounded tolerance graphs. The conjecture has been proved under some - rather strong - \emph{structural} assumptions on the input graph; in particular, it has been proved for complements of trees, and later extended to complements of bipartite graphs, and these are the only known results so far. Our main result in this article is that the above conjecture is true for every graph $G$ that admits a tolerance representation with exactly one unbounded vertex; note here that this assumption concerns only the given tolerance \emph{representation} $R$ of $G$, rather than any structural property of $G$. Moreover, our results imply as a corollary that the conjecture of Golumbic, Monma, and Trotter is true for every graph $G=(V,E)$ that has no three independent vertices $a,b,c\in V$ such that $N(a) \subset N(b) \subset N(c)$; this is satisfied in particular when $G$ is the complement of a triangle-free graph (which also implies the above-mentioned correctness for complements of bipartite graphs). Our proofs are constructive, in the sense that, given a tolerance representation $R$ of a graph $G$, we transform $R$ into a bounded tolerance representation $R^{\ast}$ of $G$. Furthermore, we conjecture that any \emph{minimal} tolerance graph $G$ that is not a bounded tolerance graph, has a tolerance representation with exactly one unbounded vertex. Our results imply the non-trivial result that, in order to prove the conjecture of Golumbic, Monma, and Trotter, it suffices to prove our conjecture.
Extremal values on the eccentric distance sum of trees
Published
• View Publication
• BIB
Let $G=(V_G, E_G)$ be a simple connected graph. The eccentric distance sum of $G$ is defined as $ξ^{d}(G) = \sum_{v\in V_G}\varepsilon_{G}(v)D_{G}(v)$, where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$ and $D_G(v) = \sum_{u\in V_G}d_G(u,v)$ is the sum of all distances from the vertex $v$. In this paper the tree among $n$-vertex trees with domination number $γ$ having the minimal eccentric distance sum is determined and the tree among $n$-vertex trees with domination number $γ$ satisfying $n = kγ$ having the maximal eccentric distance sum is identified, respectively, for $k=2,3,\frac{n}{3},\frac{n}{2}$. Sharp upper and lower bounds on the eccentric distance sums among the $n$-vertex trees with $k$ leaves are determined. Finally, the trees among the $n$-vertex trees with a given bipartition having the minimal, second minimal and third minimal eccentric distance sums are determined, respectively.
Computing the blocks of a quasi-median graph
Published in Discrete Applied Mathematics, 179 (2014), 129-138
• View Publication
• BIB
Quasi-median graphs are a tool commonly used by evolutionary biologists to visualise the evolution of molecular sequences. As with any graph, a quasi-median graph can contain cut vertices, that is, vertices whose removal disconnect the graph. These vertices induce a decomposition of the graph into blocks, that is, maximal subgraphs which do not contain any cut vertices. Here we show that the special structure of quasi-median graphs can be used to compute their blocks without having to compute the whole graph. In particular we present an algorithm that, for a collection of $n$ aligned sequences of length $m$, can compute the blocks of the associated quasi-median graph together with the information required to correctly connect these blocks together in run time $\mathcal O(n^2m^2)$, independent of the size of the sequence alphabet. Our primary motivation for presenting this algorithm is the fact that the quasi-median graph associated to a sequence alignment must contain all most parsimonious trees for the alignment, and therefore precomputing the blocks of the graph has the potential to help speed up any method for computing such trees.
Edge-grafting theorems on permanents of the Laplacian matrices of graphs and their applications
Published
• View Publication
• BIB
The trees, respectively unicyclic graphs, on $n$ vertices with the smallest Laplacian permanent are studied. In this paper, by edge-grafting transformations, the $n$-vertex trees of given bipartition having the second and third smallest Laplacian permanent are identified. Similarly, the $n$-vertex bipartite unicyclic graphs of given bipartition having the first, second and third smallest Laplacian permanent are characterized. Consequently, the $n$-vertex bipartite unicyclic graphs with the first, second and third smallest Laplacian permanent are determined.
Optimal compression of hash-origin prefix trees
There is a common problem of operating on hash values of elements of some database. In this paper there will be analyzed informational content of such general task and how to practically approach such found lower boundaries. Minimal prefix tree which distinguish elements turns out to require asymptotically only about 2.77544 bits per element, while standard approaches use a few times more. While being certain of working inside the database, the cost of distinguishability can be reduced further to about 2.33275 bits per elements. Increasing minimal depth of nodes to reduce probability of false positives leads to simple relation with average depth of such random tree, which is asymptotically larger by about 1.33275 bits than lg(n) of the perfect binary tree. This asymptotic case can be also seen as a way to optimally encode n large unordered numbers - saving lg(n!) bits of information about their ordering, which can be the major part of contained information. This ability itself allows to reduce memory requirements even to about 0.693 of required in Bloom filter for the same false positive probability.
Counting Line-Colored D-ary Trees
Random tensor models are generalizations of matrix models which also support a 1/N expansion. The dominant observables are in correspondence with some trees, namely rooted trees with vertices of degree at most $D$ and lines colored by a number $i$ from 1 to $D$ such that no two lines connecting a vertex to its descendants have the same color. In this Letter we study by independent methods a generating function for these observables. We prove that the number of such trees with exactly $p_i$ lines of color $i$ is $\frac{1}{\sum_{i=1}^D p_i +1} \binom{\sum_{i=1}^D p_i+1}{p_1} ... \binom{\sum_{i=1}^D p_i+1}{p_D}$.
The rotor-router group of directed covers of graphs
Published
• View Publication
• BIB
A rotor-router walk is a deterministic version of a random walk, in which the walker is routed to each of the neighbouring vertices in some fixed cyclic order. We consider here directed covers of graphs (called also periodic trees) and we study several quantities related to rotor-router walks on directed covers. The quantities under consideration are: order of the rotor-router group, order of the root element in the rotor-router group and the connection with random walks.
Perfect taxon sampling and fixing taxon traceability: Introducing a class of phylogenetically decisive collections of taxon sets
Published
• View Publication
• BIB
Phylogenetically decisive collections of taxon sets have the property that if trees are chosen for each of their elements, as long as these trees are compatible, the resulting supertree is unique. This means that as long as the trees describing the phylogenetic relationships of the (input) species sets are compatible, they can only be combined into a common supertree in precisely one way. This setting is sometimes also referred to as \enquote{perfect taxon sampling}. While for rooted trees, the decision if a given set of input taxon sets is phylogenetically decisive can be made in polynomial time, the decision problem to determine whether a collection of taxon sets is phylogenetically decisive concerning \emph{unrooted} trees is unfortunately coNP-complete and therefore in practice hard to solve for large instances. This shows that recognizing such sets is often difficult. In this paper, we explain phylogenetic decisiveness and introduce a class of input taxon sets, namely so-called \emph{fixing taxon traceable} sets, which are guaranteed to be phylogenetically decisive and which can be recognized in polynomial time. Using both combinatorial approaches as well as simulations, we compare properties of fixing taxon traceability and phylogenetic decisiveness, e.g., by deriving lower and upper bounds for the number of quadruple sets (i.e., sets of 4-tuples) needed in the input set for each of these properties. In particular, we correct an erroneous lower bound concerning phylogenetic decisiveness from the literature.
We have implemented the algorithm to determine if a given collection of taxon sets is fixing taxon traceable in \textsf{R} and made our software package \verb+FixingTaxonTraceR+ publicly available.