## Fixed parameter algorithms for planar dominating set and related problems (2000)

### Cached

### Download Links

- [www.cs.uu.nl]
- [igitur-archive.library.uu.nl]
- [ftp.cs.uu.nl]
- [www-fs.informatik.uni-tuebingen.de]
- DBLP

### Other Repositories/Bibliography

Citations: | 35 - 10 self |

### BibTeX

@INPROCEEDINGS{Alber00fixedparameter,

author = {Jochen Alber and Hans L. Bodlaender and Henning Fernau and Rolf Niedermeier},

title = {Fixed parameter algorithms for planar dominating set and related problems},

booktitle = {},

year = {2000},

pages = {97--110},

publisher = {Springer}

}

### Years of Citing Articles

### OpenURL

### Abstract

We present an algorithm that constructively produces a solution to the k-dominating set problem for planar graphs in time O(c √ kn), where c = 36√34. 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 k-face cover problem (find a size k set of faces that cover all vertices of a given plane graph) can be solved √ k in O(c1 n + n2) time, where c1 = 236√34 and k is the size of the face cover set. Similar results can be obtained in the planar case for some variants of k-dominating set, e.g., k-independent dominating set and k-weighted dominating set. Keywords. NP-complete problems, fixed parameter tractability, planar graphs, planar dominating set, face cover, outerplanarity, treewidth.

### Citations

10922 |
Computers and Intractability: A Guide to the Theory of NP-Completeness
- Garey, Johnson
- 1979
(Show Context)
Citation Context ..., given a graph G = (V, E) and a positive integer k, whether or not there exists a k-dominating set, is among the core problems in algorithms, combinatorial optimization, and computational complexity =-=[4, 16, 27, 32, 44]-=-. The problem is NP-complete, even when restricted to planar graphs with maximum vertex degree 3 and to planar graphs that are regular of degree 4 [27]. Coping with NP-hard problems. Despite their int... |

2343 | Communication complexity
- Papadimitriou, Sipser
- 1984
(Show Context)
Citation Context ..., given a graph G = (V, E) and a positive integer k, whether or not there exists a k-dominating set, is among the core problems in algorithms, combinatorial optimization, and computational complexity =-=[4, 16, 27, 32, 44]-=-. The problem is NP-complete, even when restricted to planar graphs with maximum vertex degree 3 and to planar graphs that are regular of degree 4 [27]. Coping with NP-hard problems. Despite their int... |

871 | Parametrized Complexity - Downey, Fellows - 1999 |

329 |
Graph Drawing: Algorithms for the Visualization of Graphs
- Battista, Eades, et al.
- 1999
(Show Context)
Citation Context ..., the incident edges of v are given in clockwise order as they appear in the embedding. Most (linear time) graph planarity testing and embedding algorithms yield such orderings of the edge lists (see =-=[18]-=-). Now, we discuss the proof of Theorem 12. For the construction of the desired tree decomposition we proceed in several steps. Firstly, we determine the layers of the given graph G. Secondly, G is em... |

307 |
Approximation algorithms for NP-complete problems on planar graphs
- Baker
- 1994
(Show Context)
Citation Context ...algorithm (see, e.g., [4, 16] for details). The planar dominating set problem (i.e., the dominating set problem restricted to planar graphs), however, possesses a polynomial time approximation scheme =-=[5]-=-. That is, there is a polynomial time approximation algorithm with approximation factor 1 + #, where # is a constant arbitrarily close to 0. However, the degree of the polynomial grows with 1/#. Hence... |

291 |
How to Solve It: Modern Heuristics
- Michalewicz, Fogel
- 2000
(Show Context)
Citation Context ...3 and to planar graphs that are regular of degree 4 [27]. Coping with NP-hard problems. Despite their intractability, many NPhard problems are of great practical importance. Besides heuristic methods =-=[39]-=- which often lack theoretical analysis, the main contribution of theoretical computer science on the attack of intractability so far has been to design and analyze approximation algorithms [4, 32]. Th... |

