2026-09-29T01:10:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10030 2026-09-22T15:17:15Z ddc:004 open_access

A Framework for Searching in Graphs in the Presence of Errors Dereniowski, Dariusz Tiegel, Stefan Uznanski, Przemyslaw Wolleb-Graf, Daniel graph algorithms noisy binary search query complexity reliability We consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide algorithms for the error-less case and for the independent noise model (where each query independently receives an erroneous answer with known probability p<1/2 and a correct one with probability 1-p). We study this problem both with adversarial errors and independent noise models. First, we show an algorithm that needs at most (log_2 n)/(1 - H(r)) queries in case of adversarial errors, where the adversary is bounded with its rate of errors by a known constant r<1/2. Our algorithm is in fact a simplification of previous work, and our refinement lies in invoking an amortization argument. We then show that our algorithm coupled with a Chernoff bound argument leads to a simpler algorithm for the independent noise model and has a query complexity that is both simpler and asymptotically better than the one of Emamjomeh-Zadeh et al. [STOC 2016]. Our approach has a wide range of applications. First, it improves and simplifies the Robust Interactive Learning framework proposed by Emamjomeh-Zadeh and Kempe [NIPS 2017]. Secondly, performing analogous analysis for edge-queries (where a query to an edge e returns its endpoint that is closer to the target) we actually recover (as a special case) a noisy binary search algorithm that is asymptotically optimal, matching the complexity of Feige et al. [SIAM J. Comput. 1994]. Thirdly, we improve and simplify upon an algorithm for searching of unbounded domains due to Aslam and Dhagat [STOC 1991]. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dariusz Dereniowski and Stefan Tiegel and Przemyslaw Uznanski and Daniel Wolleb-Graf 2019 Is Part Of OASIcs, Volume 69, 2nd Symposium on Simplicity in Algorithms (SOSA 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SOSA.2019.4 urn:nbn:de:0030-drops-100305 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SOSA.2019.4 eng https://creativecommons.org/licenses/by/3.0/legalcode