Results 1  10
of
50
Fixed Parameter Algorithms for Dominating Set and Related Problems on Planar Graphs
, 2002
"... We present an algorithm that constructively produces a solution to the kdominating set problem for planar graphs in time O(c . To obtain this result, we show that the treewidth of a planar graph with domination number (G) is O( (G)), and that such a tree decomposition can be found in O( (G)n) time. ..."
Abstract

Cited by 105 (23 self)
 Add to MetaCart
We present an algorithm that constructively produces a solution to the kdominating set problem for planar graphs in time O(c . To obtain this result, we show that the treewidth of a planar graph with domination number (G) is O( (G)), and that such a tree decomposition can be found in O( (G)n) time. The same technique can be used to show that the kface cover problem ( find a size k set of faces that cover all vertices of a given plane graph) can be solved in O(c n) time, where c 1 = 3 and k is the size of the face cover set. Similar results can be obtained in the planar case for some variants of kdominating set, e.g., kindependent dominating set and kweighted dominating set.
Dominating Sets in Planar Graphs: BranchWidth and Exponential Speedup
, 2002
"... Graph minors theory, developed by Robertson & Seymour, provides a list of powerful theoretical results and tools. However, the wide spread opinion in Graph Algorithms community about this theory is that it is mainly of theoretical importance. ..."
Abstract

Cited by 68 (14 self)
 Add to MetaCart
Graph minors theory, developed by Robertson & Seymour, provides a list of powerful theoretical results and tools. However, the wide spread opinion in Graph Algorithms community about this theory is that it is mainly of theoretical importance.
Subexponential Parameterized Algorithms on Graphs of Bounded Genus and HMinorFree Graphs
, 2003
"... We introduce a new framework for designing fixedparameter algorithms with subexponential running time2 . Our results apply to a broad family of graph problems, called bidimensional problems, which includes many domination and covering problems such as vertex cover, feedback vertex set, minimum m ..."
Abstract

Cited by 41 (13 self)
 Add to MetaCart
We introduce a new framework for designing fixedparameter algorithms with subexponential running time2 . Our results apply to a broad family of graph problems, called bidimensional problems, which includes many domination and covering problems such as vertex cover, feedback vertex set, minimum maximal matching, dominating set, edge dominating set, cliquetransversal set, and many others restricted to bounded genus graphs. Furthermore, it is fairly straightforward to prove that a problem is bidimensional. In particular, our framework includes as special cases all previously known problems to have such subexponential algorithms. Previously, these algorithms applied to planar graphs, singlecrossingminorfree graphs, and/or map graphs; we extend these results to apply to boundedgenus graphs as well. In a parallel development of combinatorial results, we establish an upper bound on the treewidth (or branchwidth) of a boundedgenus graph that excludes some planar graph H as a minor. This bound depends linearly on the size (H) of the excluded graph H and the genus g(G) of the graph G, and applies and extends the graphminors work of Robertson and Seymour. Building on these results...
PolynomialTime Data Reduction for DOMINATING SET
 Journal of the ACM
, 2004
"... Dealing with the NPcomplete Dominating Set problem on graphs, we demonstrate the power of data reduction by preprocessing from a theoretical as well as a practical side. In particular, we prove that Dominating Set restricted to planar graphs has a socalled problem kernel of linear size, achiev ..."
Abstract

Cited by 39 (9 self)
 Add to MetaCart
Dealing with the NPcomplete Dominating Set problem on graphs, we demonstrate the power of data reduction by preprocessing from a theoretical as well as a practical side. In particular, we prove that Dominating Set restricted to planar graphs has a socalled problem kernel of linear size, achieved by two simple and easy to implement reduction rules. Moreover, having implemented our reduction rules, first experiments indicate the impressive practical potential of these rules. Thus, this work seems to open up a new and prospective way how to cope with one of the most important problems in graph theory and combinatorial optimization.
Bidimensionality: New Connections between FPT Algorithms and PTASs
"... We demonstrate a new connection between fixedparameter tractability and approximation algorithms for combinatorial optimization problems on planar graphs and their generalizations. Specifically, we extend the theory of socalled “bidimensional” problems to show that essentially all such problems ha ..."
Abstract

Cited by 36 (5 self)
 Add to MetaCart
We demonstrate a new connection between fixedparameter tractability and approximation algorithms for combinatorial optimization problems on planar graphs and their generalizations. Specifically, we extend the theory of socalled “bidimensional” problems to show that essentially all such problems have both subexponential fixedparameter algorithms and PTASs. Bidimensional problems include e.g. feedback vertex set, vertex cover, minimum maximal matching, face cover, a series of vertexremoval problems, dominating set, edge dominating set, rdominating set, diameter, connected dominating set, connected edge dominating set, and connected rdominating set. We obtain PTASs for all of these problems in planar graphs and certain generalizations; of particular interest are our results for the two wellknown problems of connected dominating set and general feedback vertex set for planar graphs and their generalizations, for which PTASs were not known to exist. Our techniques generalize and in some sense unify the two main previous approaches for designing PTASs in planar graphs, namely, the LiptonTarjan separator approach [FOCS’77] and the Baker layerwise decomposition approach [FOCS’83]. In particular, we replace the notion of separators with a more powerful tool from the bidimensionality theory, enabling the first approach to apply to a much broader class of minimization problems than previously possible; and through the use of a structural backbone and thickening of layers we demonstrate how the second approach can be applied to problems with a “nonlocal” structure.
Parameterized Complexity for the Skeptic
 In Proc. 18th IEEE Annual Conference on Computational Complexity
, 2003
"... The goal of this article is to provide a tourist guide, with an eye towards structural issues, to what I consider some of the major highlights of parameterized complexity. ..."
Abstract

Cited by 36 (1 self)
 Add to MetaCart
The goal of this article is to provide a tourist guide, with an eye towards structural issues, to what I consider some of the major highlights of parameterized complexity.
Parametric duality and kernelization: lower bounds and upper bounds on kernel size
 In Proc. 22nd STACS, volume 3404 of LNCS
, 2005
"... Abstract. Determining whether a parameterized problem is kernelizable and has a small kernel size has recently become one of the most interesting topics of research in the area of parameterized complexity and algorithms. Theoretically, it has been proved that a parameterized problem is kernelizable ..."
Abstract

Cited by 35 (4 self)
 Add to MetaCart
Abstract. Determining whether a parameterized problem is kernelizable and has a small kernel size has recently become one of the most interesting topics of research in the area of parameterized complexity and algorithms. Theoretically, it has been proved that a parameterized problem is kernelizable if and only if it is fixedparameter tractable. Practically, applying a data reduction algorithm to reduce an instance of a parameterized problem to an equivalent smaller instance (i.e., a kernel) has led to very efficient algorithms and now goes handinhand with the design of practical algorithms for solving NPhard problems. Wellknown examples of such parameterized problems include the vertex cover problem, which is kernelizable to a kernel of size bounded by 2k, and the planar dominating set problem, which is kernelizable to a kernel of size bounded by 335k. In this paper we develop new techniques to derive upper and lower bounds on the kernel size for certain parameterized problems. In terms of our lower bound results, we show, for example, that unless P = NP, planar vertex cover does not have a problem kernel of size smaller than 4k/3, and planar independent set and planar dominating set do not have kernels of size smaller than 2k. In terms of our upper bound results, we further reduce the upper bound on the kernel size for the planar dominating set problem to 67k, improving significantly the 335k previous upper bound given by Alber, Fellows, and Niedermeier [J. ACM, 51 (2004), pp. 363–384]. This latter result is obtained by introducing a new set of reduction and coloring rules, which allows the derivation of nice combinatorial properties in the kernelized graph leading to a tighter bound on the size of the kernel. The paper also shows how this improved upper bound yields a simple and competitive algorithm for the planar dominating set problem.
Fixedparameter algorithms for the (k, r)center in planar graphs and map graphs
 ACM TRANSACTIONS ON ALGORITHMS
, 2003
"... ..."
Locally excluding a minor
, 2007
"... We introduce the concept of locally excluded minors. Graph classes locally excluding a minor generalise the concept of excluded minor classes but also of graph classes with bounded local treewidth and graph classes with bounded expansion. We show that firstorder modelchecking is fixedparameter t ..."
Abstract

Cited by 34 (13 self)
 Add to MetaCart
We introduce the concept of locally excluded minors. Graph classes locally excluding a minor generalise the concept of excluded minor classes but also of graph classes with bounded local treewidth and graph classes with bounded expansion. We show that firstorder modelchecking is fixedparameter tractable on any class of graphs locally excluding a minor. This strictly generalises analogous results by Flum and Grohe on excluded minor classes and Frick and Grohe on classes with bounded local treewidth. As an important consequence of the proof we obtain fixedparameter algorithms for problems such as dominating or independent set on graph classes excluding a minor, where now the parameter is the size of the dominating set and the excluded minor. We also study graph classes with excluded minors, where the minor may grow slowly with the size of the graphs and show that again, firstorder modelchecking is fixedparameter tractable on any such class of graphs.