Searching, Sorting and Randomised Algorithms for Central Elements and Ideal Counting in Posets

Devdatt P. Dubhashi, Kurt Mehlhorn, Desh Ranjan, Christian Thiel

Abstract: By the Central Element Theorem of Linial and Saks, it follows that for the problem of (generalised) searching in posets, the information-theoretic lower bound of log N comparisons (where N is the number of order-ideals in the poset) is tight asymptotically. We observe that this implies that the problem of (generalised) sorting in posets has complexity Θ(n · log N) (where n is the number of elements in the poset). We present schemes for (efficiently) transforming a randomised generation procedure for central elements (which often exists for some classes of posets) into randomised procedures for approximately counting ideals in the poset and for testing if an arbitrary element is central.