tree
6861 papers tagged with this keyword
Nordhaus-Gaddum inequalities for the number of 1-nearly independent vertex subsets
For a graph $G$, a vertex subset is called \emph{$1$-nearly independent} if the subgraph it induces contains exactly one edge. Let $σ_1(G)$ denote the number of such subsets in $G$. In this paper, we study Nordhaus-Gaddum type inequalities for $σ_1$, that is, bounds on the sum $σ_1(G)+σ_1(\overline{G})$, where $\overline{G}$ denotes the complement of $G$.
We establish that, for any $n$-vertex graph $G$, we have $σ_1(G)+σ_1(\overline{G})\geq n(n-1)/2,$ with equality if and only if $G$ is either complete or edgeless. We further obtain that among all trees of order $n$, the star $K_{1,n-1}$ uniquely minimises $σ_1(T)+σ_1(\overline{T})$. Finally, we prove that for all graphs of order $n \ge 6$, \[ σ_1(G)+σ_1(\overline{G}) \le \frac{27}{64}\,2^{n} + \frac{1}{2}(n+2)(n-3), \] with equality if and only if $G$ or $\overline{G}$ is isomorphic to $3K_2 \cup \overline{K_{n-6}}$.
Fast Shortest Path in Graphs With Sparse Signed Tree Models and Applications
A signed tree model of a graph $G$ is a compact binary structure consisting of a rooted binary tree whose leaves are bijectively mapped to the vertices of $G$, together with 2-colored edges $xy$, called transversal pairs, interpreted as bicliques or anti-bicliques whose sides are the leaves of the subtrees rooted at $x$ and at $y$. We design an algorithm that, given such a representation of an $n$-vertex graph $G$ with $p$ transversal pairs and a source $v \in V(G)$, computes a shortest-path tree rooted at $v$ in $G$ in time $O(p \log n)$. A wide variety of graph classes are such that for all $n$, their $n$-vertex graphs admit signed tree models with $O(n)$ transversal pairs: for instance, those of bounded symmetric difference, more generally of bounded sd-degeneracy, as well as interval graphs.
As applications of our Single-Source Shortest Path algorithm and new techniques, we
- improve the runtime of the fixed-parameter algorithm for first-order model checking on graphs given with a witness of low merge-width from cubic [Dreier and Toruńczyk, STOC '25] to quadratic;
- give an $O(n^2 \log n)$-time algorithm for All-Pairs Shortest Path (APSP) on graphs given with a witness of low merge-width, generalizing a result known on twin-width [Twin-Width III, SICOMP '24];
- extend and simplify an $O(n^2 \log n)$-time algorithm for multiplying two $n \times n$ matrices $A, B$ of bounded twin-width in [Twin-Width V, STACS '23]: now $A$ solely has to be an adjacency matrix of a graph of bounded twin-width and $B$ can be arbitrary;
- give an $O(n^2 \log^2 n)$-time algorithm for APSP on graphs of bounded twin-width, bypassing the need for contraction sequences in [Twin-Width III, SICOMP '24; Bannach et al. STACS '24];
- give an $O(n^{7/3} \log^2 n)$-time algorithm for APSP on graphs of symmetric difference $O(n^{1/3})$.
Mutual k-Visibility in Graphs
Mutual visibility in graphs requires pairs of vertices to be connected by shortest paths that avoid all other vertices of a prescribed set, a condition that is often overly restrictive. In this paper, we introduce a new variant, called mutual $k$-visibility, which permits at most $k$ internal vertices of the set to lie on a shortest path. This parameterized approach naturally generalizes classical mutual visibility and provides a graded notion of obstruction tolerance. We define the mutual $k$-visibility number $μ_k(G)$ of a graph $G$ and establish its basic properties, including monotonicity and stabilization for sufficiently large values of $k$. Some bounds on $μ_k(G)$ are obtained in terms of diameter, maximum degree, and girth. We further analyze $(X,k)$-visibility in convex graphs and determine exact values of $μ_k(G)$ for some fundamental graph classes. In addition, for block graphs, we introduce the notion of $k$-admissible sets in the associated block--cutpoint tree and show how these sets characterize mutual $k$-visibility in the original graph. Moreover, we present a polynomial-time algorithm, MkV, that decides whether a given subset $S \subseteq V(G)$ forms a mutual $k$-visibility set in $G$. The algorithm has time complexity $O\bigl(|S|(|V(G)|+|E(G)|)+|S|^2\bigr)$.
An improvement on the bound for the acyclic chromatic index
The acyclic chromatic index (or acyclic edge-chromatic number) of a graph is the least number of colors needed to properly color its edges so that none of its cycles has only two colors. We show that for a graph of max degree $Δ$, the acyclic chromatic index is at most $3.142(Δ-1)+1$, improving on the (best to date) bound of Fialho et al. (2020). Our improvement is made possible by considering unordered (non-plane) trees, instead of ordered (plane) ones, as witness structures for the Lovász Local Lemma, a key combinatorial tool often used in related works. The counting of these witness structures entails methods of Analytic Combinatorics.
Vertex decomposable complexes of directed forests, conflict graphs and chordality
Let $D$ be a multidigraph. We study the simplicial complex $\mathrm{Dlf}(D)$, whose vertices are the directed edges of $D$ and whose faces correspond to directed linear forests, that is, vertex-disjoint unions of directed paths. We also consider the related directed tree complex $\mathrm{DT}(D)$. Our main approach is to associate with $D$ a simple graph encoding the local incompatibilities among the edges of $D$. Under mild acyclicity assumptions, we show that $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ can be realized as the independence complexes of respective graphs. This correspondence allows us to apply structural results from the theory of independence complexes to obtain graph-theoretic criteria guaranteeing vertex decomposability, shellability, and sequential Cohen-Macaulayness of these complexes. In particular, we describe explicit forbidden induced directed subgraphs that obstruct vertex decomposability, and we identify classes of multidigraphs-including certain acyclic multidigraphs and multidigraphs whose underlying graphs are forests or cycles-for which $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ are vertex decomposable. We also provide examples showing that these properties do not hold in general.
Tropical cluster varieties, phylogenetic trees, and generalized associahedra
We explicitly describe the tropicalization of a type C cluster variety by identifying it with the space of axially symmetric phylogenetic trees. We also study the signed tropicalizations of this cluster variety, realizing them as subfans of the tropicalization that are dual to either associahedra or cyclohedra.
Characterization of Well-Totally Dominated Trees
Let $G$ be a graph with no isolated vertices. A set of vertices $S$ is a total dominating set (TDS) if every vertex in $G$ is adjacent to at least one vertex in $S$. We say $G$ is well-totally dominated (WTD) if every minimal TDS has the same size. In this paper, we present two characterizations of well-totally dominated trees, one being descriptive and the other being constructive. In particular, our characterizations imply that it takes only polynomial time to verify whether a given tree is WTD.
On the maximum $σ$-irregularity of trees with given order and maximum degree
Published
• View Publication
• BIB
The $σ$-irregularity index of a graph is defined as the sum of squared degree differences over all edges and provides a sensitive measure of structural heterogeneity. In this paper, we study the problem of maximizing $σ(T)$ among all trees of fixed order $n$ and prescribed maximum degree $Δ\ge4$. By expressing the problem in terms of edge--degree multiplicities, we derive a linear programming formulation and analyze its dual. This approach yields sharp upper bounds for $σ(T)$ and leads to a detailed description of extremal degree--pair distributions. We show that the extremal problem can be completely resolved for the congruence classes $n\equiv1\pmodΔ$ and $n\equiv0\pmodΔ$. When $n\equiv1\pmodΔ$, the linear program admits an integral optimal solution, and the bound for $σ(T)$ is tight. When $n\equiv0\pmodΔ$, the linear relaxation is not attainable by any tree; nevertheless, by introducing a penalty function derived from dual slack variables, we determine the exact maximum value of $σ(T)$. In both cases, all extremal trees are characterized explicitly and consist exclusively of vertices of degrees $1$, $2$, and $Δ$, with edges incident to $Δ$-vertices playing a dominant role.
Cycle tilings and $H$-factors in directed graphs
We prove several results concerning cycle tilings and $H$-factors in digraphs. We provide a minimum semi-degree condition for forcing a digraph to contain a given spanning collection of vertex-disjoint orientations of cycles. Our result is asymptotically best possible for odd cycles and can be viewed as a digraph analogue of the El-Zahar conjecture. In addition, we asymptotically determine the minimum degree threshold for forcing an $H$-factor in a digraph for a range of digraphs $H$, including the cases when $H$ is a tree or anti-directed cycle. Furthermore, an asymptotically exact Ore-type result for forcing a transitive tournament factor in a digraph is proven. Several related open problems are also highlighted.
The bipartite analogue of a classical spanning tree enumeration formula, Boolean functions, and their applications to counting odd spanning trees
Published
• View Publication
• BIB
Recently, Zheng and Wu defined the concept of odd spanning tree of a graph, meaning a spanning tree in which every vertex has odd degree. Similar to Cayley's formula, Feng, Chen and Wu counted the number of odd spanning trees in complete graphs via Prüfer code and the exponential generating function. In this note, we give a simple proof via a classical spanning tree enumeration formula and the Boolean function.We also generalize it to complete bipartite graphs.
Internally-disjoint directed pendant Steiner trees with three terminal vertices in Cartesian product digraphs
Let $D=(V(D),A(D))$ be a digraph with a terminal vertex subset $S\subseteq V(D)$ such that $|S|=k\geq 2$. An out-tree $T$ of $D$ rooted at $r$ is called a directed pendant $(S,r)$-Steiner tree (or, pendant $(S,r)$-tree for short) if $r\in S\subseteq V(T)$ and $d_{T}^{+}(r)=d_{T}^{-}(u)=1$ for each $u\in S\backslash \{r\}$. Two pendant $(S,r)$-trees $T_{1}$ and $T_{2}$ are internally-disjoint if $A(T_{1})\cap A(T_{2})=\varnothing$ and $V(T_{1})\cap V(T_{2})=S$. The pendant-tree $k$-connectivity $τ_{k}(D)$ of $D$ is defined as $$τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\},$$ where $τ_{S,r}(D)$ denotes the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$.
In this paper, we derive a sharp lower bound for the pendant-tree 3-connectivity of the Cartesian product digraph $D\square H$, where $D$ and $H$ are both strong digraphs. Specifically, we prove the lower bound $τ_{3}(D\square H)\geq τ_{3}(D)+τ_{3}(H)$. Moreover, we propose a polynomial-time algorithm for finding internally-disjoint pendant $(S,r)$-trees which attain this lower bound.
Min-Max Connected Multiway Cut
We introduce a variant of the multiway cut that we call the min-max connected multiway cut. Given a graph $G=(V,E)$ and a set $Γ\subseteq V$ of $t$ terminals, partition $V$ into $t$ parts such that each part is connected and contains exactly one terminal; the objective is to minimize the maximum weight of the edges leaving any part of the partition. This problem is a natural modification of the standard multiway cut problem and it differs from it in two ways: first, the cost of a partition is defined to be the maximum size of the boundary of any part, as opposed to the sum of all boundaries, and second, the subgraph induced by each part is required to be connected. Although the modified objective function has been considered before in the literature under the name min-max multiway cut, the requirement on each component to be connected has not been studied as far as we know.
We show various hardness results for this problem, including a proof of weak NP-hardness of the weighted version of the problem on graphs with tree-width two, and provide a pseudopolynomial time algorithm as well as an FPTAS for the weighted problem on trees. As a consequence of our investigation we also show that the (unconstrained) min-max multiway cut problem is NP-hard even for three terminals, strengthening the known results.
On recurrence relations arising from NRS(2) applied to a cubic polynomial
We prove that the leading coefficient of the "error" terms of NRS(2) applied to a cubic polynomial $f(z)$ with starting point $(-\frac{a_1}{a_2}, -\frac{a_1}{a_2})$ are positive-coefficient rational functions in the zeros of $f(z)$. We express these terms as a sum over combinatorial objects which we call radius-value trees.
Improved Universal Graphs for Trees
A graph $G$ is universal for a class of graphs $\mathcal{C}$, if, up to isomorphism, $G$ contains every graph in $\mathcal{C}$ as a subgraph. In 1978, Chung and Graham asked for the minimal number $s(n)$ of edges in a graph with $n$ vertices that is universal for all trees with $n$ vertices. The currently best bounds assert that $n\ln n-O(n)\le s(n) \le C n\ln n+O(n)$, where $C = \frac{14}{5\ln 2} \approx 4.04$. Here, we improve the upper bound to $c n\ln n + O(n)$, where $c = \frac{19}{6\ln 3} \approx 2.88$. We develop in the proof a strategy that, broadly speaking, is based on separating trees into three parts, thus enabling us to embed them in a structure that originates from ternary trees.
Our method also applies to graphs that are close to being trees, measured by their treewidth. Let $s_w(n)$ be the minimum number of edges in a $n$-vertex graph that is universal for graphs with treewidth $w$. By performing a graph blow-up to our universal structure and counting necessary edges carefully, we establish that $nw \ln(n/w) -O(nw) \leq s_w(n) \leq \frac{19}{6\ln3} n (w+1) \ln(n/w) + O(nw)$.
A positive instance of Scott's Conjecture on induced subdivisions
For a graph $G$, $χ(G)$ denotes the chromatic number of $G$ and $ω(G)$ denotes the size of the largest clique in $G$. A hereditary class of graphs is called $χ$-bounded if there is a function $f$ such that for each graph $G$ in the class, $χ(G) \le f(ω(G))$.
Scott (1997) conjectured that for every graph $H$, the class of graphs which do not contain any subdivision of $H$ as an induced subgraph is $χ$-bounded. He proved his conjecture when $H$ is a tree and when $H$ is the complete graph on four vertices, $K_4$. Esperet and Trotignon (2019) proved that the conjecture holds when $H$ is $K_4$ with one edge subdivided once.
Scott's conjecture was disproved by Pawlik et al. (2014). Chalopin et al. (2016) gave more counterexamples including the graph obtained from $K_4$ by subdividing each edge of a 4-cycle once.
We prove that the conjecture holds when $H$ consists of a complete bipartite graph with and additional vertex which has exactly two neighbours, on the same side of the bipartition. As a special case, this proves Scott's conjecture when $H$ is obtained from $K_4$ by subdividing two disjoint edges.
On minimal pattern-containing inversion sequences
We introduce the notion of minimal inversion sequences for a pattern $ρ$, which form the smallest set of inversion sequences whose avoidance is equivalent to the avoidance of $ρ$ for inversion sequences. We give a characterization of $ρ$-minimal inversion sequences based on the occurrences of the pattern $ρ$ they contain, and use it to find upper and lower bounds on the lengths of $ρ$-minimal inversion sequences. We provide some enumerative results on the exact number of minimal inversion sequences for some patterns, through a bijection with increasing trees, and some exhaustive generation. Lastly, we enumerate inversion sequences which are equal to their reduction, and find an interesting connection with poly-Bernoulli numbers.
Half-plane non-coexistence without FKG
For $μ$ an edge percolation measure on the infinite square lattice, let $μ_{\textit{hp}}$ (respectively, $μ^*_{hp}$) denote its marginal (respectively, the marginal of its planar dual process) on the upper half-plane. We show that if $μ$ is translation-invariant and ergodic and almost surely has only finitely many infinite clusters, then either almost surely $μ_{hp}$ has no infinite cluster, or almost surely $μ^*_{hp}$ has no infinite cluster. By the classical Burton--Keane argument, these hypotheses are satisfied if $μ$ is translation-invariant and ergodic and has finite-energy. In contrast to previous ``non-coexistence'' theorems, our result does not impose a positive-correlation (FKG) hypothesis on $μ$. Our arguments also apply to the random-cluster model (including the regime $q<1$, which lacks FKG), the uniform spanning tree, and the uniform odd subgraph.
Universal Ahlfors--David regularity of Steiner trees
The celebrated Steiner tree problem is the problem of finding a set $\St$ of minimum one-dimensional Hausdorff measure $\H$ (length) such that $\St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set.
Paolini and Stepanov provided very general existence and regularity results for the Steiner problem.
Their main regularity result is that under a natural assumption, $\H(\St) < \infty$, for almost every $\varepsilon>0$ the set $\St_\varepsilon := \St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph).
We give a quantitative regularity result by proving that the set $\St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in \St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have
\[
\frac{\H(\St_\varepsilon \cap B_{ρ\varepsilon}(x))}{\varepsilon} \leq \left ( \frac{64d}{1-ρ} \right) ^{d-2}.
\]
As a corollary, we obtain a density-type result, i.e. that the set $\St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most
\[
\left ( \frac{64d}{1-ρ} \right) ^{d-1}
\]
line segments.
In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.
A Combinatorial Proof of Cayley's Formula via Degree Sequences
Cayley's formula is a fundamental result in combinatorics that counts the number of labeled trees on n vertices. While existing proofs use approaches such as Prufer sequences and the Matrix-Tree Theorem, we give a combinatorial proof that highlights the role of degree sequences and structural properties of labeled trees. Our goal is to provide an accessible perspective and suggest connections to related enumeration problems.
The enumeration of odd spanning trees in graphs
A graph is odd if all of its vertices have odd degrees. In particular, an odd spanning tree in a connected graph is a spanning tree in which all vertices have odd degrees. In this paper we establish a unified technique to enumerate odd spanning trees of a graph $G$ in terms of a multivariable polynomial associated with $G$ and indeterminates $\{x_{i}:v_i\in V(G)\}$. As applications, the enumerative formulas for odd spanning trees in complete graphs, complete multipartite graphs, almost complete graphs, complete split graphs and Ferrers graphs are, respectively, derived from our work.