290 |
Graph classes: A survey
- Brandstadt, Le, et al.
- 1999
(Show Context)
Citation Context ...logy) is huge. Hence, we only refer to some surveys here, for instance, [29, 30, 31, 37, 46]. In particular, note that many papers have been published on domination problems for special graph classes =-=[11]-=- and/or variations of the fundamental problem, see, for example, [2, 6, 12, 13, 15, 25, 17, 34, 35, 40, 49]. Our main result. We present fixed parameter tractability results for planar k-dominating se... |

248 | A Partial k-Arboretum of Graphs with Bounded Treewidth - Bodlaender - 1998 |

194 | A linear time algorithm for finding tree-decompositions of small treewidth - Bodlaender - 1996 |

174 | Complexity and approximation
- Ausiello, Crescenzi, et al.
- 1999
(Show Context)
Citation Context ..., given a graph G = (V, E) and a positive integer k, whether or not there exists a k-dominating set, is among the core problems in algorithms, combinatorial optimization, and computational complexity =-=[4, 16, 27, 32, 44]-=-. The problem is NP-complete, even when restricted to planar graphs with maximum vertex degree 3 and to planar graphs that are regular of degree 4 [27]. Coping with NP-hard problems. Despite their int... |

151 | Vertex cover: further observations and further improvements
- Chen, Kanj, et al.
(Show Context)
Citation Context ...herent combinatorial explosion can be restricted to a "small part" of the input, the parameter. For instance, the k-vertex cover problem can be solved by an algorithm with running time O(kn =-=+ 1.3 k ) [14, 41]-=-, where the parameter k is a bound on the maximum size of the vertex cover set we are looking for and n is the number of vertices in the given graph. The fundamental assumption is k # n. As can easily... |

133 | Tree-width: Algorithmic Techniques and Results
- Bodlaender
- 1295
(Show Context)
Citation Context ...2), the set B(C) as given in Lemma 6 is called the boundary cycle of C. 2.2 Domination and treewidth The main tool we use in our algorithm is the concept of tree decompositions as, e.g., described in =-=[9]-=-. Definition 8 Let G = (V, E) be a graph. A tree decomposition of G is a pair #{X i | i # I}, T #, where each X i is a subset of V , called a bag, and T is a tree with the elements of I as nodes. The ... |

117 |
Graph theory, Graduate Texts in
- Diestel
- 2000
(Show Context)
Citation Context ...iminaries: Domination, r-outerplanarity, and treewidth In this section, we provide necessary notions and some known results. We assume familiarity with basic graph-theoretical notation as provided in =-=[19, 38]-=-. In particular, for a graph G = (V, E) and a subset V # # V , the subgraph induced by the vertices V \ V # will frequently be denoted by G - V # . If V # = {v} is a singleton, we write G- v instead o... |

75 | Deciding first-order properties of locally tree-decomposable structures
- Frick, Grohe
(Show Context)
Citation Context ...n be derived from this observation and the fact that an routerplanar graph has treewidth of at most 3r - 1 (as exhibited in Section 2). Alternatively, the general logical framework of Frick and Grohe =-=[26]-=- easily proves the fixed parameter tractability of planar k-dominating set. Downey and Fellows [21, 22] give an O(11 k n) time algorithm, the so far best known time bound for planar k-dominating set. ... |

67 | Parameterized complexity: a framework for systematically confronting computational intractability
- Downey, Fellows, et al.
- 1997
(Show Context)
Citation Context ...et is an interesting and promising research question. Fixed parameter tractability. Lately, it has become popular to cope with computational intractability in a di#erent way: parameterized complexity =-=[1, 22, 23, 24]. Here, th-=-e basic observation is that, for many hard problems, the seemingly inherent combinatorial explosion can be restricted to a "small part" of the input, the parameter. For instance, the k-verte... |

