scispace - formally typeset
Open AccessJournal ArticleDOI

On the complexity of covering vertices by faces in a planar graph

Daniel Bienstock, +1 more
- 01 Feb 1988 - 
- Vol. 17, Iss: 1, pp 53-76
TLDR
An algorithm is presented which given a graph G and a value k either determines that G is not k-planar or generates an appropriate embedding and associated minimum cover in O(c^k n) time, where c is a constant.
Abstract
The pair $(G,D)$ consisting of a planar graph $G = (V,E)$ with n vertices together with a subset of d special vertices $D \subseteq V$ is called k-planar if there is an embedding of G in the plane so that at most k faces of G are required to cover all of the vertices in D. Checking 1-planarity can be done in linear-time since it reduces to a problem of checking planarity of a related graph. We present an algorithm which given a graph G and a value k either determines that G is not k-planar or generates an appropriate embedding and associated minimum cover in $O(c^k n)$ time, where c is a constant. Hence, the algorithm runs in linear time for any fixed k. The fact that the time required by the algorithm grows exponentially in k is to be expected since we also show that for arbitrary k, the associated decision problem is strongly NP-complete, even when the planar graph has essentially a unique planar embedding, $d = \theta (n)$, and all facial cycles have bounded length. These results provide a polynomial-t...

read more

Citations
More filters
Journal ArticleDOI

A partial k -arboretum of graphs with bounded treewidth

TL;DR: This survey paper wants to give an overview of many classes of graphs that can be seen to have a uniform upper bound on the treewidth of graphs in the class.
Journal ArticleDOI

Steiner tree problems

TL;DR: A survey up to 1989 on the Steiner tree problems which include the four important cases of euclidean, rectilinear, graphic, phylogenetic and some of their generalizations.
Journal ArticleDOI

Fixed-Parameter Tractability and Completeness I: Basic Results

TL;DR: This paper establishes the main results of a completeness program which addresses the apparent fixed-parameter intractability of many parameterized problems and gives a compendium of currently known hardness results.

Fixed Parameter Tractability and Completeness.

TL;DR: It is shown that if Dominating Set is fixed-parameter tractable, then so are a variety of parameterized problems, such as Independent Set, and that for this problem, and for the problem of determining whether a graph has k disjoint cycles, it may take c = 1.
Journal ArticleDOI

Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs

TL;DR: An algorithm is presented that constructively produces a solution to the k -DOMINATING SET problem for planar graphs in time O(c^ \sqrt k n) where c=4^ 6\sqrt 34 and k is the size of the face cover set.
References
More filters
Journal ArticleDOI

Some simplified NP-complete graph problems

TL;DR: This paper shows that a number of NP - complete problems remain NP -complete even when their domains are substantially restricted, and determines essentially the lowest possible upper bounds on node degree for which the problems remainNP -complete.
Journal ArticleDOI

The Rectilinear Steiner Tree Problem is $NP$-Complete

TL;DR: The problem of determining the minimum length of an optimum rectilinear Steiner tree for a set A of points in the plane is shown to be NP-complete and the emphasis of the literature on heuristics and special case algorithms is well justified.
Journal ArticleDOI

Approximation algorithms for NP-complete problems on planar graphs

TL;DR: A general technique that can be used to obtain approximation algorithms for various NP-complete problems on planar graphs, which includes maximum independent set, maximum tile salvage, partition into triangles, maximum H-matching, minimum vertex cover, minimum dominating set, and minimum edge dominating set.
Journal ArticleDOI

Dividing a Graph into Triconnected Components

TL;DR: An algorithm for dividing a graph into triconnected components is presented and is both theoretically optimal to within a constant factor and efficient in practice.