Results 1  10
of
69
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 64 (8 self)
 Add to MetaCart
(Show Context)
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.
Subexponential parameterized algorithms on graphs of boundedgenus and Hminorfree Graphs
"... ... Building on these results, we develop subexponential fixedparameter algorithms for dominating set, vertex cover, and set cover in any class of graphs excluding a fixed graph H as a minor. Inparticular, this general category of graphs includes planar graphs, boundedgenus graphs, singlecrossing ..."
Abstract

Cited by 63 (22 self)
 Add to MetaCart
... Building on these results, we develop subexponential fixedparameter algorithms for dominating set, vertex cover, and set cover in any class of graphs excluding a fixed graph H as a minor. Inparticular, this general category of graphs includes planar graphs, boundedgenus graphs, singlecrossingminorfree graphs, and anyclass of graphs that is closed under taking minors. Specifically, the running time is 2O(pk)nh, where h is a constant depending onlyon H, which is polynomial for k = O(log² n). We introducea general approach for developing algorithms on Hminorfreegraphs, based on structural results about Hminorfree graphs at the
Bidimensionality: New Connections between FPT Algorithms and PTASs
, 2005
"... We demonstrate a new connection between fixedparametertractability 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 ..."
Abstract

Cited by 43 (7 self)
 Add to MetaCart
We demonstrate a new connection between fixedparametertractability and approximation algorithms for combinatorial optimization problems on planar graphs and their generalizations. Specifically, we extend the theory of socalled &quot;bidimensional &quot; problems to show that essentially all such problems have both subexponential fixedparameter algorithms and PTASs. Bidimensional problems include e.g. feedbackvertex set, vertex cover, minimum maximal matching, face cover, a series of vertexremoval problems, dominating set,edge dominating set,
Width parameters beyond treewidth and their applications
 Computer Journal
, 2007
"... Besides the very successful concept of treewidth (see [Bodlaender, H. and Koster, A. (2007) Combinatorial optimisation on graphs of bounded treewidth. These are special issues on Parameterized Complexity]), many concepts and parameters measuring the similarity or dissimilarity of structures compare ..."
Abstract

Cited by 40 (0 self)
 Add to MetaCart
Besides the very successful concept of treewidth (see [Bodlaender, H. and Koster, A. (2007) Combinatorial optimisation on graphs of bounded treewidth. These are special issues on Parameterized Complexity]), many concepts and parameters measuring the similarity or dissimilarity of structures compared to trees have been born and studied over the past years. These concepts and parameters have proved to be useful tools in many applications, especially in the design of efficient algorithms. Our presented novel look at the contemporary developments of these ‘width ’ parameters in combinatorial structures delivers—besides traditional treewidth and derived dynamic programming schemes—also a number of other useful parameters like branchwidth, rankwidth (cliquewidth) or hypertreewidth. In this contribution, we demonstrate how ‘width ’ parameters of graphs and generalized structures (such as matroids or hypergraphs), can be used to improve the design of parameterized algorithms and the structural analysis in other applications on an abstract level.
Refined search tree technique for DOMINATING SET on planar graphs
 in Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
"... Abstract We establish a refined search tree technique for the parameterized DOMINATING SET problem on planar graphs. Here, we are given an undirected graph and we ask for a set of at most k vertices such that every other vertex has at least one neighbor in this set. We describe algorithms with runn ..."
Abstract

Cited by 39 (11 self)
 Add to MetaCart
(Show Context)
Abstract We establish a refined search tree technique for the parameterized DOMINATING SET problem on planar graphs. Here, we are given an undirected graph and we ask for a set of at most k vertices such that every other vertex has at least one neighbor in this set. We describe algorithms with running times O(8 k n) and O(8 k k + n 3 ), where n is the number of vertices in the graph, based on bounded search trees. We describe a set of polynomial time datareduction rules for a more general "annotated" problem on black/white graphs that asks for a set of k vertices (black or white) ଁ An extended abstract of this paper appeared under nearly the same title in J. Sgall, A. Pultr, and P. Alber et al. / Journal of Computer and System Sciences 71 (2005) 385 405 that dominate all the black vertices. An intricate argument based on the Euler formula then establishes an efficient branching strategy for reduced inputs to this problem. In addition, we give a family examples showing that the bound of the branching theorem is optimal with respect to our reduction rules. Our final search tree algorithm is easy to implement; its analysis, however, is involved.
Linearity of Grid Minors in Treewidth with Applications through Bidimensionality
, 2005
"... We prove that any Hminorfree graph, for a fixed graph H, of treewidth w has an \Omega (w) *\Omega ( w) grid graph as a minor. Thus grid minors suffice to certify that Hminorfree graphs havelarge treewidth, up to constant factors. This strong relationship was previously known for the special cas ..."
Abstract

Cited by 33 (1 self)
 Add to MetaCart
We prove that any Hminorfree graph, for a fixed graph H, of treewidth w has an \Omega (w) *\Omega ( w) grid graph as a minor. Thus grid minors suffice to certify that Hminorfree graphs havelarge treewidth, up to constant factors. This strong relationship was previously known for the special cases of planar graphs and boundedgenus graphs, and is known not to hold for generalgraphs. The approach of this paper can be viewed more generally as a framework for extending combinatorial results on planar graphs to hold on Hminorfree graphs for any fixed H. Ourresult has many combinatorial consequences on bidimensionality theory, parametertreewidth bounds, separator theorems, and bounded local treewidth; each of these combinatorial resultshas several algorithmic consequences including subexponential fixedparameter algorithms and approximation algorithms.
Bidimensional parameters and local treewidth
 SIAM Journal on Discrete Mathematics
, 2004
"... Abstract. For several graph theoretic parameters such as vertex cover and dominating set, it is known that if their values are bounded by k then the treewidth of the graph is bounded by some function of k. This fact is used as the main tool for the design of several fixedparameter algorithms on min ..."
Abstract

Cited by 31 (17 self)
 Add to MetaCart
(Show Context)
Abstract. For several graph theoretic parameters such as vertex cover and dominating set, it is known that if their values are bounded by k then the treewidth of the graph is bounded by some function of k. This fact is used as the main tool for the design of several fixedparameter algorithms on minorclosed graph classes such as planar graphs, singlecrossingminorfree graphs, and graphs of bounded genus. In this paper we examine the question whether similar bounds can be obtained for larger minorclosed graph classes, and for general families of parameters including all the parameters where such a behavior has been reported so far. Given a graph parameter P, we say that a graph family F has the parametertreewidth property for P if there is a function f(p) such that every graph G ∈ F with parameter at most p has treewidth at most f(p). We prove as our main result that, for a large family of parameters called contractionbidimensional parameters, a minorclosed graph family F has the parametertreewidth property if F has bounded local treewidth. We also show “if and only if ” for some parameters, and thus this result is in some sense tight. In addition we show that, for a slightly smaller family of parameters called minorbidimensional parameters, all minorclosed graph families F excluding some fixed graphs have the parametertreewidth property. The bidimensional parameters include many domination and covering parameters such as vertex cover, feedback vertex set, dominating set, edgedominating set, qdominating set (for fixed q). We use these theorems to develop new fixedparameter algorithms in these contexts. 1