59 | Parameterized computational feasibility
- Downey, Fellows
- 1995
(Show Context)
Citation Context ... 3r - 1 (as exhibited in Section 2). Alternatively, the general logical framework of Frick and Grohe [26] easily proves the fixed parameter tractability of planar k-dominating set. Downey and Fellows =-=[21, 22]-=- give an O(11 k n) time algorithm, the so far best known time bound for planar k-dominating set. Relevance of (planar) dominating set. The literature on dominating set problems in mathematics, compute... |

50 | Graph algorithms - Leeuwen - 1990 |

45 | A general method to speed up fixed-parametertractable algorithms
- Niedermeier, Rossmanith
- 2000
(Show Context)
Citation Context ...ady guarantees fixed parameter tractability for this problem. 31 small problem kernel, could be of high practical relevance, in particular in combination with the interleaving techniques presented in =-=[42]-=-. Acknowledgements. We are indebted to Ton Kloks for starting this research with us and for many discussions on the topic of this paper. We thank Peter Rossmanith for discussions on di#erent approache... |

43 | Upper bounds for Vertex Cover further improved
- Niedermeier, Rossmanith
- 1999
(Show Context)
Citation Context ...herent combinatorial explosion can be restricted to a "small part" of the input, the parameter. For instance, the k-vertex cover problem can be solved by an algorithm with running time O(kn =-=+ 1.3 k ) [14, 41]-=-, where the parameter k is a bound on the maximum size of the vertex cover set we are looking for and n is the number of vertices in the given graph. The fundamental assumption is k # n. As can easily... |

42 | Fixed-parameter tractability and completeness
- Downey, Fellows
- 1992
(Show Context)
Citation Context ...according to the theory of parameterized complexity, it is very unlikely that the k-dominating set problem is fixed parameter tractable. On the contrary, it was 2 proven to be complete for W [2] (see =-=[20]), a "-=-;complexity class of parameterized intractability" (refer to Downey and Fellows [22] for details). However, planar k-dominating set is fixed parameter tractable. This already easily follows from ... |

41 | Algorithms for vertex partitioning problems on partial k-trees
- Telle, Proskurowski
- 1997
(Show Context)
Citation Context ... in time 3 # N , where N is the number of nodes of the tree decomposition. 7 Proof. The theorem can be proven by using dynamic programming techniques, as described in a more general context, e.g., in =-=[9, 48]-=-. For the sake of preciseness, we outline how these techniques apply to solving dominating set in the claimed running time. Let X = #{X i | i # I}, T # be a tree decomposition for the graph G = (V, E)... |

32 |
Graph Algorithms and NP-Completeness
- Mehlhorn
- 1984
(Show Context)
Citation Context ...iminaries: Domination, r-outerplanarity, and treewidth In this section, we provide necessary notions and some known results. We assume familiarity with basic graph-theoretical notation as provided in =-=[19, 38]-=-. In particular, for a graph G = (V, E) and a subset V # # V , the subgraph induced by the vertices V \ V # will frequently be denoted by G - V # . If V # = {v} is a singleton, we write G- v instead o... |

28 |
Domination on cocomparability graphs
- Kratsch, Stewart
- 1993
(Show Context)
Citation Context ...e, [29, 30, 31, 37, 46]. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, =-=[2, 6, 12, 13, 15, 25, 17, 34, 35, 40, 49]-=-. Our main result. We present fixed parameter tractability results for planar k-dominating set and related problems. Our main result is to prove a new and perhaps surprising structural relationship: W... |

