tree
6861 papers tagged with this keyword
Counting perfect edge dominating sets: extremal results and linear-time algorithms
An edge of a graph \emph{dominates} itself and each edge adjacent to it. A \emph{perfect edge dominating set} is a subset of edges such that each edge outside the subset is dominated by exactly one edge of the subset. In this article, we characterize the extremal graphs on $n$ vertices in the classes of trees, forests, and chordal graphs with respect to the number of perfect edge dominating sets. Moreover, we derive linear-time algorithms for counting perfect edge dominating sets and for counting dominating induced matchings in generalized series-parallel graphs and chordal graphs.
Characterizing finite posets whose probabilistic powerdomain are RB-domains
We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of $P$, which is the probability simplex ordered by the stochastic order. We prove that \(\Vone(P)\) is an RB-domain if and only if \(P\) has a least element and the undirected Hasse graph of \(P\) is a tree. Consequently, the probabilistic powerdomain does not preserve RB-domains; the four-point diamond gives a finite counterexample. The proof separates two obstructions. First, if \(P\) has no least element, then the face of probability measures supported on the minimal points must be fixed pointwise by every deflation below the identity. Secondly, once a least element exists, the Hasse graph is connected, and a cycle in it makes the local stochastic cone non-simplicial. A Euclidean finite-step cone argument then rules out the finite-valued monotone approximations supplied by the RB property.
Robustness and hyperstability for the Erdős-Gallai theorem
The Erdős-Gallai theorem states that every graph of average degree $d$ contains a cycle of length at least $d$. We prove the following robust extension of the Erdős-Gallai theorem: For every $c>0$ there exists $K$ such that for all $d\geq K$, $p\geq K/d$ and every graph $G$ with average degree $d$, the random graph $G_p$ obtained by independently percolating each edge of $G$ with probability $p$ contains a cycle of length $(1-c)d$ asymptotically almost surely as $|V(G)|\to \infty$. With related methods, we prove the following hyperstability version of the Erdős-Gallai theorem: any graph $G$ without a cycle of length at least $d$ is at most $c dn$ edge deletions away from a graph all of whose connected components have a vertex-cover of size $(1+c)d$.
At the core of our argument lies a very general structure theorem about graphs that originates from results of Pokrovskiy concerning the hyperstability of bounded-degree trees.
Spanning \(k\)-trees and the colorful Carathéodory theorem
Very recently, using Meshulam's lemma, Blagojević proved a constrained version of the colorful Carathéodory theorem for joins of bipartite spanning trees and wedge of spheres. Our main contribution extends his result from joins of bipartite spanning trees with wedges of spheres to joins of spanning \(k\)-trees with wedges of spheres. Our proof is elementary and avoids the topological machinery. We also discuss a homological variation of spanning \(k\)-trees and some Carathéodory-type results for them.
Maximum Linear Arrangement: exact algorithms for specific classes of graphs and approximation algorithms for wide classes of graphs
Published in Alemany-Puig, L., Esteban, J.L. & Ferrer-i-Cancho, R. (2026). Maximum linear arrangement: exact algorithms for specific classes of graphs and approximation algorithms for wide classes of graphs. Journal of Combinatorial Optimization 52, 16
• View Publication
• BIB
Linear arrangements of graphs are a well-known type of graph labeling and are found in many important computational problems. A linear arrangement is usually defined as a permutation of the $n$ vertices of a graph. An intuitive geometric setting is that of vertices lying on consecutive integer positions in the real line, starting at 1; edges are often drawn as semicircles above the real line. A well-known computational problem is the Minimum Linear Arrangement Problem (${\tt minLA}$) where the goal is to find an arrangement that minimizes the sum of edge lengths. In this paper we study the Maximum Linear Arrangement problem (${\tt MaxLA}$), the counterpart of ${\tt minLA}$. We devise a new characterization of maximum arrangements of general graphs, and prove that ${\tt MaxLA}$ can be solved for $k$-regular graphs ($k\le2$) in time $O(n)$, and for $k$-linear trees ($k\le2$) in time $O(n)$. We present two constrained variants of ${\tt MaxLA}$ we call ${\tt bipartite MaxLA}$ and ${\tt 1-thistle MaxLA}$. We prove that the former can be solved in time $O(n)$ for any connected bipartite graph; the latter can be solved by an algorithm that typically runs in time $O(n^3\log n)$ on unlabeled trees. We show that ${\tt bipartite MaxLA}$ is a $3/2$-approximation algorithm for ${\tt MaxLA}$ for trees.
Token sliding independent set reconfiguration on graphs with few $P_4$'s
We consider the INDEPENDENT SET RECONFIGURATION problem under the Token Sliding rule. Let $I$ be an independent set of a simple undirected graph $G$. Suppose that each vertex of $I$ has a token placed on it. The tokens are allowed to be moved, one at a time, by sliding along the edges of $G$, so that after each move, the vertices having tokens always form an independent set of $G$. The problem we deal is to decide if we can transform $I$ into $I'$ through a sequence of steps, each of which involves substituting a vertex in the current independent set with one of its neighbours to obtain another independent set. This problem of determining if one independent set of a graph "is reachable" from another independent set of it is known to be PSPACE-hard even for split graphs, planar graphs, and graphs of bounded treewidth. Polynomial time algorithms have been obtained for certain graph classes like trees, interval graphs, claw-free graphs, bipartite permutation graphs, block graphs, and cographs. We present a polynomial time algorithm for the problem on $P_4$-tidy graphs and $(q,q-4)$-graphs, both families of graphs generalizing cographs.
Random homomorphisms and Lipschitz functions on trees
A graph homomorphism is an integer-valued function on the vertex set of a graph that assigns values differing by exactly one to adjacent vertices. We consider uniformly random homomorphisms on general finite trees, conditioned to take the value zero at all leaves, and study the distribution of the value at the root. Our main result is a stochastic comparison, both from above and below, between the absolute values of the homomorphism value at the root and certain discrete Gaussian-like random variables. In particular, we obtain a subgaussian tail bound valid for all deviations, a matching lower bound that holds up to a certain threshold, and upper and lower variance bounds that differ by a constant factor. These bounds depend solely on the effective resistance between the root and the leaves in the associated electrical network. As a consequence, in the setting of infinite locally finite trees, we obtain that the homomorphism model is localized on transient trees and delocalized on recurrent trees. Analogous results are obtained for random integer-valued Lipschitz functions.
Our results extend previous results of Benjamini--Häggström--Mossel on homomorphisms on regular trees, of Peled--Samotij--Yehudayoff on Lipschitz functions on regular trees, and of Lammers--Toninelli on homomorphisms on trees of minimum degree at least three.
Extremal ranks of unlabeled multifurcating rooted trees in a bijective encoding by the positive integers
Maranca and Rosenberg (2024) devised a ranking scheme for unlabeled multifurcating rooted trees, in which the trees are bijectively associated with the positive integers. Here, generalizing earlier results for bifurcating trees, we determine, for trees with a fixed number of leaves, which multifurcating trees obtain the maximal and minimal ranks. We identify these maximizing and minimizing trees for each of two sets of unlabeled multifurcating rooted trees: strictly $k$-furcating trees, in which each internal node possesses exactly $k$ descendants, and at-most-$k$-furcating trees, in which internal nodes possess at least 2 and at most $k$ descendants. In both scenarios, we find that a tree that can be regarded as maximally balanced attains the minimal rank, and a minimally balanced tree attains the maximal rank. We deduce recurrences for the maximal and minimal rank for trees with fixed numbers of leaves in both the strictly $k$-furcating and at-most-$k$-furcating cases. The maximal rank on $(n-1)(k-1)+1$ leaves grows with $(k!)^{\frac{1}{k-1}} β_k^{(k^n)}$ in the strictly $k$-furcating case, and the maximal rank on $n$ leaves grows with $(k!)^{\frac{1}{k-1}} γ_k^{(k^n)}$ in the at-most-$k$-furcating case, where $β_k > 1$ and $γ_k > 1$ are constants that depend on the value of $k$. We show that $β_k$ decreases as the value of $k$ increases, and that $γ_k > β_k$ for $k \geq 3$. The results contribute to the use of tree encodings for empirical characterization of phylogenies and measurement of tree balance.
Another proof of the result on rotation compatible planar covers
Negami's Planar Cover Conjecture asserts that a connected graph has a finite planar cover if and only if it can be embedded on the projective plane. While this statement has already been proven for rotation compatible planar covers, namely covers equipped with a certain condition on the rotation system, the existing proof relies on advanced algebraic and topological methods. In this paper, we provide another proof of this result, focusing primarily on combinatorial arguments based on a structural analysis with respect to a spanning tree in the base graph.
Extremal graphs with no subgraph admitting $k+1$ edge-disjoint spanning trees
A graph $G$ is $τ_k$-maximal if $G$ contains no subgraph admitting $k+1$ edge-disjoint spanning trees, while the addition of any edge in the complement of $G$ yields a subgraph that admits $k+1$ edge-disjoint spanning trees. In this paper, we prove that for any integers $k\geq 1$ and $n\geq 2k+2$, every $τ_k$-maximal graph of order $n$ satisfies $|E(G)|\leq (k+1)(n-1)-1$. Furthermore, we construct a family of $τ_k$-maximal graphs on $n\ge 2k+2$ vertices that have exactly $(k+1)(n-1)-1$ edges, which establishes the tightness of the upper bound. Then we conjecture that every $τ_k$-maximal graph on $n$ vertices has exactly $(k+1)(n-1)-1$ edges, and we verify the conjecture for the case $k=1$.
Time Structure in Infinite Extensive Games
We extend graph theoretic characterizations of time structurable extensive games from finite informational digraphs to countable and continuum digraphs built on continuum rooted real trees. Introducing the symmetric class quotient poset of information sets as the canonical object an external clock must order, we develop a theory of transitive reduction for these quotients and prove existence and uniqueness under an interval finiteness condition. Under natural topological regularity assumptions like closed reachability classes, order density, and sigma compactness, we give necessary and sufficient conditions for real valued time labelings and construct measurable selection procedures in Polish spaces. We also provide constructive algorithms and a differential game example illustrating applications and computational implications.
A note on strong affine semigroups
This work introduces and studies strong affine semigroups, extending the notion of strong numerical semigroups to the higher-dimensional setting. We show that non-numerical strong affine semigroups present structural differences with respect to strong numerical semigroups. Special attention is devoted to strong $\mathcal C$-semigroups. We prove that the family of strong $\mathcal C$-semigroups with a given set of multiplicities $E$ admits a maximal element and has a tree structure. We characterize when this family is finite and provide an algorithm to compute all such semigroups up to a fixed genus. We also introduce the notion of special strong affine semigroups and obtain refined versions of several previous results. Finally, we study toric ideals arising from strong affine semigroups, determining their indispensable monomials and Betti elements for several families.
Structural Properties and Applications of the Augmented Sombor Index
Topological indices are key quantitative descriptors in mathematical chemistry, unchanged under symmetry operations and retaining graph connectivity; they capture molecular structural features to provide insights into molecular stability and chemical properties, becoming indispensable in cheminformatics and theoretical chemistry. Among degree-based indices, the \textbf{Sombor index} is widely concerned for capturing structural information, and motivated by enhanced structural discrimination, the \textbf{augmented Sombor index} ($ASO$) is defined for a connected graph $Ω$ with $|V(Ω)|\geq 3$ as $$ASO(Ω) = \sum_{v_iv_j\in E(Ω)} \sqrt{\frac{d_i^2 + d_j^2}{d_i + d_j - 2}},$$ where $d_i$ and $d_j$ are the degrees of vertices $v_i$ and $v_j$, respectively. Within the scope of this study, we first establish several sharp bounds for the augmented Sombor index and characterize the extremal graphs attaining these bounds. In particular, we determine the minimum value of the $ASO$ index for unicyclic graphs with a prescribed girth and characterize all graphs achieving this minimum. We also identify the second maximum $ASO$ value among trees and characterize the corresponding extremal tree structures. Furthermore, the minimum and maximum values of the $ASO$ index for bipartite graphs and chemical graphs are obtained, together with a complete characterization of the associated extremal graphs. In addition, we characterize the chemical trees that maximize the $ASO$ index. The chemical applicability of the $ASO$ index is investigated through quantitative structure-property relationship (QSPR) analysis, supported by a comparative assessment of several variants of the Sombor index. Finally, we present concluding remarks and outline potential directions for future research on the augmented Sombor index of graphs.
Results on Cartesian $1$-capacity of graphs
The concept of graph capacity extends graph span by considering the maximum number of agents that can simultaneously traverse a graph while preserving a prescribed minimum distance. We study the Cartesian $1$-capacity, corresponding to the movement in which exactly one agent moves at each step. We establish general lower and upper bounds based on structural graph properties and derive exact results for trees. Our work highlights the role of branching and bridge structures in determining the Cartesian $1$-capacity and provides new insights into collision-free multi-agent motion on graphs.
Maker-Breaker Sabotage Game
The Maker-Breaker sabotage game is played on a graph $G$ by Runner and Blocker. They play in turns, Runner first moves along a not yet traversed edge from her current position, afterwards Blocker removes one edge. The goal of Runner is to visit as many vertices of $G$ as possible, Blocker's goal is opposite. Assuming that both players use optimal strategies, the number of vertices visited by Runner determines an invariant called the sabotage number ${\rm sab}(G)$ of $G$. A formula for the sabotage number of an arbitrary tree is proved which can be evaluated in polynomial time. For a unicyclic graph $G$ it is proved that ${\rm sab}(G)\in \{{\rm sab}^-(G), {\rm sab}^-(G)+1\}$, where ${\rm sab}^-(G)$ is the lower sabotage number of $G$. The sabotage number of a bridgeless subcubic graph is sharply bounded from the above by the maximum girth. The sabotage number is also bounded for complete bipartite graphs and generalized Sierpiński graphs, and determined exactly in some special cases.
On some components of $L(ρ)\otimes L(ρ)$ associated with rooted trees for symmetrizable Kac-Moody algebras
Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra over $\mathbb{C}$ and let $L(ρ)$ be the irreducible integrable $\mathfrak{g}$-module with highest weight $ρ$. Let $I$ be a subgraph of the Dynkin diagram of $\mathfrak{g}$ which has only simple bonds and no cycle of length $\geq 3$. For every subset $D$ of $I$, denote by $β_D$ the sum of the simple roots corresponding to $D$. To every $D \subset I$ such that $λ_{D,I} = 2ρ- β_I - β_D$ is dominant, we associate certain elements $π_{D,I}$ of weight $λ_{D,I} {-} ρ$ in the crystal $B(ρ)$, which depend on the choice of a root vertex in each connected component of $I$. Then we prove that our elements are $ρ$-dominant
elements of $B(ρ)$, hence provide new families of components
of the tensor product $L(ρ)\otimes L(ρ)$.
Bounded Treewidth and Complete Monotonicity for Scott-Sokal Spanning-Tree Polynomials
Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.
Geometry-Aware MCTS for Extremal Problems in Combinatorial Geometry
We study certain extremal problems in combinatorial geometry that ask about configurations of points in an $n \times n$ grid that satisfy strict, global geometric constraints. Classical exact solvers suffer from combinatorial explosion for these types of problems, and standard reinforcement learning and transformer-based models struggle with the sparse reward "validity cliff" and quadratic token-consumption limits. To overcome these bottlenecks, we propose a Geometry-Aware Monte Carlo Tree Search (MCTS) framework. Our approach strictly enforces geometric constraints through incremental updates to the feasible action space. For constraints about collections of collinear points, like those that occur in the classic No-Three-in-Line problem (Max-N3IL), this mechanism reduces the constraint checking complexity from $O(n^3)$ to $O(n^2)$. To improve search efficiency, we exploit geometric symmetries in two ways: canonical pruning during node expansion to reduce the branching factor, and symmetric batch transitions to accelerate the discovery of promising configurations. We perform extensive experiments and establish new best-known computational results on five out of six of the problems that we considered. Notably, for Max-N3IL we find configurations of size roughly $1.8 n$ for grids of size $82 \le n \le 119$. For the Smallest Complete Set problem, we find configurations of size roughly $0.95 n$, providing new upper bounds within the tested grids. This work establishes Geometry-Aware MCTS as a highly adaptable framework for discovering novel configurations in combinatorial geometry.
Star Coloring on Some Subclasses of Chordal Graphs
A star coloring of a graph $G$ is a proper coloring in which no path on four vertices is bicolored. The star chromatic number $χ_{\star}(G)$ is the minimum number of colors in a star coloring of $G$. In this work we study star colorings from the perspective of forbidden induced subgraphs, focusing on three subclasses of chordal graphs. We provide both a structural characterization and a characterization in terms of forbidden induced subgraphs for star $3$-colorable chordal graphs; such characterizations yield a simple certifying recognition algorithm, running in time $O(|V|+|E|)$, for this class. We also characterize split graphs that are star $4$-colorable and star $5$-colorable in terms of (finitely many) forbidden induced subgraphs, again deriving linear-time certifying recognition algorithms. Finally, we study star colorings of $2$-trees and $2$-paths: we characterize the $2$-paths that are star $4$-colorable, prove that every $2$-path is star $5$-colorable, and exhibit a $2$-tree on $21$ vertices with star chromatic number $6$ such that any proper induced subgrahp has star chromatic number $5$.
A parameterized family of balance indices for phylogenetic networks
We introduce a new family of balance indices for phylogenetic networks: the $H_α$ indices, where $α$ is a positive real number. This family includes the $B_2$ index as a special case ($α= 1$) and provides a natural extension of the Sackin index to phylogenetic networks. We show that the $H_α$ indices share many structural properties with the $B_2$ index, most notably a "grafting property" that makes it possible to express the $H_α$ index of a network in terms of the $H_α$ indices of its biconnected components. These properties allow us to identify networks that minimize / maximize $H_α$ for various classes of phylogenetic networks, and to study its distribution for several models of random trees and networks (in particular, Galton-Watson trees and binary Markov branching trees, with a focus on the Yule and PDA models). Finally, we show how local limits can be used to analyze the asymptotic behavior of $H_α$ for large trees and networks, and we obtain general results for the moments of $H_α$ for a broad class of random phylogenetic networks known as blowups of Galton-Watson trees.