Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Public Access

Graph Reconstruction and Verification

Published: 09 August 2018 Publication History

Abstract

How efficiently can we find an unknown graph using distance or shortest path queries between its vertices? We assume that the unknown graph G is connected, unweighted, and has bounded degree. In the reconstruction problem, the goal is to find the graph G. In the verification problem, we are given a hypothetical graph Ĝ and want to check whether G is equal to Ĝ.
We provide a randomized algorithm for reconstruction using Õ(n3/2) distance queries, based on Voronoi cell decomposition. Next, we analyze natural greedy algorithms for reconstruction using a shortest path oracle and also for verification using either oracle, and show that their query complexity is n1+o(1). We further improve the query complexity when the graph is chordal or outerplanar. Finally, we show some lower bounds, and consider an approximate version of the reconstruction problem.

References

[1]
Mikkel Abrahamsen, Greg Bodwin, Eva Rotenberg, and Morten Stöckel. 2016. Graph reconstruction with a betweenness oracle. In 33rd Symposium on Theoretical Aspects of Computer Science (STACS'16), Nicolas Ollinger and Heribert Vollmer (Eds.). Vol. 47. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
[2]
Dimitris Achlioptas, Aaron Clauset, David Kempe, and Cristopher Moore. 2009. On the bias of traceroute sampling: Or, power-law degree distributions in regular graphs. J. ACM 56, 4, Article 21 (2009), 21:1--21:28.
[3]
Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihal’ak, and L. Shankar Ram. 2006. Network discovery and verification. IEEE J. Sel. Areas Commun. 24, 12 (2006), 2168--2181.
[4]
Jean R. S. Blair and Barry Peyton. 1993. An introduction to chordal graphs and clique trees. In Graph Theory and Sparse Matrix Computation. Springer, 1--29.
[5]
Rui Castro, Mark Coates, Gang Liang, Robert Nowak, and Bin Yu. 2004. Network tomography: Recent developments. Statist. Sci. 19 (2004), 499--517.
[6]
Gary Chartrand and Frank Harary. 1967. Planar permutation graphs. Ann. l’Institut Henri Poincaré (B) Prob. Statist. 3, 4 (1967), 433--438.
[7]
F. Chung, M. Garrett, R. Graham, and D. Shallcross. 2001. Distance realization problems with applications to internet tomography. J. Comput. Syst. Sci. 63 (2001), 432--448.
[8]
Luca Dall’Asta, Ignacio Alvarez-Hamelin, Alain Barrat, Alexei Vázquez, and Alessandro Vespignani. 2006. Exploring networks with traceroute-like probes: Theory and simulations. Theor. Comput. Sci. 355, 1 (2006), 6--24.
[9]
Jotun J. Hein. 1989. An optimal algorithm to reconstruct trees from additive distance data. Bull. Math. Biol. 51, 5 (1989), 597--603.
[10]
Shinichi Honiden, Michael E. Houle, and Christian Sommer. 2009. Balancing graph voronoi diagrams. In International Symposium on Voronoi Diagrams. IEEE, 183--191.
[11]
David S. Johnson. 1974. Approximation algorithms for combinatorial problems. J. Comput. Syst. Sci. 9, 3 (1974), 256--278.
[12]
Sampath Kannan, Claire Mathieu, and Hang Zhou. 2015. Near-linear query complexity for graph inference. In International Colloquium on Automata, Languages and Programming. Springer, 773--784.
[13]
Valerie King, Li Zhang, and Yunhong Zhou. 2003. On the complexity of distance-based evolutionary tree reconstruction. In Symposium on Discrete Algorithms. SIAM, 444--453.
[14]
Claire Mathieu and Hang Zhou. 2013. Graph reconstruction via distance oracles. In International Colloquium on Automata, Languages and Programming. Springer, 733--744.
[15]
Brendan D. McKay and Nicholas C. Wormald. 1991. Asymptotic enumeration by degree sequence of graphs with degrees . Combinatorica 11, 4 (1991), 369--382.
[16]
Bruce A. Reed. 2003. Algorithmic aspects of tree width. In Recent Advances in Algorithms and Combinatorics. Springer, 85--107.
[17]
Lev Reyzin and Nikhil Srivastava. 2007. Learning and verifying graphs using queries with a focus on edge counting. In Algorithmic Learning Theory. Springer, 285--297.
[18]
Sandeep Sen and V. N. Muralidhara. 2010. The covert set-cover problem with application to network discovery. In International Workshop on Algorithms and Computation. Springer, 228--239.
[19]
Fabien Tarissan, Matthieu Latapy, and Christophe Prieur. 2009. Efficient measurement of complex networks using link queries. In INFOCOM Workshops. IEEE, 254--259.
[20]
Mikkel Thorup and Uri Zwick. 2001. Compact routing schemes. In Symposium on Parallel Algorithms and Architectures. ACM, 1--10.
[21]
Michael S. Waterman, Temple F. Smith, M. Singh, and W. A. Beyer. 1977. Additive evolutionary trees. J. Theor. Biol. 64, 2 (1977), 199--213.

Cited By

View all
  • (2023)Distributed Multicast Traffic Engineering for Multi-Domain Software-Defined NetworksIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2022.320521934:2(446-462)Online publication date: 1-Feb-2023
  • (2023)Reconfiguration Scheme Design of DRDES based on Simulated Annealing Algorithm2023 China Automation Congress (CAC)10.1109/CAC59555.2023.10450736(1079-1084)Online publication date: 17-Nov-2023
  • (2023)Reconstructing Graphs from Connected TriplesGraph-Theoretic Concepts in Computer Science10.1007/978-3-031-43380-1_2(16-29)Online publication date: 28-Jun-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Algorithms
ACM Transactions on Algorithms  Volume 14, Issue 4
October 2018
445 pages
ISSN:1549-6325
EISSN:1549-6333
DOI:10.1145/3266298
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 August 2018
Accepted: 01 March 2018
Revised: 01 October 2017
Received: 01 February 2017
Published in TALG Volume 14, Issue 4

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Reconstruction
  2. network tomography
  3. verification

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

  • French Agence Nationale de la Recherche
  • Lise Meitner Award Fellowship
  • NSF

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)318
  • Downloads (Last 6 weeks)43
