On searching a table consistent with division poset
Yongxi Cheng,Xi Chen,Yiqun Lisa Yin
DOI: https://doi.org/10.1016/j.tcs.2006.10.027
IF: 1.002
2007-01-01
Theoretical Computer Science
Abstract:Suppose P"n={1,2,...,n} is a partially ordered set with the partial order defined by divisibility, that is, for any two elements i,j@?P"n satisfying i divides j, we have i@?"P"""nj. A table A"n={a"i|i=1,2,...,n} of real numbers is said to be consistent with P"n, provided that for any two elements i,j@?{1,2,...,n} satisfying i divides j, a"i@?a"j. Given a real number x, we want to determine whether x@?A"n, by comparing x with as few entries of A"n as possible. In this paper, we investigate the complexity @t(n), measured by the number of comparisons, of the above search problem. We present a 55n72+O(ln^2n) search algorithm for A"n and prove a lower bound (34+172160)n+O(1) on @t(n) using an adversary argument.