Least adaptive optimal search with unreliable tests

• Authors: Ferdinando Cicalese;Daniele Mundici;Ugo Vaccaro
• Venue: Theoretical Computer Science
• Year: 2002

We consider the basic problem of searching for an unknown m-bit number by asking the minimum possible number of yes-no questions, when up to a finite number e of the answers may be erroneous. In case the (i+1)th question is adaptively asked after receiving the answer to the ith question, the problem was posed by Ulam and R&ényi and is strictly related to Berlekamp's theory of error correcting communication with noiseless feedback. Conversely, in the fully non-adaptive model when all questions are asked before knowing any answer, the problem amounts to finding a shortest e-error correcting code. Let qe(m) be the smallest integer q satisfying Berlekamp's bound i=0e()2qm. Then at least qe(m) questions are necessary, in the adaptive, as well as in the non-adaptive model. In the fully adaptive case, optimal searching strategies using exactly qe(m) questions always exist up to finitely many exceptional m's. At the opposite non-adaptive case, searching strategies with exactly qe(m) questions or equivalently, e-error correcting codes with 2m codewords of length qe(m)---are rather the exception, already for e=2, and are generally not known to exist for e2. In this paper, for each e1 and all sufficiently large m, we exhibit searching strategies that use a first batch of m non-adaptive questions and then, only depending on the answers to these m questions, a second batch of qe(m)m non-adaptive questions. These strategies are automatically optimal. Since even in the fully adaptive case, qe(m)1 questions do not suffice to find the unknown number, and qe(m) questions generally do not suffice in the non-adaptive case, the results of our paper provide e, fault tolerant searching strategies with minimum adaptiveness and minimum number of tests.