arXiv++ Combinatorics

Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.

Given a graph $G$, we define ${\bf bcg}(G)$ as the minimum $k$ for which $G$ can be contracted to the uniformly triangulated grid $Γ_{k}$. A graph class ${\cal G}$ has the SQG${\bf C}$ property if every graph $G\in{\cal G}$ has treewidth $\mathcal{O}({\bf bcg}(G)^{c})$ for some $1\leq c<2$. The SQG${\bf C}$ property is important for algorithm design as it defines the applicability horizon of a series of meta-algorithmic results, in the framework of bidimensionality theory, related to fast parameterized algorithms, kernelization, and approximation schemes. These results apply to a wide family of problems, namely problems that are contraction-bidimensional. Our main combinatorial result reveals a wide family of graph classes that satisfy the SQG${\bf C}$ property. This family includes, in particular, bounded-degree string graphs. This considerably extends the applicability of bidimensionality theory for contraction bidimensional problems.

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION (resp. ${\cal F}$-TM-DELETION) problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor (resp. topological minor). We are interested in the parameterized complexity of both problems when the parameter is the treewidth of $G$, denoted by $tw$, and specifically in the cases where ${\cal F}$ contains a single connected planar graph $H$. We present algorithms running in time $2^{O(tw)} \cdot n^{O(1)}$, called single-exponential, when $H$ is either $P_3$, $P_4$, $C_4$, the paw, the chair, and the banner for both $\{H\}$-M-DELETION and $\{H\}$-TM-DELETION, and when $H=K_{1,i}$, with $i \geq 1$, for $\{H\}$-TM-DELETION. Some of these algorithms use the rank-based approach introduced by Bodlaender et al. [Inform Comput, 2015]. This is the second of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION in terms of $H$.

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{\cal F}$ such that ${\cal F}$-M-DELETION can be solved in time $f_{\cal F}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We provide lower bounds under the ETH on $f_{\cal F}$ for several collections ${\cal F}$. We first prove that for any ${\cal F}$ containing connected graphs of size at least two, $f_{\cal F}(tw)= 2^{Ω(tw)}$, even if the input graph $G$ is planar. Our main contribution consists of superexponential lower bounds for a number of collections ${\cal F}$, inspired by a reduction of Bonnet et al.~[IPEC, 2017]. In particular, we prove that when ${\cal F}$ contains a single connected graph $H$ that is either $P_5$ or is not a minor of the banner (that is, the graph consisting of a $C_4$ plus a pendent edge), then $f_{\cal F}(tw)= 2^{Ω(tw \cdot \log tw)}$. This is the third of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION, in terms of $H$, when $H$ is connected.

We consider a non-monotone activation process $(X_t)_{t\in\{ 0,1,2,\ldots\}}$ on a graph $G$, where $X_0\subseteq V(G)$, $X_t=\{ u\in V(G):|N_G(u)\cap X_{t-1}|\geq τ(u)\}$ for every positive integer $t$, and $τ:V(G)\to \mathbb{Z}$ is a threshold function. The set $X_0$ is a so-called non-monotone target set for $(G,τ)$ if there is some $t_0$ such that $X_t=V(G)$ for every $t\geq t_0$. Ben-Zwi, Hermelin, Lokshtanov, and Newman [Discrete Optimization 8 (2011) 87-96] asked whether a target set of minimum order can be determined efficiently if $G$ is a tree. We answer their question in the affirmative for threshold functions $τ$ satisfying $τ(u)\in \{ 0,1,d_G(u)\}$ for every vertex~$u$. For such restricted threshold functions, we give a characterization of target sets that allows to show that the minimum target set problem remains NP-hard for planar graphs of maximum degree $3$ but is efficiently solvable for graphs of bounded treewidth.

A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $Δ$, and no isolated vertex, has an acyclic matching of size at least $(1-o(1))\frac{6n}{Δ^2},$ and we explain how to find such an acyclic matching in polynomial time.

