U. Faigle, L. Lovasz, R. Schrader, Gy Turan

Research output: Contribution to journalArticle

17 Citations (Scopus)


N. Linial and M. E. Saks have shown that O(log N) evaluations of an order preserving map, f maps P onto the real numbers, are necessary and sufficient to determine whether alpha is an element of f(P), where N is the number of ideals of P and alpha is a given real number. In this paper, we investigate the problem of how to perform the evaluations so that Linial and Saks' bound is guaranteed to solve the problem for the classes of interval and series-parallel orders and hence, in particular, for rooted trees. We observe that the greedy-type binary search algorithm, which is optimal for chains, already need not be optimal for general rooted trees. We furthermore discuss the computational complexity of the general search problem and obtain results indicating that the general problem might be hard.

Original languageEnglish
Pages (from-to)1075-1084
Number of pages10
JournalSIAM Journal on Computing
Issue number4
Publication statusPublished - Jan 1 1986

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'SEARCHING IN TREES, SERIES-PARALLEL AND INTERVAL ORDERS.'. Together they form a unique fingerprint.

  • Cite this