Proof of a conjecture of Mader, Erdös and Hajnal on topological complete subgraphs
European Journal of Combinatorics
Journal of the ACM (JACM)
Norm-graphs: variations and applications
Journal of Combinatorial Theory Series B
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Polynomial-time data reduction for dominating set
Journal of the ACM (JACM)
The dominating set problem is fixed parameter tractable for graphs of bounded genus
Journal of Algorithms
Extremal Graph Theory
Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs
Journal of the ACM (JACM)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up
SIAM Journal on Computing
Invitation to data reduction and problem kernelization
ACM SIGACT News
Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size
SIAM Journal on Computing
Algorithmica - Parameterized and Exact Algorithms
Parameterized Complexity for Domination Problems on Degenerate Graphs
Graph-Theoretic Concepts in Computer Science
Incompressibility through Colors and IDs
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
On problems without polynomial kernels
Journal of Computer and System Sciences
Parameterized and Exact Computation
FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses
Proceedings of the forty-second ACM symposium on Theory of computing
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Exact exponential-time algorithms for finding bicliques
Information Processing Letters
Kernelization hardness of connectivity problems in d-degenerate graphs
WG'10 Proceedings of the 36th international conference on Graph-theoretic concepts in computer science
Parameterized Complexity
Vertex cover, dominating set and my encounters with parameterized complexity and mike fellows
The Multivariate Algorithmic Revolution and Beyond
Hi-index | 0.00 |
We show that for every fixed j ≥ i ≥ 1, the k-Dominating Set problem restricted to graphs that do not have Kij (the complete bipartite graph on (i + j) vertices, where the two parts have i and j vertices, respectively) as a subgraph is fixed parameter tractable (FPT) and has a polynomial kernel. We describe a polynomial-time algorithm that, given a Ki,j-free graph G and a nonnegative integer k, constructs a graph H (the “kernel”) and an integer k' such that (1) G has a dominating set of size at most k if and only if H has a dominating set of size at most k', (2) H has O((j + 1)i + 1 ki2) vertices, and (3) k' = O((j + 1)i + 1 ki2). Since d-degenerate graphs do not have Kd+1,d+1 as a subgraph, this immediately yields a polynomial kernel on O((d + 2)d+2 k(d + 1)2) vertices for the k-Dominating Set problem on d-degenerate graphs, solving an open problem posed by Alon and Gutner [Alon and Gutner 2008; Gutner 2009]. The most general class of graphs for which a polynomial kernel was previously known for k-Dominating Set is the class of Kh-topological-minor-free graphs [Gutner 2009]. Graphs of bounded degeneracy are the most general class of graphs for which an FPT algorithm was previously known for this problem. Kh-topological-minor-free graphs are Ki,j-free for suitable values of i,j (but not vice-versa), and so our results show that k-Dominating Set has both FPT algorithms and polynomial kernels in strictly more general classes of graphs. Using the same techniques, we also obtain an O(jki) vertex-kernel for the k-Independent Dominating Set problem on Ki,j-free graphs.