129 research outputs found

    Reconfiguration on sparse graphs

    Full text link
    A vertex-subset graph problem Q defines which subsets of the vertices of an input graph are feasible solutions. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions S and T of size k, whether it is possible to transform S into T by a sequence of vertex additions and deletions such that each intermediate set is also a feasible solution of size bounded by k. We study reconfiguration variants of two classical vertex-subset problems, namely Independent Set and Dominating Set. We denote the former by ISR and the latter by DSR. Both ISR and DSR are PSPACE-complete on graphs of bounded bandwidth and W[1]-hard parameterized by k on general graphs. We show that ISR is fixed-parameter tractable parameterized by k when the input graph is of bounded degeneracy or nowhere-dense. As a corollary, we answer positively an open question concerning the parameterized complexity of the problem on graphs of bounded treewidth. Moreover, our techniques generalize recent results showing that ISR is fixed-parameter tractable on planar graphs and graphs of bounded degree. For DSR, we show the problem fixed-parameter tractable parameterized by k when the input graph does not contain large bicliques, a class of graphs which includes graphs of bounded degeneracy and nowhere-dense graphs

    Improved FPT algorithms for weighted independent set in bull-free graphs

    Full text link
    Very recently, Thomass\'e, Trotignon and Vuskovic [WG 2014] have given an FPT algorithm for Weighted Independent Set in bull-free graphs parameterized by the weight of the solution, running in time 2O(k5)⋅n92^{O(k^5)} \cdot n^9. In this article we improve this running time to 2O(k2)⋅n72^{O(k^2)} \cdot n^7. As a byproduct, we also improve the previous Turing-kernel for this problem from O(k5)O(k^5) to O(k2)O(k^2). Furthermore, for the subclass of bull-free graphs without holes of length at most 2p−12p-1 for p≥3p \geq 3, we speed up the running time to 2O(k⋅k1p−1)⋅n72^{O(k \cdot k^{\frac{1}{p-1}})} \cdot n^7. As pp grows, this running time is asymptotically tight in terms of kk, since we prove that for each integer p≥3p \geq 3, Weighted Independent Set cannot be solved in time 2o(k)⋅nO(1)2^{o(k)} \cdot n^{O(1)} in the class of {bull,C4,…,C2p−1}\{bull,C_4,\ldots,C_{2p-1}\}-free graphs unless the ETH fails.Comment: 15 page

    Kernelization and Sparseness: the case of Dominating Set

    Get PDF
    We prove that for every positive integer rr and for every graph class G\mathcal G of bounded expansion, the rr-Dominating Set problem admits a linear kernel on graphs from G\mathcal G. Moreover, when G\mathcal G is only assumed to be nowhere dense, then we give an almost linear kernel on G\mathcal G for the classic Dominating Set problem, i.e., for the case r=1r=1. These results generalize a line of previous research on finding linear kernels for Dominating Set and rr-Dominating Set. However, the approach taken in this work, which is based on the theory of sparse graphs, is radically different and conceptually much simpler than the previous approaches. We complement our findings by showing that for the closely related Connected Dominating Set problem, the existence of such kernelization algorithms is unlikely, even though the problem is known to admit a linear kernel on HH-topological-minor-free graphs. Also, we prove that for any somewhere dense class G\mathcal G, there is some rr for which rr-Dominating Set is W[22]-hard on G\mathcal G. Thus, our results fall short of proving a sharp dichotomy for the parameterized complexity of rr-Dominating Set on subgraph-monotone graph classes: we conjecture that the border of tractability lies exactly between nowhere dense and somewhere dense graph classes.Comment: v2: new author, added results for r-Dominating Sets in bounded expansion graph

    Domination Above r-Independence: Does Sparseness Help?

    Get PDF
    Inspired by the potential of improving tractability via gap- or above-guarantee parametrisations, we investigate the complexity of Dominating Set when given a suitable lower-bound witness. Concretely, we consider being provided with a maximal r-independent set X (a set in which all vertices have pairwise distance at least r+1) along the input graph G which, for r >= 2, lower-bounds the minimum size of any dominating set of G. In the spirit of gap-parameters, we consider a parametrisation by the size of the "residual" set R := V(G) N[X]. Our work aims to answer two questions: How does the constant r affect the tractability of the problem and does the restriction to sparse graph classes help here? For the base case r = 2, we find that the problem is paraNP-complete even in apex- and bounded-degree graphs. For r = 3, the problem is W[2]-hard for general graphs but in FPT for nowhere dense classes and it admits a linear kernel for bounded expansion classes. For r >= 4, the parametrisation becomes essentially equivalent to the natural parameter, the size of the dominating set

    Twin-Width and Polynomial Kernels

    Get PDF
    We study the existence of polynomial kernels for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. It was previously observed in [Bonnet et al., ICALP\u2721] that the problem k-Independent Set allows no polynomial kernel on graph of bounded twin-width by a very simple argument, which extends to several other problems such as k-Independent Dominating Set, k-Path, k-Induced Path, k-Induced Matching. In this work, we examine the k-Dominating Set and variants of k-Vertex Cover for the existence of polynomial kernels. As a main result, we show that k-Dominating Set does not admit a polynomial kernel on graphs of twin-width at most 4 under a standard complexity-theoretic assumption. The reduction is intricate, especially due to the effort to bring the twin-width down to 4, and it can be tweaked to work for Connected k-Dominating Set and Total k-Dominating Set with a slightly worse bound on the twin-width. On the positive side, we obtain a simple quadratic vertex kernel for Connected k-Vertex Cover and Capacitated k-Vertex Cover on graphs of bounded twin-width. These kernels rely on that graphs of bounded twin-width have Vapnik-Chervonenkis (VC) density 1, that is, for any vertex set X, the number of distinct neighborhoods in X is at most c?|X|, where c is a constant depending only on the twin-width. Interestingly the kernel applies to any graph class of VC density 1, and does not require a witness sequence. We also present a more intricate O(k^{1.5}) vertex kernel for Connected k-Vertex Cover. Finally we show that deciding if a graph has twin-width at most 1 can be done in polynomial time, and observe that most graph optimization/decision problems can be solved in polynomial time on graphs of twin-width at most 1

    Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

    Get PDF

    Algorithmic Properties of Sparse Digraphs

    Get PDF
    The notions of bounded expansion [Nesetril and Ossona de Mendez, 2008] and nowhere denseness [Nesetril and Ossona de Mendez, 2011], introduced by Nesetril and Ossona de Mendez as structural measures for undirected graphs, have been applied very successfully in algorithmic graph theory. We study the corresponding notions of directed bounded expansion and nowhere crownfulness on directed graphs, introduced by Kreutzer and Tazari [Kreutzer and Tazari, 2012]. The classes of directed graphs having those properties are very general classes of sparse directed graphs, as they include, on one hand, all classes of directed graphs whose underlying undirected class has bounded expansion, such as planar, bounded-genus, and H-minor-free graphs, and on the other hand, they also contain classes whose underlying undirected class is not even nowhere dense. We show that many of the algorithmic tools that were developed for undirected bounded expansion classes can, with some care, also be applied in their directed counterparts, and thereby we highlight a rich algorithmic structure theory of directed bounded expansion and nowhere crownful classes
    • …
    corecore