Optimal patrolling of fragmented boundaries

  • Authors:
  • Andrew Collins;Jurek Czyzowicz;Leszek Gasieniec;Adrian Kosowski;Evangelos Kranakis;Danny Krizanc;Russell Martin;Oscar Morales Ponce

  • Affiliations:
  • University of Liverpool, Liverpool, United Kingdom;Université du Québec en Outaouais, Ottawa, Canada;University of Liverpool, Liverpool, United Kingdom;Inria Bordeaux Sud-Ouest, Bordeaux, France;Carleton University, Ottawa, Canada;Wesleyan University, Middletown, CT, USA;University of Liverpool, Liverpool, United Kingdom;Chalmers University of Technology, Gothenburg, Sweden

  • Venue:
  • Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

A set of mobile robots is deployed on a simple curve of finite length, composed of a finite set of vital segments separated by neutral segments. The robots have to patrol the vital segments by perpetually moving on the curve, without exceeding their uniform maximum speeds. The quality of patrolling is measured by the idleness, i.e., the longest time period during which any vital point on the curve is not visited by any robot. Given a configuration of vital segments, our goal is to provide algorithms describing the movement of the robots along the curve so as to minimize the idleness. Our main contribution is a proof that the optimal solution to the patrolling problem is attained either by the cyclic strategy, in which all the robots move in one direction around the curve, or by the partition strategy, in which the curve is partitioned into sections which are patrolled separately by individual robots. These two fundamental types of strategies were studied in the past in the robotics community in different theoretical and experimental settings. However, to our knowledge, this is the first theoretical analysis proving optimality in such a general scenario. Throughout the paper we assume that all robots have the same maximum speed. In fact, the claim is known to be invalid when this assumption does not hold, cf. [Czyzowicz et al., Proc. ESA 2011].