Theory and application of width bounded geometric separators

  • Authors:
  • Bin Fu

  • Affiliations:
  • Department of Computer Science, University of Texas-Pan American, Edinburg, TX 78539, USA

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We introduce the notion of the width bounded geometric separator and develop the techniques for the existence of the width bounded separator in any fixed d-dimensional Euclidean space. The separator is applied in obtaining 2^O^(^n^) time exact algorithms for a class of NP-complete geometric problems, whose previous algorithms take n^O^(^n^) time. One of those problems is the well-known disk covering problem, which seeks to determine the minimal number of fixed size disks to cover n points on a plane. They also include some NP-hard problems on disk graphs such as the maximum independent set problem, the vertex cover problem, and the minimum dominating set problem. For a constant a0 and a set of points Q on the plane, an a-wide separator is the region between two parallel lines of distance a that partitions Q into Q"1 (on the left side of the region), S (inside the region), and Q"2 (on the right side of the region). If the distance is at least one between every two points in the set Q with n points, there is an a-wide separator that partitions Q into Q"1, S and Q"2 such that |Q"1|,|Q"2|=