Abstract. Several algorithmic meta-theorems on kernelization have appeared in the last years, starting with the result of Bodlaender et al. [FOCS 2009] on graphs of bounded genus, then generalized by Fomin et al. [SODA 2010] to graphs excluding a fixed minor, and by Kim et al. [ICALP 2013] to graphs excluding a fixed topological minor. Typically, these results guarantee the existence of linear or polynomial kernels on sparse graph classes for problems satisfying some generic conditions but, mainly due to their generality, it is not clear how to derive from them constructive kernels with explicit constants. In this paper we make a step toward a fully constructive meta-kernelization theory on sparse graphs. Our approach is based on a more explicit protrusion replacement machinery that, instead of expressibility in CMSO logic, uses dynamic programming, which allows us to find an explicit upper bound on the size of the derived kernels. We demonstrate the usefulness of our techniques by providing the first explicit linear kernels for r-Dominating Set and r-Scattered Set on apex-minor-free graphs, and for Planar-F-Deletion on graphs excluding a fixed (topological) minor in the case where all the graphs in F are connected.
In the Red-Blue Dominating Set problem, we are given a bipartite graph G = (V B ∪ V R , E) and an integer k, and asked whether G has a subset D ⊆ V B of at most k "blue" vertices such that each "red" vertex from V R is adjacent to a vertex in D. We provide the first explicit linear kernel for this problem on planar graphs, of size at most 43k.
Rule 4Let v, w be two distinct blue vertices such that |P (v, w)| ≥ 1. Let D = {d ∈ V B : P (v, w) ⊆ N (d)}. We distinguish the following cases:
In this paper we consider a variation of a recoloring problem, called the Color-Fixing. Let us have some non-proper r-coloring ϕ of a graph G. We investigate the problem of finding a proper r-coloring of G, which is "the most similar" to ϕ, i.e., the number k of vertices that have to be recolored is minimum possible. We observe that the problem is NP-complete for any fixed r ≥ 3, even for bipartite planar graphs. Moreover, it is W [1]-hard even for bipartite graphs, when parameterized by the number k of allowed recoloring transformations. On the other hand, the problem is fixed-parameter tractable, when parameterized by k and the number r of colors.We provide a 2 n ⋅n O(1) algorithm for the problem and a linear algorithm for graphs with bounded treewidth. We also show several lower complexity bounds, using standard complexity assumptions. Finally, we investigate the fixing number of a graph G. It is the minimum k such that k recoloring transformations are sufficient to transform any coloring of G into a proper one.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.