Searching with Permanently Faulty Tests

Andrzej Pelc1
1 Département d’Informatique Université du Québec 4 Hull C.P. 1250, succursale “B” Hull, Québec J8X 3X7, Canada

Abstract

We investigate searching strategies for the set \(\{1, \ldots, n\}\) assuming a fixed bound on the number of erroneous answers and forbidding repetition of questions. This setting models the situation when different processors provide answers to different tests and at most \(k\) processors are faulty. We show for what values of \(k\) the search is feasible and provide optimal testing strategies if at most one unit is faulty.