Abstract
We show that any finite partially ordered setP (not a total order) contains a pair of elementsx andy such that the proportion of linear extensions ofP in whichx lies belowy is between 3/11 and 8/11. A consequence is that the information theoretic lower bound for sorting under partial information is tight up to a multiplicative constant. Precisely: ifX is a totally ordered set about which we are given some partial information, and ife(X) is the number of total orderings ofX compatible with this information, then it is possible to sortX using no more thanC log2 e (X) comparisons whereC is approximately 2.17.
This is a preview of subscription content, access via your institution.
References
H. Buseman (1958)Convex Surfaces, Interscience, New York.
T. Bonneson and W. Fenchel (1934)Theorie der konvexen Körper, Springer, Berlin, 1934; Chelsea, New York, 1948 and 1971.
M. Fredman (1976) How good is the information theory bound in sorting?,Theoretical Computer Science 1, 355–361.
N. Linial, The information theoretic bound is good for merging,SIAM J. Comp., to appear.
R. P. Stanley (1987) Two combinatorial applications of the Aleksandrov-Fenchel inequalities,J. Comb. Theory (A) 31, 56–65.
Author information
Authors and Affiliations
Additional information
Communicated by B. Sands
Supported in part by NSF Grant MCS83-01867.
Rights and permissions
About this article
Cite this article
Kahn, J., Saks, M. Balancing poset extensions. Order 1, 113–126 (1984). https://doi.org/10.1007/BF00565647
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00565647
AMS (MOS) subject classifications (1980)
- 06A10
- 68E05
Key words
- Sorting
- comparison
- information theoretic bound
- linear extension