Approximation bounds for Black Hole Search problems

  • Authors:
  • Ralf Klasing;Euripides Markou;Tomasz Radzik;Fabiano Sarracco

  • Affiliations:
  • LaBRI - Université Bordeaux 1 - CNRS, 351 cours de la Libération, 33405 Talence Cedex, France;School of Computational Engineering & Science, McMaster University, 1280 Main St. West, Hamilton, Ontario L8S 4K1, Canada;Department of Computer Science, King's College London, London, WC2R 2LS, United Kingdom;DIS - Dipartimento di Informatica e Sistemistica, CTL - Centro di ricerca per il Trasporto e la Logistica, Sapienza - Università di Roma

  • Venue:
  • Networks
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

A black hole is a highly harmful stationary process residing in a node of a network and destroying all mobile agents visiting the node without leaving any trace. The Black Hole Search is the task of locating all black holes in a network, through the exploration of its nodes by a set of mobile agents. In this article we consider the problem of designing the fastest Black Hole Search, given the map of the network, the starting node and a subset of nodes of the network initially known to be safe. We study the version of this problem that assumes that there is at most one black hole in the network and there are two agents, which move in synchronized steps. We prove that this problem is not polynomial-time approximable within any constant factor less than $389 \over 388$ (unless P = NP). We give a 6-approximation algorithm, thus improving on the 9.3-approximation algorithm from (Czyzowicz et al., Fundamenta Informaticae 71 (2006), 229–242). We also prove APX-hardness for a restricted version of the problem, in which only the starting node is initially known to be safe. © 2008 Wiley Periodicals, Inc. NETWORKS, 2008 Part of this work was done while E. Markou, T. Radzik and F. Sarracco were visiting the LaBRI (Laboratoire Bordelais de Recherche en Informatique) in Bordeaux.