{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article16495","name":"An Almost Optimal Algorithm for Unbounded Search with Noisy Information","abstract":"Given a sequence of integers, \ud835\udcae = s\u2081, s\u2082,\u2026 in ascending order, called the search domain, and an integer t, called the target, the predecessor problem asks for the target index N such that s_N is the largest integer in \ud835\udcae satisfying s_N \u2264 t. We consider solving the predecessor problem with the least number of queries to a binary comparison oracle. For each query index i, the oracle returns whether s_i \u2264 t or s_i > t. In particular, we study the predecessor problem under the UnboundedNoisy setting, where (i) the search domain \ud835\udcae is unbounded, i.e., n = |\ud835\udcae| is unknown or infinite, and (ii) the binary comparison oracle is noisy. We denote the former setting by Unbounded and the latter by Noisy. In Noisy, the oracle, for each query, independently returns a wrong answer with a fixed constant probability 0 < p < 1\/2. In particular, even for two queries on the same index i, the answers from the oracle may be different. Furthermore, with a noisy oracle, the goal is to correctly return the target index with probability at least 1- Q, where 0 < Q < 1\/2 is the failure probability.\r\nOur first result is an algorithm, called NoS, for Noisy that improves the previous result by Ben-Or and Hassidim [FOCS 2008] from an expected query complexity bound to a worst-case bound. We also achieve an expected query complexity bound, whose leading term has an optimal constant factor, matching the lower bound of Ben-Or and Hassidim. Building on NoS, we propose our NoSU algorithm, which correctly solves the predecessor problem in the UnboundedNoisy setting. We prove that the query complexity of NoSU is \u2211_{i = 1}^k (log^{(i)} N) \/(1-H(p))+ o(log N) when log Q^{-1} \u2208 o(log N), where N is the target index, k = log^* N, the iterated logarithm, and H(p) is the entropy function. This improves the previous bound of O(log (N\/Q) \/ (1-H(p))) by reducing the coefficient of the leading term from a large constant to 1. Moreover, we show that this upper bound can be further improved to (1 - Q) \u2211_{i = 1}^k (log^{(i)} N) \/(1-H(p))+ o(log N) in expectation, with the constant in the leading term reduced to 1 - Q. Finally, we show that an information-theoretic lower bound on the expected query cost of the predecessor problem in UnboundedNoisy is at least (1 - Q)(\u2211_{i = 1}^k log^{(i)} N - 2k)\/(1-H(p)) - 10. This implies the constant factor in the leading term of our expected upper bound is indeed optimal.","keywords":["Fault-tolerant search","noisy binary search","query complexity"],"author":[{"@type":"Person","name":"Gan, Junhao","givenName":"Junhao","familyName":"Gan","email":"mailto:junhao.gan@unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0001-9101-1503","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"J.G. is supported in part by Australian Research Council (ARC) Discovery Early Career Researcher Award (DECRA) DE190101118."},{"@type":"Person","name":"Wirth, Anthony","givenName":"Anthony","familyName":"Wirth","email":"mailto:awirth@unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0003-3746-6704","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"A.W. is supported by the Faculty of Engineering and Information Technology at The University of Melbourne."},{"@type":"Person","name":"Zhang, Xin","givenName":"Xin","familyName":"Zhang","email":"mailto:xinz11@student.unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0001-5411-4968","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"X. Z.\u2019s research is supported by an Australian Government Research Training Program (RTP) Scholarship."}],"position":25,"pageStart":"25:1","pageEnd":"25:15","dateCreated":"2022-06-22","datePublished":"2022-06-22","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Gan, Junhao","givenName":"Junhao","familyName":"Gan","email":"mailto:junhao.gan@unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0001-9101-1503","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"J.G. is supported in part by Australian Research Council (ARC) Discovery Early Career Researcher Award (DECRA) DE190101118."},{"@type":"Person","name":"Wirth, Anthony","givenName":"Anthony","familyName":"Wirth","email":"mailto:awirth@unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0003-3746-6704","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"A.W. is supported by the Faculty of Engineering and Information Technology at The University of Melbourne."},{"@type":"Person","name":"Zhang, Xin","givenName":"Xin","familyName":"Zhang","email":"mailto:xinz11@student.unimelb.edu.au","sameAs":"https:\/\/orcid.org\/0000-0001-5411-4968","affiliation":"School of Computing and Information Systems, The University of Melbourne, Australia","funding":"X. Z.\u2019s research is supported by an Australian Government Research Training Program (RTP) Scholarship."}],"copyrightYear":"2022","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SWAT.2022.25","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/abs\/2107.05753","http:\/\/arxiv.org\/abs\/1804.02075"],"isPartOf":{"@type":"PublicationVolume","@id":"#volume6430","volumeNumber":227,"name":"18th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2022)","dateCreated":"2022-06-22","datePublished":"2022-06-22","editor":[{"@type":"Person","name":"Czumaj, Artur","givenName":"Artur","familyName":"Czumaj","email":"mailto:A.Czumaj@warwick.ac.uk","sameAs":"https:\/\/orcid.org\/0000-0002-7743-438X","affiliation":"University of Warwick, UK"},{"@type":"Person","name":"Xin, Qin","givenName":"Qin","familyName":"Xin","email":"mailto:QinX@setur.fo","sameAs":"https:\/\/orcid.org\/0000-0002-6178-8538","affiliation":"University of the Faroe Islands, T\u00f3rshavn, Faroe Islands"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article16495","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6430"}}}