tree
6861 papers tagged with this keyword
Bounding the number of $(σ,ρ)$-dominating sets in trees, forests and graphs of bounded pathwidth
The notion of $(σ,ρ)$-dominating set generalizes many notions including dominating set, induced matching, perfect codes or independent sets. Bounds on the maximal number of such (maximal, minimal) sets were established for different $σ$ and $ρ$ and different classes of graphs. In particular, Rote showed that the number of minimal dominating sets in trees of order $n$ is at most $95^{\frac{n}{13}}$ and Golovach et Al. computed the asymptotic of the number of $(σ,ρ)$-dominating sets in paths for all $σ$ and $ρ$.
Here, we propose a method to compute bounds on the number of $(σ,ρ)$-dominating sets in graphs or bounded pathwidth, trees and forests, under the conditions that $σ$ and $ρ$ are finite unions of (possibly infinite) arithmetic progressions. It seems that this method shouldn't always work, but in practice we are able to give many sharp bounds by direct application of the method. Moreover, in the case of graphs of bounded pathwidth, we deduce the existence of an algorithm that can output abritrarily good approximations of the growth rate.
On functions computed on trees
Published in Neural Computation 31 (2019), no. 11, 2075--2137
• View Publication
• BIB
Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two numbers from its children and produces one output. Since thinking about functions in terms of computation graphs is getting popular we may want to know which functions can be implemented on a given tree. Here, we describe a set of necessary constraints in the form of a system of non-linear partial differential equations that must be satisfied. Moreover, we prove that these conditions are sufficient in both contexts of analytic and bit-valued functions. In the latter case, we explicitly enumerate discrete functions and observe that there are relatively few. Our point of view allows us to compare different neural network architectures in regard to their function spaces. Our work connects the structure of computation graphs with the functions they can implement and has potential applications to neuroscience and computer science.
Catalan Intervals and Uniquely Sorted Permutations
For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.
Reconstructing phylogenetic trees from multipartite quartet systems
Published
• View Publication
• BIB
A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a phylogenetic tree inducing a given collection of quartet trees, and to construct such a phylogenetic tree if it exists. It is known that {\sc Quartet Compatibility} is NP-hard and that there are only a few results known for polynomial-time solvable subclasses. In this paper, we introduce two novel classes of quartet systems, called complete multipartite quartet system and full multipartite quartet system, and present polynomial-time algorithms for {\sc Quartet Compatibility} for these systems.
The game chromatic index of trees of maximum degree 4 with at most three degree-four vertices in a row
Fong et al. (The game chromatic index of some trees with maximum degree four and adjacent degree-four vertices, J. Comb Optim 36 (2018) 1-12) proved that the game chromatic index of any tree $T$ of maximum degree 4 whose degree-four vertices induce a forest of paths of length $l$ less than 2 is at most 5. In this paper, we show that the bound 5 is also valid for $l\leq 2$. This partially solves the problem of characterization of the trees whose game chromatic index exceeds the maximum degree by at most 1, which was proposed by Cai and Zhu (Game chromatic index of $k$-degenerate graphs, J. Graph Theory 36 (2001) 144-155).
Some variations on Lyndon words
In this paper we compare two finite words $u$ and $v$ by the lexicographical order of the infinite words $u^ω$ and $v^ω$. Informally, we say that we compare $u$ and $v$ by the infinite order. We show several properties of Lyndon words expressed using this infinite order. The innovative aspect of this approach is that it allows to take into account also non trivial conditions on the prefixes of a word, instead that only on the suffixes. In particular, we derive a result of Ufnarovskij [V. Ufnarovskij, "Combinatorial and asymptotic methods in algebra", 1995] that characterizes a Lyndon word as a word which is greater, with respect to the infinite order, than all its prefixes. Motivated by this result, we introduce the prefix standard permutation of a Lyndon word and the corresponding (left) Cartesian tree. We prove that the left Cartesian tree is equal to the left Lyndon tree, defined by the left standard factorization of Viennot [G. Viennot, "Algèbres de Lie libres et monoïdes libres", 1978]. This result is dual with respect to a theorem of Hohlweg and Reutenauer [C. Hohlweg and C. Reutenauer, "Lyndon words, permutations and trees", 2003].
Parametric shortest-path algorithms via tropical geometry
Published
• View Publication
• BIB
We study parameterized versions of classical algorithms for computing shortest-path trees. This is most easily expressed in terms of tropical geometry. Applications include shortest paths in traffic networks with variable link travel times.
Restricted online Ramsey numbers of matchings and trees
Consider a two-player game between players Builder and Painter. Painter begins the game by picking a coloring of the edges of $K_n$, which is hidden from Builder. In each round, Builder points to an edge and Painter reveals its color. Builder's goal is to locate a particular monochromatic structure in Painter's coloring by revealing the color of as few edges as possible. The fewest number of turns required for Builder to win this game is known as the restricted online Ramsey number. In this paper, we consider the situation where this "particular monochromatic structure" is a large matching or a large tree. We show that in any $t$-coloring of $E(K_n)$, Builder can locate a monochromatic matching on at least ${n-t+1\over t+1}$ edges by revealing at most $O(n\log t)$ edges. We show also that in any $3$-coloring of $E(K_n)$, Builder can locate a monochromatic tree on at least $n/2$ vertices by revealing at most $5n$ edges.
Color Refinement, Homomorphisms, and Hypergraphs
Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only if, for every tree T, the number of homomorphisms Hom(T,G) from T to G is equal to the corresponding number Hom(T,H) from T to H (Dell, Grohe, Rattan 2018). We show how this approach transfers to hypergraphs by introducing a generalization of color refinement. We prove that it does not distinguish two hypergraphs G and H if and only if, for every connected Berge-acyclic hypergraph B, we have Hom(B,G) = Hom(B,H). To this end, we show how homomorphisms of hypergraphs and of a colored variant of their incidence graphs are related to each other. This reduces the above statement to one about vertex-colored graphs.
The Neighbor-Locating-Chromatic Number of Pseudotrees
Published in Discuss. Math. Graph T. 43 (2023) 659-675
• View Publication
• BIB
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. In this paper, we determine the neighbor-locating chromatic number of paths, cycles, fans, and wheels. Moreover, a procedure to construct a neighbor-locating coloring of minimum cardinality for these families of graphs is given. We also obtain tight upper bounds on the order of trees and unicyclic graphs in terms of the neighbor-locating chromatic number. Further partial results for trees are also established.
The Toucher-Isolator game
We introduce a new positional game called `Toucher-Isolator', which is a quantitative version of a Maker-Breaker type game. The playing board is the set of edges of a given graph G, and the two players, Toucher and Isolator, claim edges alternately. The aim of Toucher is to `touch' as many vertices as possible (i.e. to maximise the number of vertices that are incident to at least one of her chosen edges), and the aim of Isolator is to minimise the number of vertices that are so touched.
We analyse the number of untouched vertices u(G) at the end of the game when both Toucher and Isolator play optimally, obtaining results both for general graphs and for particularly interesting classes of graphs, such as cycles, paths, trees, and k-regular graphs. We also provide tight examples.
Distance matrices of a tree: two more invariants, and in a unified framework
Published in European Journal of Combinatorics 115 (2024), art. # 103787, 30 pp
• View Publication
• BIB
Graham-Pollak showed that for $D = D_T$ the distance matrix of a tree $T$, det$(D)$ depends only on its number of edges. Several other variants of $D$, including directed/multiplicative/$q$- versions were studied, and always, det$(D)$ depends only on the edge-data.
We introduce a general framework for bi-directed weighted trees, with threefold significance. First, we improve on state-of-the-art for all known variants, even in the classical Graham-Pollak case: we delete arbitrary pendant nodes (and more general subsets) from the rows/columns of $D$, and show these minors do not depend on the tree-structure.
Second, our setting unifies all known variants (with entries in a commutative ring). We further compute $D^{-1}$ in closed form, extending a result of Graham-Lovasz [Adv. Math. 1978] and answering an open question of Bapat-Lal-Pati [Lin. Alg. Appl. 2006] in greater generality.
Third, we compute a second function of the matrix $D$: the sum of all its cofactors, cof$(D)$. This was worked out in the simplest setting by Graham-Hoffman-Hosoya (1978), but is relatively unexplored for other variants. We prove a stronger result, in our general setting, by computing cof$(.)$ for minors as above, and showing these too depend only on the edge-data.
Finally, we show our setting is the "most general possible", in that with more freedom in the edgeweights, det$(D)$ and cof$(D)$ depend on the tree structure. In a sense, this completes the study of the invariants det$(D_T)$, cof$(D_T)$ for trees $T$ with edge-data in a commutative ring.
Moreover: for a bi-directed graph $G$ we prove multiplicative Graham-Hoffman-Hosoya type formulas for det$(D_G)$, cof$(D_G)$, $D_G^{-1}$. We then show how this subsumes their 1978 result. The final section introduces and computes a third, novel invariant for trees and a Graham-Hoffman-Hosoya type result for our "most general" distance matrix $D_T$.
The minimum value of the Colless index
The Colless index is one of the oldest and most widely used balance indices for rooted bifurcating trees. Despite its popularity, its minimum value on the space $\mathcal{T}_n$ of rooted bifurcating trees with $n$ leaves is only known when $n$ is a power of 2. In this paper we fill this gap in the literature, by providing a formula that computes, for each $n$, the minimum Colless index on $\mathcal{T}_n$, and characterizing those trees where this minimum value is reached.
Fast algorithm for generating ascending compositions
Published in Journal of Mathematical Modelling and Algorithms, Volume 11, Issue 1, pp 89-104, 2012
• View Publication
• BIB
In this paper we give a fast algorithm to generate all partitions of a positive integer $n$. Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. It is known that the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. Using tree structures for storing the partitions of integers, we develop a new ascending composition generation algorithm which is substantially more efficient than the algorithms from the literature.
Laplacian Spectral Determination of Path-Friendship Graphs
A graph $G$ is said to be determined by the spectrum of its Laplacian matrix (DLS) if every graph with the same spectrum is isomorphic to $G$. van Dam and Haemers (2003) conjectured that almost all graphs have this property, but that is known to be the case only for a very few families. In some recent papers it is proved that the friendship graphs and starlike trees are DLS. If a friendship graph and a starlike tree are joined by merging their vertices of degree greater than 2, then the resulting graph is called a path-friendship graph. In this paper, it is proved that the path-friendship graphs are also DLS.
On Generalizations of the Newton-Raphson-Simpson Method
We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.
Good orientations of 2T-graphs
In this paper we study graphs which admit acyclic orientations that contain a pair of arc-disjoint out-branching and in-branching (such an orientation is called good) and we focus on edge-minimal such graphs. A 2T-graph is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Vertex-minimal 2T-graphs with at least two vertices which are known as generic circuits play an important role in rigidity theory for graphs. We prove that every generic circuit has a good orientation. Using this result we prove that if $G$ is 2T-graph whose vertex set has a partition $V_1,V_2,\ldots{},V_k$ so that each $V_i$ induces a generic circuit $G_i$ of $G$ and the set of edges between different $G_i$'s form a matching in $G$, then $G$ has a good orientation. We also obtain a characterization for the case when the set of edges between different $G_i$'s form a double tree, that is, if we contract each $G_i$ to one vertex, and delete parallel edges we obtain a tree. All our proofs are constructive and imply polynomial algorithms for finding the desired good orderings and the pairs of arc-disjoint branchings which certify that the orderings are good. We also identify a structure which can be used to certify a 2T-graph which does not have a good orientation.
Functorial invariants of trees and their cones
We study the category whose objects are trees (with or without roots) and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian, and we study two natural families of modules over these categories. The first takes a tree to a graded piece of the homology of its unordered configuration space, or to the homology of the unordered configuration space of its cone. The second takes a tree to a graded piece of the intersection homology of the reciprocal plane of its cone, which is a vector space whose dimension is given by a Kazhdan-Lusztig coefficient. We prove finite generation results for each of these modules, which allow us to obtain results about the growth of Betti numbers of configuration spaces and of Kazhdan-Lusztig coefficients of graphical matroids.
Continued fractions associated with the topological index of the caterpillar-bond graph
In this paper, we give graphs whose topological index are exactly equal to the number $u_n$, satisfying the three term recurrence relation $$ u_n=a u_{n-1}+b u_{n-2}\quad(n\ge 2)\quad u_0=0\quad\hbox{and}\quad u_1=u\,, $$ where $a$, $b$ and $u$ are positive integers. We show an interpretation from the continued fraction expansion in a more general case, so that the topological index can be computed easily. On the contrary, for any given positive integer $N$, we can find the graphs (trees) whose topological indices are exactly equal to $N$.
Density and Fractal Property of the Class of Oriented Trees
We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal property in the class of all finite digraphs.