Graph Connectivity with Noisy Queries

Authors Dimitris Fotakis , Evangelia Gergatsouli , Charilaos Pipis , Miltiadis Stouras , Christos Tzamos



PDF
Thumbnail PDF

File

LIPIcs.MFCS.2023.47.pdf
  • Filesize: 0.95 MB
  • 14 pages

Document Identifiers

Author Details

Dimitris Fotakis
  • National Technical University of Athens, Greece
Evangelia Gergatsouli
  • University of Wisconsin-Madison, WI, USA
Charilaos Pipis
  • National Technical University of Athens, Greece
Miltiadis Stouras
  • École Polytechnique Fédérale de Lausanne, Switzerland
Christos Tzamos
  • University of Wisconsin-Madison, WI, USA
  • University of Athens, Greece

Cite As Get BibTex

Dimitris Fotakis, Evangelia Gergatsouli, Charilaos Pipis, Miltiadis Stouras, and Christos Tzamos. Graph Connectivity with Noisy Queries. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 272, pp. 47:1-47:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/LIPIcs.MFCS.2023.47

Abstract

Graph connectivity is a fundamental combinatorial optimization problem that arises in many practical applications, where usually a spanning subgraph of a network is used for its operation. However, in the real world, links may fail unexpectedly deeming the networks non-operational, while checking whether a link is damaged is costly and possibly erroneous. After an event that has damaged an arbitrary subset of the edges, the network operator must find a spanning tree of the network using non-damaged edges by making as few checks as possible.
Motivated by such questions, we study the problem of finding a spanning tree in a network, when we only have access to noisy queries of the form "Does edge e exist?". We design efficient algorithms, even when edges fail adversarially, for all possible error regimes; 2-sided error (where any answer might be erroneous), false positives (where "no" answers are always correct) and false negatives (where "yes" answers are always correct). In the first two regimes we provide efficient algorithms and give matching lower bounds for general graphs. In the False Negative case we design efficient algorithms for large interesting families of graphs (e.g. bounded treewidth, sparse). Using the previous results, we provide tight algorithms for the practically useful family of planar graphs in all error regimes.

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • algorithms under uncertainty
  • graph connectivity
  • spanning tree
  • noisy queries
  • online algorithms
  • stochastic optimization

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Aditya Bhaskara, Sreenivas Gollapudi, Kostas Kollias, and Kamesh Munagala. Adaptive probing policies for shortest path routing. In Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020. URL: https://proceedings.neurips.cc/paper/2020/hash/62da5a6d47be0029801ba74a17e47e1a-Abstract.html.
  2. Béla Bollobás, Paul A Catlin, and Paul Erdös. Hadwiger’s conjecture is true for almost every graph. Eur. J. Comb., 1(3):195-199, 1980. Google Scholar
  3. Thomas Erlebach and Michael Hoffmann. Minimum spanning tree verification under uncertainty. In Dieter Kratsch and Ioan Todinca, editors, Graph-Theoretic Concepts in Computer Science - 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers, volume 8747 of Lecture Notes in Computer Science, pages 164-175. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-12340-0_14.
  4. Uriel Feige, Prabhakar Raghavan, David Peleg, and Eli Upfal. Computing with noisy information. SIAM Journal on Computing, 23(5):1001-1018, 1994. URL: https://doi.org/10.1137/S0097539791195877.
  5. Luoyi Fu, Xinzhe Fu, Zhiying Xu, Qianyang Peng, Xinbing Wang, and Songwu Lu. Determining source-destination connectivity in uncertain networks: Modeling and solutions. IEEE/ACM Trans. Netw., 25(6):3237-3252, 2017. URL: https://doi.org/10.1109/TNET.2017.2725905.
  6. Luoyi Fu, Xinbing Wang, and P. R. Kumar. Optimal determination of source-destination connectivity in random graphs. In Jie Wu, Xiuzhen Cheng, Xiang-Yang Li, and Saswati Sarkar, editors, The Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc'14, Philadelphia, PA, USA, August 11-14, 2014, pages 205-214. ACM, 2014. URL: https://doi.org/10.1145/2632951.2632990.
  7. Michael Hoffmann, Thomas Erlebach, Danny Krizanc, Matús Mihalák, and Rajeev Raman. Computing minimum spanning trees with uncertainty. In Susanne Albers and Pascal Weil, editors, STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, volume 1 of LIPIcs, pages 277-288. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. URL: https://doi.org/10.4230/LIPIcs.STACS.2008.1358.
  8. Alexandr V. Kostochka. Lower bound of the hadwiger number of graphs by their average degree. Combinatorica, 4(4):307-316, 1984. Google Scholar
  9. Don R. Lick and Arthur T. White. k-degenerate graphs. Canadian Journal of Mathematics, 22(5):1082-1096, 1970. URL: https://doi.org/10.4153/CJM-1970-125-1.
  10. László Lovász. Graph minor theory. Bulletin of the American Mathematical Society, 43(1):75-86, 2006. Google Scholar
  11. Jianhua Lyu, Yiran Ren, Zeeshan Abbas, and Baili Zhang. Reliable route selection for wireless sensor networks with connection failure uncertainties. Sensors, 21(21):7254, 2021. URL: https://doi.org/10.3390/s21217254.
  12. Arya Mazumdar and Barna Saha. Clustering with noisy queries. In I. Guyon, U. Von Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, editors, Advances in Neural Information Processing Systems, volume 30. Curran Associates, Inc., 2017. URL: https://proceedings.neurips.cc/paper/2017/file/db5cea26ca37aa09e5365f3e7f5dd9eb-Paper.pdf.
  13. Neil Robertson and Paul D Seymour. Graph minors. III. planar tree-width. Journal of Combinatorial Theory, Series B, 36(1):49-64, 1984. Google Scholar
  14. Frank R. Schmidt, Eno Töppe, and Daniel Cremers. Efficient planar graph cuts with applications in computer vision. In 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2009), 20-25 June 2009, Miami, Florida, USA, pages 351-356. IEEE Computer Society, 2009. URL: https://doi.org/10.1109/CVPR.2009.5206863.
  15. Julian Yarkony and Charless C. Fowlkes. Planar ultrametrics for image segmentation. In Corinna Cortes, Neil D. Lawrence, Daniel D. Lee, Masashi Sugiyama, and Roman Garnett, editors, Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pages 64-72, 2015. URL: https://proceedings.neurips.cc/paper/2015/hash/3416a75f4cea9109507cacd8e2f2aefc-Abstract.html.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail