Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Optimal search in trees

Conference ·
OSTI ID:471732
;  [1];  [2]
  1. Haifa Univ. (Israel)
  2. IBM Research Center, Haifa (Israel)

It is well known that the optimal solution for searching in a finite total order set is the binary search. In binary search we divide the set into two {open_quotes}halves{close_quotes}, by querying the middle element, and continue the search on the suitable half. What is the equivalent of binary search, when the set P is partially ordered? A query in this case is to a point x {element_of} P, with two possible answers:{open_quote}yes{close_quote}, indicates that the required element is {open_quotes}below{close_quotes} x, or {open_quote}no{close_quote} if the element is not bellow x. We show that the problem of computing an optimal strategy for search in Posets that are tree-like (or forests) is polynomial in the size of the tree, and requires at most O(n{sup 2} log{sup 2} n) steps. Optimal solutions of such search problems are often needed in program testing and debugging, where a given program is represented as a tree and a bug should be found using a minimal set of queries.

OSTI ID:
471732
Report Number(s):
CONF-970142--
Country of Publication:
United States
Language:
English

Similar Records

Improving minimum cost spanning trees by upgrading nodes
Technical Report · Sat Oct 31 23:00:00 EST 1998 · OSTI ID:677151

Sequential and parallel subquadratic work algorithms for constructing approximately optimal binary search trees
Conference · Mon Dec 30 23:00:00 EST 1996 · OSTI ID:416783

Approximations for generalized bilevel programming problem
Conference · Fri Dec 30 23:00:00 EST 1994 · OSTI ID:36302