Reflects downloads up to 30 Aug 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Distributed Multicast Traffic Engineering for Multi-Domain Software-Defined NetworksIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2022.320521934:2(446-462)Online publication date: 1-Feb-2023
  • (2023)Reconfiguration Scheme Design of DRDES based on Simulated Annealing Algorithm2023 China Automation Congress (CAC)10.1109/CAC59555.2023.10450736(1079-1084)Online publication date: 17-Nov-2023
  • (2023)Reconstructing Graphs from Connected TriplesGraph-Theoretic Concepts in Computer Science10.1007/978-3-031-43380-1_2(16-29)Online publication date: 28-Jun-2023
  • (2023)A simple algorithm for graph reconstructionRandom Structures & Algorithms10.1002/rsa.2114363:2(512-532)Online publication date: 16-Feb-2023
  • (2022)A divide-and-conquer approach for reconstruction of {C ≥5}-free graphs via betweenness queriesTheoretical Computer Science10.1016/j.tcs.2022.03.008917:C(1-11)Online publication date: 25-May-2022
  • (2021)Unifying Node Labels, Features, and Distances for Deep Network CompletionEntropy10.3390/e2306077123:6(771)Online publication date: 18-Jun-2021
  • (2021)Parallel Network Mapping AlgorithmsProceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3409964.3461822(410-413)Online publication date: 6-Jul-2021
  • (2021)Reconstruction and verification of chordal graphs with a distance oracleTheoretical Computer Science10.1016/j.tcs.2021.01.006859(48-56)Online publication date: Mar-2021
  • (2021)Algorithms that Access the Input via QueriesSOFSEM 2021: Theory and Practice of Computer Science10.1007/978-3-030-67731-2_1(3-12)Online publication date: 25-Jan-2021
  • (2020)The Inverse Voronoi Problem in Graphs I: HardnessAlgorithmica10.1007/s00453-020-00716-482:10(3018-3040)Online publication date: 1-Oct-2020

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media