3 research outputs found
On Searching a Table Consistent with Division Poset
Suppose is a partially ordered set with the partial order
defined by divisibility, that is, for any two distinct elements
satisfying divides , . A table of
distinct real numbers is said to be \emph{consistent} with , provided for
any two distinct elements satisfying divides ,
. Given an real number , we want to determine whether ,
by comparing with as few entries of as possible. In this paper we
investigate the complexity , measured in the number of comparisons, of
the above search problem. We present a search
algorithm for and prove a lower bound on
by using an adversary argument.Comment: 16 pages, no figure; same results, representation improved, add
reference
On Searching a Table Consistent with Division Poset β
Suppose Pn = {1, 2,..., n} is a partially ordered set with the partial order defined by divisibility, that is, for any two elements i, j β Pn satisfying i divides j, we have i β€Pn j. A table An = {ai|i = 1, 2,..., n} of real numbers is said to be consistent with Pn, provided for any two elements i, j β {1, 2,..., n} satisfying i divides j, ai β€ aj. Given an real number x, we want to determine whether x β An, by comparing x with as few entries of An as possible. In this paper we investigate the complexity Ο(n), measured in the number of comparisons, of the above search problem. We present a 55n 72 + O(ln2 n) search algorithm for An and prove a lower bound)n + O(1) on Ο(n) by using an adversary argument