26 |
On the complexity of covering vertices by faces in a planar graph
- Bienstock, Monma
- 1988
(Show Context)
Citation Context ...e the exponent of the exponential term is growing sublinearly. 3 Further contributions of our work. Our new method can also be used to significantly improve a known bound for the k-face cover problem =-=[7, 22, 45]-=-. The problem is defined as follows [22, 7, 45]: Given a plane graph G, i.e., a graph with a fixed embedding in the plane and a positive integer k, is there a set of at most k faces (also called disks... |

26 | A linear time algorithm for tree-decompositions of small treewidth - Bodlaender - 1996 |

25 |
On domination, independent domination numbers of a graph
- Allan, Laskar
- 1978
(Show Context)
Citation Context ...unately, according to the theory of parameterized complexity, it is very unlikely that the k-dominating set problem is fixed parameter tractable. On the contrary, it was 2 proven to be complete for W =-=[2] (see [20]-=-), a "complexity class of parameterized intractability" (refer to Downey and Fellows [22] for details). However, planar k-dominating set is fixed parameter tractable. This already easily fol... |

24 |
Faster exact solutions for hard problems: a parameterized point of view
- Alber, Gramm, et al.
- 2001
(Show Context)
Citation Context ...et is an interesting and promising research question. Fixed parameter tractability. Lately, it has become popular to cope with computational intractability in a di#erent way: parameterized complexity =-=[1, 22, 23, 24]. Here, th-=-e basic observation is that, for many hard problems, the seemingly inherent combinatorial explosion can be restricted to a "small part" of the input, the parameter. For instance, the k-verte... |

23 | Complexity of domination-type problems in graphs
- Telle
- 1994
(Show Context)
Citation Context ...set. The literature on dominating set problems in mathematics, computer science, and their applications (e.g., computational biology) is huge. Hence, we only refer to some surveys here, for instance, =-=[29, 30, 31, 37, 46]-=-. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, [2, 6, 12, 13, 15, 25, ... |

19 |
Practical algorithms on partial k-trees with an application to domination-like problems
- Telle, Proskurowski
- 1993
(Show Context)
Citation Context ...h G = (V, E), a property P , and a positive integer k, whether or not there exists a k-dominating set with property P . Examples for such problems are: . the k-independent dominating set problem, see =-=[47, 48]-=- or [22, p.464], where the property P (D) of the k-dominating set D is that D is independent, . the k-total dominating set problem, see [47, 48], where the property P (D) of the k-dominating set D is ... |

17 | Independent sets with domination constraints
- Halldórsson, Kratochvíl, et al.
(Show Context)
Citation Context ...perty P (D) of the k-dominating set D is that each vertex which is not in D has exactly one neighbor in D, . the k-perfect independent dominating set problem, also known as the k-perfect code problem =-=[22, 28, 47, 48]-=-, where the k-dominating set has to be perfect and independent, and . the k-total perfect dominating set problem [47, 48], where the kdominating set has to be total and perfect. For all these instance... |

16 |
Hochbaum (Ed.), Approximation Algorithms for NP-Hard Problems
- S
- 1997
(Show Context)
Citation Context |

15 |
A compendium of NP optimization problems. Available at: http://www.nada.kth.se/~viggo/problemlist
- P, Kann
(Show Context)
Citation Context |

14 | Memory requirements for table computations in partial k-tree algorithms. Algorithmica 27
- Aspvall, Proskurowski, et al.
- 2000
(Show Context)
Citation Context ...earlier in the algorithm. Also, note that, when bookkeeping how the minima in Step 2 were obtained, this algorithm constructs a dominating set D corresponding to #(G). # We remark that Aspvall et al. =-=[3]-=- addressed the memory requirement problem arising in the type of algorithms described above. They suggested a method to minimize the sum of the sizes of the tables that need to be stored simultaneousl... |

11 |
The complexity of domination problems in circle graphs
- Keil
- 1993
(Show Context)
Citation Context ...e, [29, 30, 31, 37, 46]. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, =-=[2, 6, 12, 13, 15, 25, 17, 34, 35, 40, 49]-=-. Our main result. We present fixed parameter tractability results for planar k-dominating set and related problems. Our main result is to prove a new and perhaps surprising structural relationship: W... |

11 |
Domination numbers of planar graphs
- MacGillivray, Seyarth
- 1996
(Show Context)
Citation Context ...set. The literature on dominating set problems in mathematics, computer science, and their applications (e.g., computational biology) is huge. Hence, we only refer to some surveys here, for instance, =-=[29, 30, 31, 37, 46]-=-. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, [2, 6, 12, 13, 15, 25, ... |

9 | Efficient algorithms for the domination problems on interval and circular-arc graphs
- Chang
- 1998
(Show Context)
Citation Context ...e, [29, 30, 31, 37, 46]. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, =-=[2, 6, 12, 13, 15, 25, 17, 34, 35, 40, 49]-=-. Our main result. We present fixed parameter tractability results for planar k-dominating set and related problems. Our main result is to prove a new and perhaps surprising structural relationship: W... |

9 |
Dominating sets in perfect graphs
- Corneil, Stewart
- 1990
(Show Context)
Citation Context |

9 | Deciding properties of locally tree-decomposable structures - Frick, Grohe |

8 |
The NPCompleteness of Steiner tree and dominating set for chordal bipartite graphs, Theoret
- Müller, Brandsädt
- 1987
(Show Context)
Citation Context |

5 |
Parameterized complexity after almost ten years: review and open questions
- Downey, Fellows
- 1999
(Show Context)
Citation Context ...et is an interesting and promising research question. Fixed parameter tractability. Lately, it has become popular to cope with computational intractability in a di#erent way: parameterized complexity =-=[1, 22, 23, 24]. Here, th-=-e basic observation is that, for many hard problems, the seemingly inherent combinatorial explosion can be restricted to a "small part" of the input, the parameter. For instance, the k-verte... |

5 |
Finding all minimum-size separating vertex sets in a graph. Networks
- Kanevsky
- 1993
(Show Context)
Citation Context ... and L i+2 directly, and use that set instead of S i as defined in the proof of Section 3.2. Such a minimum size separator can be computed with well known techniques based on maximum flow (see, e.g., =-=[33]-=-). Our algorithm proceeds in the following steps: 1. Embed the planar graph G = (V, E) crossing-free into the plane. Determine the outerplanarity number r of this embedding and all layers L 1 , . . . ... |

5 | Planar graphs: theory and applications - Nishizeki, Chiba - 1988 |

4 |
Prospects for graph theory algorithms
- Read
- 1993
(Show Context)
Citation Context ...e the exponent of the exponential term is growing sublinearly. 3 Further contributions of our work. Our new method can also be used to significantly improve a known bound for the k-face cover problem =-=[7, 22, 45]-=-. The problem is defined as follows [22, 7, 45]: Given a plane graph G, i.e., a graph with a fixed embedding in the plane and a positive integer k, is there a set of at most k faces (also called disks... |

3 | A general method to speed up algorithms - Niedermeier, Rossmanith - 2000 |

2 |
Domination in graphs: a brief overview
- Haynes
- 1997
(Show Context)
Citation Context ...set. The literature on dominating set problems in mathematics, computer science, and their applications (e.g., computational biology) is huge. Hence, we only refer to some surveys here, for instance, =-=[29, 30, 31, 37, 46]-=-. In particular, note that many papers have been published on domination problems for special graph classes [11] and/or variations of the fundamental problem, see, for example, [2, 6, 12, 13, 15, 25, ... |

2 | A linear time algorithm for the domination number of a series parallel graph - Tohru, Yoshida, et al. - 1993 |

1 |
E#cient dominating sets in spanning trees
- Barkausas
- 1994
(Show Context)
Citation Context |

1 |
Independent sets in AT-free graphs
- Broersma, Kloks, et al.
- 1997
(Show Context)
Citation Context |

1 |
A (2 + #)-approximation scheme for minimum domination on circle graphs
- Damian-Iordache, Pemmaraju
- 2000
(Show Context)
Citation Context |

1 |
Domination in claw-free graphs
- Dutton, Brigham
- 1998
(Show Context)
Citation Context |