tree
6737 papers tagged with this keyword
Regions surrounded by cylinders of circles of fixed radii and exposition of their shapes by natural graphs
We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific trees obtained in simple ways from so-called balanced trees are shown to be realized as such graphs. Related studies on regions in the Euclidean plane surrounded by real algebraic curves are presented by several researchers. One of pioneering studies is presented by Bodin, Popescu-Pampu and Sorea in 2022--3 as an elementary and surprisingly new study. The author has been interested in related studies and also in constructing natural and explicit real algebraic maps onto such regions, generalizing the canonical projections of the unit spheres. Such studies in real algebraic geometry, different from theory of existence in the last century, mainly studied by Nash and Tognoli, are remarked.
Completely Independent Spanning Trees in Split Graphs: Structural Properties and Complexity
We study completely independent spanning trees (CIST), \textit{i.e.}, trees that are both edge-disjoint and internally vertex-disjoint, in split graphs. We establish a correspondence between the existence of CIST in a split graph and some types of hypergraph colorings (panchromatic and bipanchromatic colorings) of its associated hypergraph, allowing us to obtain lower and upper bounds on the number of CIST. Using these relations, we prove that the problem of the existence of two CIST in a split graph is NP-complete. Finally, we formulate a conjecture on the bipanchromatic number of a hypergraph related to the results obtained for the number of CIST.
Universal families of rayless graphs
We study the existence and cardinality of universal families for classes of rayless graphs. It is known, by a result of Diestel, Halin, and Vogler, that the class of countable rayless graphs does not admit a countable universal family, leaving open the precise complexity of this class. We prove that for every infinite cardinal $κ$, the class of rayless graphs of cardinality at most $κ$ admits a strongly universal family of size exactly $κ^+$, and that no smaller family can exist. This settles the problem for the countable case and extends uniformly to higher cardinalities.
We further investigate subclasses defined by forbidding subgraphs. When finitely many finite graphs are forbidden, the strong complexity remains $κ^+$, except in degenerate cases where it collapses to countable. In contrast, the class of countable rayless graphs when forbidding certain infinite graphs has a complexity that reaches its maximum possible value, the continuum.
Finally, we establish that natural subclasses -- including rayless trees, bipartite rayless graphs, graphs without even cycles, and graphs without infinite trails -- retain the minimal strong complexity $κ^+$. These results provide a comprehensive characterization of universality in rayless graphs and highlight both its stability under restrictions and its sensitivity to specific obstructions.
A note on the rainbow Turán number of brooms with length 2 handles
For a fixed graph $F$, the rainbow Turán number $\mathrm{ex^*}(n,F)$ is the largest number of edges possible in an $n$-vertex graph which admits a rainbow-$F$-free proper edge-coloring. We focus on the rainbow Turán numbers of trees obtained by appending some number of pendant edges to one end of a length 2 path; we call such a tree with $k$ total edges a $k$-edge broom with length $2$ handle, denoted by $B_{k,2}$. Study of $\mathrm{ex^*}(n,B_{k,2})$ was initiated by Johnston and Rombach, who claimed a proof asymptotically establishing the value of $\mathrm{ex^*}(n,B_{k,2})$ for all $k$. We correct an error in this original argument, identifying two small cases in which the value claimed in the literature is incorrect; in all other cases, we recover the originally claimed value. Our argument also characterizes the extremal constructions for $\mathrm{ex^*}(n,B_{k,2})$ for certain congruence classes of $n$ modulo $k$.
A Tight Lower bound on Trees in Graphs
Mubayi and Verstraete conjectured that if $T$ is a tree on $t + 1$ vertices, then any $n$-vertex graph $G$ with average degree $d$ contains at least \[ n d(d - 1) \cdots (d - t + 1) \] labeled copies of $T$ as long as $d$ is sufficiently large compared to $t$. We prove this is true and show that when the diameter of $T$ is at least $3$, equality holds iff $G$ is the disjoint union of cliques of size $d + 1$. When the diameter is $2$, equality holds iff $G$ is $d$-regular.
Binary normal networks without near reticulations can be reconstructed from their rooted triples
Normal networks are an important class of phylogenetic networks that have compelling mathematical properties which align with intuition about inference from genetic data. While tools enabling widespread use of phylogenetic networks in the biological literature are still under mathematical, statistical, and computational development, many such results are being assembled, and in particular for normal phylogenetic networks. For instance, it has been shown that binary normal networks can be reconstructed from the sets of three- and four-leaf rooted phylogenetic trees that they display. It is also known that one can reconstruct particular subclasses of normal networks from just the displayed rooted triples. This applies, for instance, to rooted binary phylogenetic trees and to binary level-$1$ normal networks. In this paper we address the question of how much of the class of binary normal networks can be reconstructed from just the rooted triples that they display. We find that all except those with substructures that we call ``near-sibling reticulations'' and ``near-stack reticulations'' can be reconstructed just from their rooted triples. This goes some way to answering the natural question of how much information can be extracted from a set of displayed rooted triples, which are arguably the simplest substructure that one may hope for in a phylogenetic object.
A Simple Recursive Relation Characterizes a Tree Associated to Generalized Farey Sequences
This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the sequence. The other tree has the vertices consisting of pairs of positive integers whose adjacency is defined by a simple recursive relation. These trees appeared in a study of a generalization of a class of the permutations defined by Sós and the bijection between it and the set of the Farey intervals due to Surányi.
A tropical version of Martens' theorem for metric graphs
We study the conjecture stated by Jensen and Len on a tropical version on Martens' theorem via the Brill--Noether rank of a tropical curve. We recall Coppens' counterexample of Martens-special chain of cycles, and we generalize the construction defining another class of graphs, Martens-special trees of cycles, for which the conjecture does not hold in a similar setting. These are not the only counterexamples. However, we prove that the conjecture holds for all metric graphs with a stricter assumption on the degree in the Brill--Noether rank.
Space Efficient Algorithms for Parameterised Problems
We study "space efficient" FPT algorithms for graph problems with limited memory. Let n be the size of the input graph and k be the parameter. We present algorithms that run in time f(k)*poly(n) and use g(k)*polylog(n) working space, where f and g are functions of k alone, for k-Path, MaxLeaf SubTree and Multicut in Trees. These algorithms are motivated by big-data settings where very large problem instances must be solved, and using poly(n) memory is prohibitively expensive. They are also theoretically interesting, since most of the standard methods tools, such as deleting a large set of vertices or edges, are unavailable, and we must a develop different way to tackle them.
On Minimum Cost Rainbow Structures
We discuss the expected minimum cost of rainbow spanning trees and Hamilton cycles in randomly edge colored random graphs.
Peripheral hyper-Wiener index of a graph
In this note, we introduce a new topological index of a graph G that we term peripheral hyper-Wiener index, denoted PWW(G). It is a natural extension of the peripheral Wiener index PW(G) initiated in [NB17] and is to the peripheral Wiener index what the hyper-Wiener index is to the Wiener index. We investigate its basic properties. We compute the peripheral hyper-Wiener index of the cartesian product and trees. In particular, we get an explicit formula for the case of the hypercubes. We also give lower and upper bounds on PW(G) and PWW(G) in terms of the order, size, diameter and the number of peripheral vertices. This paper is an echo to [NB17], most of the results we get are analogues of the ones therein.
On the transmission irregular trees with the maximum Wiener index
Published in J. Comb. Optim. 51 (2026), Art. No. 12
• View Publication
• BIB
The transmission of a vertex $v$ in a (chemical) graph $G$ is the sum of distances from $v$ to other vertices in $G$. If any two vertices of $G$ have different transmissions, then $G$ is transmission irregular. The Wiener index $W(G)$ of a graph $G$ is the sum of all distances between all unordered pairs of vertices in $G$, which has another formula as the half of the sum of transmissions of all vertices of $G$. In this paper, we consider the Wiener index maximization problem on the set of transmission irregular trees of a given order $n \in \mathbb{N}$. We solve the problem for all odd values of $n$ and for almost all even values of $n$. Each resolved extremal problem has a unique solution that is a chemical tree.
Large Components and Trees of Random Mappings
Let $\mathcal{T}_n$ be the set of all mappings $T:[n]\to[n]$, where $[n]=\{1,2,\ldots,n\}$. The corresponding graph $G_T$ of $T$, called a functional digraph, is a union of disjoint connected components. Each component is a directed cycle of rooted labeled trees. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random from the set $\mathcal{T}_n$. The components and trees of $G_T$ are distinguished by their size. In this paper, we compute the limiting conditional probability ($n\to\infty$) that a vertex from the largest component of the random graph $G_T$, chosen uniformly at random from $[n]$, belongs to its $s$-th largest tree, where $s\ge 1$ is a fixed integer. This limit can be also viewed as an approximation of the probability that the $s$-th largest tree of $G_T$ is a subgraph of its largest component, which is a solution of a problem suggested by Mutafchiev and Finch (2024).
Hamiltonicity of Bell and Stirling Colour Graphs
For a graph $G$ and a positive integer $k$, the $k$-Bell colour graph of $G$ is the graph whose vertices are the partitions of $V$ into at most $k$ independent sets, with two of these being adjacent if there exists a vertex $x$ such that the partitions are identical when restricted to $V - \{x\}$. The $k$-Stirling Colour graph of $G$ is defined similarly, but for partitions into exactly $k$ independent sets.
We show that every graph on $n$ vertices, except $K_n$ and $K_n - e$, has a Hamiltonian $n$-Bell colour graph, and this result is best possible. It is also shown that, for $k \geq 4$, the $k$-Stirling colour graph of a tree with at least $k+1$ vertices is Hamiltonian, and the 3-Bell colour graph of a tree with at least 3 vertices is Hamiltonian.
On the minimal forts of trees
In 2008, the zero forcing number of a graph was shown to be an upper bound on the graph's maximum nullity. In 2018, the concept of forts was introduced to provide a set covering characterization of zero forcing sets. Since then, forts have been integrated into integer programming models for zero forcing and have been used to yield bounds on the zero forcing number. In 2025, researchers explored the combinatorial question of how many minimal forts a graph can have. They demonstrated that the number of minimal forts in a graph with an order of at least six is strictly less than Sperner's bound. Moreover, the authors derived an explicit formula for the number of minimal forts in path, cycle, and spider graphs. For example, the number of minimal forts in a path graph aligns with the Padovan sequence, and thus exhibits exponential growth. In this article, we demonstrate that no tree with an order of $n$ can have fewer than $n/3$ minimal forts. Additionally, we provide a characterization of the trees that possess exactly $n/3$ minimal forts. We conjecture that the $n/3$ bound is valid for all graphs of order $n$. We present experimental evidence supporting this conjecture and prove that it holds for all Eulerian graphs.
Solving Admissibility for the Spatial X-Ray Transform On the Two Element Field
The admissibility problem in integral geometry asks for which collections of affine subspaces the Radon transform remains injective. In the discrete setting, this becomes a purely combinatorial question about recovering a function on a finite vector space from its sums over a prescribed family of affine subspaces. In this paper, we study the spatial X-ray transform (line transform) over the finite vector spaces $\mathbb{Z}_{2}^{n}$ and give a complete structural and enumerative description of admissible line complexes in $\mathbb{Z}_{2}^{4}$. We prove that any admissible line complex in $\mathbb{Z}_{2}^{4}$ can be obtained by taking a disjoint union of one or more odd cycles and attaching trees to the cycle vertices. Using this structural description, we carry out a systematic case-by-case enumeration of all admissible complexes in $\mathbb{Z}_{2}^{4}$ and derive an exact total count. We then generalize our approach to an algorithm that applies to $\mathbb{Z}_{2}^{n}$ for arbitrary $n$, and we then implement it to obtain the total number of admissible complexes in $\mathbb{Z}_{2}^{5}$. Our results extend previous small-dimensional classifications and provide an algorithmic framework for studying admissibility in higher dimensions. Beyond their intrinsic combinatorial interest, these structures model discrete sampling schemes for tomographic imaging, and they suggest further connections between admissibility, incidence matrices, and spectral properties of the associated graphs.
On Well-VE-Dominated Graphs
Given a graph G=(V, E), a vertex is said to ve-dominate an edge if it is either incident with the edge or adjacent to one of its endpoints. A set of vertices is a ve-dominating set if it ve-dominates every edge of the graph. We introduce the class of well-ve-dominated graphs, defined as graphs in which all minimal ve-dominating sets have the same cardinality. After establishing several general structural properties of well-ve-dominated graphs, we show that recognizing whether a graph belongs to this class is co--NP--complete, highlighting the computational difficulty of the problem. Our main result is a complete structural characterization of well-ve-dominated trees, which yields a simple linear-time recognition algorithm and a constructive description of all trees in this class.
Mutual-visibility Coloring of Graphs
The mutual-visibility chromatic number of a graph $G$ is the smallest number of colors needed to color the vertices of $G$ such that each color class is a mutual-visibility set. In this paper, we prove that determining the mutual-visibility chromatic number of a graph is NP-complete even when restricted to the class of graphs having diameter four and mutual-visibility chromatic number two. We further determine the exact value of the mutual-visibility chromatic number for glued binary trees and glued $t$-ary trees.
Counting permutations by alternating runs via Hetyei-Reiner trees
The generating polynomial of permutations of size $n$, counted by the number of alternating runs, has a root at $-1$ of multiplicity $\lfloor (n-2)/2 \rfloor$ for all $n \ge 2$. This result can be derived by combining the David--Barton formula for Eulerian polynomials with the Foata--Schützenberger $γ$--decomposition. More recently, Bóna gave a group--action proof of this phenomenon.
In this paper, we present an alternative approach based on the Hetyei--Reiner action on binary trees, which leads to a new combinatorial interpretation of Bóna's quotient polynomial. Moreover, we extend our analysis to analogous results for permutations of types~$B$ and~$D$. As a by--product of our bijective framework, we also obtain combinatorial proofs of David--Barton--type identities for permutations of types~$A$ and~$B$.
Maximum number of spanning trees and connectivity: Graphs with a fixed minimum degree and bipartite graphs
The number of spanning trees in a graph $G$ is the total number of distinct spanning subgraphs of $G$ that are trees. In this paper we characterize the unique graph with a prescribed vertex (resp. edge) connectivity, minimum degree and order that attains the maximum number of spanning trees. Moreover, all the bipartite graphs are determined with a given vertex (resp. edge) connectivity and order maximizing the number of spanning trees.