Discovery of Network Properties with All-Shortest-Paths Queries

  • Authors:
  • Davide Bilò;Thomas Erlebach;Matúš Mihalák;Peter Widmayer

  • Affiliations:
  • Institute of Theoretical Computer Science, ETH Zurich, Switzerland;Department of Computer Science, University of Leicester, United Kingdom;Institute of Theoretical Computer Science, ETH Zurich, Switzerland;Institute of Theoretical Computer Science, ETH Zurich, Switzerland

  • Venue:
  • SIROCCO '08 Proceedings of the 15th international colloquium on Structural Information and Communication Complexity
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the problem of discovering properties (such as the diameter) of an unknown network G(V,E) with a minimum number of queries. Initially, only the vertex set Vof the network is known. Information about the edges and non-edges of the network can be obtained by querying nodes of the network. A query at a node q茂戮驴 Vreturns the union of all shortest paths from qto all other nodes in V. We study the problem as an online problem --- an algorithm does not initially know the edge set of the network, and has to decide where to make the next query based on the information that was gathered by previous queries. We study how many queries are needed to discover the diameter, a minimal dominating set, a maximal independent set, the minimum degree, and the maximum degree of the network. We also study the problem of deciding with a minimum number of queries whether the network is 2-edge or 2-vertex connected. We use the usual competitive analysis to evaluate the quality of online algorithms, i.e., we compare online algorithms with optimum offline algorithms. For all properties except maximal independent set and 2-vertex connectivity we present and analyze online algorithms. Furthermore we show, for all the aforementioned properties, that "many" queries are needed in the worst case. As our query model delivers more information about the network than the measurement heuristics that are currently used in practise, these negative results suggest that a similar behavior can be expected in realistic settings, or in more realistic models derived from the all-shortest-paths query model.