For a fixed finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem asks, given an $n$-vertex input graph $G,$ for the minimum number of vertices that intersect all minor models in $G$ of the graphs in ${\cal F}$. by Courcelle Theorem, this problem can be solved in time $f_{\cal F}(tw)\cdot n^{O(1)},$ where $tw$ is the treewidth of $G$, for some function $f_{\cal F}$ depending on ${\cal F}$ In a recent series of articles, we have initiated the programme of optimizing asymptotically the function $f_{\cal F}$. Here we provide an algorithm showing that $f_{\cal F}(tw) = 2^{O(tw\cdot \log tw)}$ for every collection ${\cal F}$. Prior to this work, the best known function $f_{\cal F}$ was double-exponential in $tw$. In particular, our algorithm vastly extends the results of Jansen et al. [SODA 2014] for the particular case ${\cal F}=\{K_5,K_{3,3}\}$ and of Kociumaka and Pilipczuk [Algorithmica 2019] for graphs of bounded genus, and answers an open problem posed by Cygan et al. [Inf Comput 2017]. We combine several ingredients such as the machinery of boundaried graphs in dynamic programming via representatives, the Flat Wall Theorem, Bidimensionality, the irrelevant vertex technique, treewidth modulators, and protrusion replacement. Together with our previous results providing single-exponential algorithms for particular collections ${\cal F}$ [Theor Comput Sci 2020] and general lower bounds [J Comput Syst Sci 2020], our algorithm yields the following complexity dichotomy when ${\cal F} = \{H\}$ contains a single connected graph $H,$ assuming the Exponential Time Hypothesis: $f_H(tw)=2^{Θ(tw)}$ if $H$ is a contraction of the chair or the banner, and $f_H(tw)=2^{Θ(tw\cdot \log tw)}$ otherwise.

We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verify our conjecture for cubic claw-free graphs.

The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthermore, we discuss algorithmic consequences of our results and their constructive proofs.

