Generalization of binary search: Searching in trees and forest-like partial orders

K Onak, P Parys - 2006 47th Annual IEEE Symposium on …, 2006 - ieeexplore.ieee.org
2006 47th Annual IEEE Symposium on Foundations of Computer Science …, 2006ieeexplore.ieee.org
We extend the binary search technique to searching in trees. We consider two models of
queries: questions about vertices and questions about edges. We present a general
approach to this sort of problem, and apply it to both cases, achieving algorithms
constructing optimal decision trees. In the edge query model the problem is identical to the
problem of searching in a special class of tree-like posets stated by Ben-Asher et al.(1999).
Our upper bound on computation time, O (n 3), improves the previous best known O (n 4 log …
We extend the binary search technique to searching in trees. We consider two models of queries: questions about vertices and questions about edges. We present a general approach to this sort of problem, and apply it to both cases, achieving algorithms constructing optimal decision trees. In the edge query model the problem is identical to the problem of searching in a special class of tree-like posets stated by Ben-Asher et al. (1999). Our upper bound on computation time, O(n3 ), improves the previous best known O(n4 log3n). In the vertex query model we show how to compute an optimal strategy much faster, in O(n) steps. We also present an almost optimal approximation algorithm for another class of tree-like (and forest-like) partial orders
ieeexplore.ieee.org