A near-tight approximation lower bound and algorithm for the kidnapped robot problem

  • Authors:
  • Sven Koenig;Apurva Mudgal;Craig Tovey

  • Affiliations:
  • University of Southern California;College of Computing, Georgia Tech;College of Computing, Georgia Tech

  • Venue:
  • SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Localization is a fundamental problem in robotics. The 'kidnapped robot' possesses a compass and map of its environment; it must determine its location at a minimum cost of travel distance. The problem is NP-hard [6] even to minimize within factor c log n[21], where n is the number of vertices. No approximation algorithm has been known. We give a O(log3 n)-factor algorithm. The key idea is to plan travel in a 'majority-rule' map, which eliminates uncertainty and permits a link to the 1/2-Group Steiner (not Group Steiner) problem. The approximation factor is not far from optimal: we prove a c log2-ε n lower bound, assuming NP ⊈ ZTIME(npolylog(n)), for the grid graphs commonly used in practice. We also introduce a new hypothesis equivalence decomposition of the plane, built from pairs of aspect graph duals, in order to extend the algorithm to polygonal maps.