Polynomial-time approximation schemes for geometric graphs

A disk graph is the intersection graph of a set of disks with arbitrary diameters in the plane. For the case that the disk representation is given, we present polynomial-time approximation schemes (PTASs) for the maximum weight independent set problem (selecting disjoint disks of maximum total weight) and for the minimum weight vertex cover problem in disk graphs. These are the first known PTASs for NP-hard optimization problems on disk graphs. They are based on a novel recursive subdivision of the plane that allows applying a shifting strategy on different levels simultaneously, so that a dynamic programming approach becomes feasible. The PTASs for disk graphs represent a common generalization of previous results for planar graphs and unit disk graphs. They can be extended to intersection graphs of other “disk-like” geometric objects (such as squares or regular polygons), also in higher dimensions.

[1]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[2]  Reuven Bar-Yehuda,et al.  A Local-Ratio Theorem for Approximating the Weighted Vertex Cover Problem , 1983, WG.

[3]  Brenda S. Baker,et al.  Approximation algorithms for NP-complete problems on planar graphs , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[4]  Wolfgang Maass,et al.  Approximation schemes for covering and packing problems in image processing and VLSI , 1985, JACM.

[5]  F. McMorris,et al.  Topics in Intersection Graph Theory , 1987 .

[6]  A. Brandstädt,et al.  Graph Classes: A Survey , 1987 .

[7]  Charles J. Colbourn,et al.  Unit disk graphs , 1991, Discret. Math..

[8]  Harry B. Hunt,et al.  Simple heuristics for unit disk graphs , 1995, Networks.

[9]  J. Håstad Clique is hard to approximate within n 1-C , 1996 .

[10]  Johan Håstad,et al.  Clique is hard to approximate within n/sup 1-/spl epsiv// , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[11]  Jan Kratochvíl Intersection Graphs of Noncrossing Arc-Connected Sets in the Plane , 1996, Graph Drawing.

[12]  Ewa Malesinska Graph-Theoretical Models for Frequency Assignment Problems , 1997 .

[13]  Johan Håstad,et al.  Some optimal inapproximability results , 1997, STOC '97.

[14]  Subhash Suri,et al.  Label placement by maximum independent set in rectangles , 1998, CCCG.

[15]  Madhav V. Marathe,et al.  Map labeling and its generalizations , 1997, SODA '97.

[16]  Harry B. Hunt,et al.  NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs , 1998, J. Algorithms.

[17]  Alexander Wolff,et al.  Point labeling with sliding labels , 1999, Comput. Geom..

[18]  Lars Engebretsen,et al.  Clique Is Hard To Approximate Within , 2000 .

[19]  Madhav V. Marathe,et al.  Point set labeling with specified positions , 1999, SCG '00.

[20]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.