A matching in a graph is induced if no two of its edges are joined by an edge, and finding a large induced matching is a very hard problem. Lin et al. (Approximating weighted induced matchings, Discrete Applied Mathematics 243 (2018) 304-310) provide an approximation algorithm with ratio $Δ$ for the weighted version of the induced matching problem on graphs of maximum degree $Δ$. Their approach is based on an integer linear programming formulation whose integrality gap is at least $Δ-1$, that is, their approach offers only little room for improvement in the weighted case. For the unweighted case though, we conjecture that the integrality gap is at most $\frac{5}{8}Δ+O(1)$, and that also the approximation ratio can be improved at least to this value. We provide primal-dual approximation algorithms with ratios $(1-ε) Δ+ \frac{1}{2}$ for general $Δ$ with $ε\approx 0.02005$, and $\frac{7}{3}$ for $Δ=3$. Furthermore, we prove a best-possible bound on the fractional induced matching number in terms of the order and the maximum degree.

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, deciding whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{\cal F}$ such that {${\cal F}$-M-DELETION can be solved in time $f_{\cal F}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We prove that $f_{\cal F}(tw) = 2^{2^{O(tw \cdot\log tw)}}$ for every collection ${\cal F}$, that $f_{\cal F}(tw) = 2^{O(tw \cdot\log tw)}$ if ${\cal F}$ contains a planar graph, and that $f_{\cal F}(tw) = 2^{O(tw)}$ if in addition the input graph $G$ is planar or embedded in a surface. We also consider the version of the problem where the graphs in ${\cal F}$ are forbidden as topological minors, called ${\cal F}$-TM-DELETION. We prove similar results for this problem, except that in the last two algorithms, instead of requiring ${\cal F}$ to contain a planar graph, we need it to contain a subcubic planar graph. This is the first of a series of articles on this topic.

Given a graph $G$, a proper $k$-coloring of $G$ is a partition $c = (S_i)_{i\in [1,k]}$ of $V(G)$ into $k$ stable sets $S_1,\ldots, S_{k}$. Given a weight function $w: V(G) \to \mathbb{R}^+$, the weight of a color $S_i$ is defined as $w(i) = \max_{v \in S_i} w(v)$ and the weight of a coloring $c$ as $w(c) = \sum_{i=1}^{k}w(i)$. Guan and Zhu [Inf. Process. Lett., 1997] defined the weighted chromatic number of a pair $(G,w)$, denoted by $σ(G,w)$, as the minimum weight of a proper coloring of $G$. For a positive integer $r$, they also defined $σ(G,w;r)$ as the minimum of $w(c)$ among all proper $r$-colorings $c$ of $G$. The complexity of determining $σ(G,w)$ when $G$ is a tree was open for almost 20 years, until Araújo et al. [SIAM J. Discrete Math., 2014] recently proved that the problem cannot be solved in time $n^{o(\log n)}$ on $n$-vertex trees unless the Exponential Time Hypothesis (ETH) fails. The objective of this article is to provide hardness results for computing $σ(G,w)$ and $σ(G,w;r)$ when $G$ is a tree or a forest, relying on complexity assumptions weaker than the ETH. Namely, we study the problem from the viewpoint of parameterized complexity, and we assume the weaker hypothesis $FPT \neq W[1]$. Building on the techniques of Araújo et al., we prove that when $G$ is a forest, computing $σ(G,w)$ is $W[1]$-hard parameterized by the size of a largest connected component of $G$, and that computing $σ(G,w;r)$ is $W[2]$-hard parameterized by $r$. Our results rule out the existence of $FPT$ algorithms for computing these invariants on trees or forests for many natural choices of the parameter.

A matching $M$ in a graph $G$ is $r$-degenerate if the subgraph of $G$ induced by the set of vertices incident with an edge in $M$ is $r$-degenerate. Goddard, Hedetniemi, Hedetniemi, and Laskar (Generalized subgraph-restricted matchings in graphs, Discrete Mathematics 293 (2005) 129-138) introduced the notion of acyclic matchings, which coincide with $1$-degenerate matchings. Solving a problem they posed, we describe an efficient algorithm to determine the maximum size of an $r$-degenerate matching in a given chordal graph. Furthermore, we study the $r$-chromatic index of a graph defined as the minimum number of $r$-degenerate matchings into which its edge set can be partitioned, obtaining upper bounds and discussing extremal graphs.

A matching in a graph is uniquely restricted if no other matching covers exactly the same set of vertices. This notion was defined by Golumbic, Hirst, and Lewenstein and studied in a number of articles. Our contribution is twofold. We provide approximation algorithms for computing a uniquely restricted matching of maximum size in some bipartite graphs. In particular, we achieve a ratio of $9/5$ for subcubic bipartite graphs, improving over a $2$-approximation algorithm proposed by Mishra. Furthermore, we study the uniquely restricted chromatic index of a graph, defined as the minimum number of uniquely restricted matchings into which its edge set can be partitioned. We provide tight upper bounds in terms of the maximum degree and characterize all extremal graphs. Our constructive proofs yield efficient algorithms to determine the corresponding edge colorings.

We focus on counting the number of labeled graphs on $n$ vertices and treewidth at most $k$ (or equivalently, the number of labeled partial $k$-trees), which we denote by $T_{n,k}$. So far, only the particular cases $T_{n,1}$ and $T_{n,2}$ had been studied. We show that $$ \left(c \cdot \frac{k\cdot 2^k \cdot n}{\log k} \right)^n \cdot 2^{-\frac{k(k+3)}{2}} \cdot k^{-2k-2}\ \leq\ T_{n,k}\ \leq\ \left(k \cdot 2^k \cdot n\right)^n \cdot 2^{-\frac{k(k+1)}{2}} \cdot k^{-k}, $$ for $k > 1$ and some explicit absolute constant $c > 0$. The upper bound is an immediate consequence of the well-known number of labeled $k$-trees, while the lower bound is obtained from an explicit algorithmic construction. It follows from this construction that both bounds also apply to graphs of pathwidth and proper-pathwidth at most $k$.

For some years it was believed that for "connectivity" problems such as Hamiltonian Cycle, algorithms running in time 2^{O(tw)}n^{O(1)} -called single-exponential- existed only on planar and other sparse graph classes, where tw stands for the treewidth of the n-vertex input graph. This was recently disproved by Cygan et al. [FOCS 2011], Bodlaender et al. [ICALP 2013], and Fomin et al. [SODA 2014], who provided single-exponential algorithms on general graphs for essentially all connectivity problems that were known to be solvable in single-exponential time on sparse graphs. In this article we further investigate the role of planarity in connectivity problems parameterized by treewidth, and convey that several problems can indeed be distinguished according to their behavior on planar graphs. Known results from the literature imply that there exist problems, like Cycle Packing, that cannot be solved in time 2^{o(tw logtw)}n^{O(1)} on general graphs but that can be solved in time 2^{O(tw)}n^{O(1)} when restricted to planar graphs. Our main contribution is to show that there exist problems that can be solved in time 2^{O(tw logtw)}n^{O(1)} on general graphs but that cannot be solved in time 2^{o(tw logtw)}n^{O(1)} even when restricted to planar graphs. Furthermore, we prove that Planar Cycle Packing and Planar Disjoint Paths cannot be solved in time 2^{o(tw)}n^{O(1)}. The mentioned negative results hold unless the ETH fails. We feel that our results constitute a first step in a subject that can be further exploited.