ABSTRACT
We consider the problem of partial order production: arrange the elements of an unknown totally ordered set T into a target partially ordered set S, by comparing a minimum number of pairs in T. Special cases of this problem include sorting by comparisons, selection, multiple selection, and heap construction.
We give an algorithm performing ITLB + o(ITLB) + O(n) comparisons in the worst case. Here, n denotes the size of the ground sets, and ITLB denotes a natural information-theoretic lower bound on the number of comparisons needed to produce the target poset. The overall complexity of our algorithm is polynomial. This answers a question of Yao (SICOMP, 1989).
Our strategy is to extend the poset S to a weak order W whose corresponding information-theoretic lower bound is provably not much larger than that for S. Taking W instead of S as a target poset, we then solve the problem by applying a multiple selection algorithm that performs not much more than ITLB comparisons.
We base our analysis on the entropy of the target poset S, a quantity that can be efficiently computed and provides a good estimate of ITLB.
- M. Aigner. Producing posets. Discrete Math., 35:1--15, 1981.Google ScholarDigital Library
- B. Bollobas and P. Hell. Sorting and graphs. In Graphs and order, Banff, Alta., 1984, volume 147 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages 169--184, Dordrecht, 1985. Reidel.Google Scholar
- J. Cardinal, S. Fiorini, and G. Joret. Tight results on minimum entropy set cover. Algorithmica, 51(1):49--60, 2008. Google ScholarDigital Library
- S. Carlsson and J. Chen. The complexity of heaps. In Proceedings of the third annual ACM-SIAM symposium on discrete algorithms (SODA '92), Orlando (Florida), United States, pages 393--402, Philadelphia, PA, USA, 1992. Society for Industrial and Applied Mathematics. Google ScholarDigital Library
- S. Carlsson and J. Chen. Some lower bounds for comparison-based algorithms. In Proc. 2nd European Sympositum on Algorithms (ESA '94), Utrecht, The Netherlands, number 855 in Lecture Notes in Computer Science, pages 106--117, Berlin, 1994. Springer-Verlag. Google ScholarDigital Library
- J. M. Chambers. Partial sorting (algorithm 410). Commun. ACM, 14(5):357--358, 1971. Google ScholarDigital Library
- J. Chen. Average cost to produce partial orders. In D. Du and X. Zhang, editors, Proc. 5th International Symposium on Algorithms and Computation (ISAAC '94), Beijing, P. R. China, August 25--27, 1994, volume 834 of Lecture Notes in Computer Science, pages 155--163. Springer, 1994.Google Scholar
- V. Chvatal. On certain polytopes associated with graphs. J. Combinatorial Theory Ser. B, 18:138--154, 1975.Google ScholarCross Ref
- I. Csiszar, J. Korner, L. Lovasz, K. Marton, and G. Simonyi. Entropy splitting for antiblocking corners and perfect graphs. Combinatorica, 10(1):27--40, 1990.Google ScholarCross Ref
- J.C. Culberson and G.J.E. Rawlins. On the comparison cost of partial orders. Technical Report TR88-01, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2E8, 1988.Google Scholar
- D. P. Dobkin and J. I. Munro. Optimal time minimal space selection algorithms. J. ACM, 28(3):454--461, 1981. Google ScholarDigital Library
- M. L. Fredman. How good is the information theory bound in sorting? Theor. Comput. Sci., 1(4):355--361, 1976.Google ScholarCross Ref
- C. A. R. Hoare. Find (algorithm 65). Commun. ACM, 4(7):321--322, 1961.Google ScholarDigital Library
- J. Kahn and J. H. Kim. Entropy and sorting. J. Comput. Syst. Sci., 51(3):390--399, 1995. Google ScholarDigital Library
- J. Kahn and M. E. Saks. Balancing poset extensions. Order, 1:113--126, 1984.Google ScholarCross Ref
- K. Kaligosi, K. Mehlhorn, J. I. Munro, and P. Sanders. Towards optimal multiple selection. In Proc. International Conference on Automata, Languages, and Programming (ICALP'05), Lecture Notes in Computer Science, pages 103--114. Springer--Verlag, 2005. Google ScholarDigital Library
- J. Korner. Coding of an information source having ambiguous alphabet and the entropy of graphs. In Transactions of the 6th Prague Conference on Information Theory, pages 411--425, 1973.Google Scholar
- N. Linial. The information-theoretic bound is good for merging. SIAM J. Comput., 13(4):795--801, 1984.Google ScholarCross Ref
- L. Lovasz. Normal hypergraphs and the perfect graph conjecture. Discrete Math., 2(3):253--267, 1972.Google ScholarDigital Library
- Y. Nesterov and A. Nemirovskii. Interior-point polynomial algorithms in convex programming, volume 13 of SIAM Studies in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1994.Google Scholar
- A. Panholzer. Analysis of multiple quickselect variants. Theor. Comput. Sci., 302(1--3):45--91, 2003. Google ScholarDigital Library
- H. Prodinger. Multiple quickselect -- Hoare's find algorithm for several elements. Inf. Process. Lett., 56:123--129, 1995. Google ScholarDigital Library
- M. E. Saks. The information theoretic bound for problems on ordered sets and graphs. In Graphs and order, Banff, Alta., 1984, volume 147 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages 137--168, Dordrecht, 1985. Reidel.Google Scholar
- A. Schonhage. The production of partial orders. In Journees algorithmiques, Ecole Norm. Sup., Paris, 1975, pages 229--246. Asterisque, No. 38--39. Soc. Math. France, Paris, 1976.Google Scholar
- R.P. Stanley. Two poset polytopes. Discrete & Computational Geometry, 1:9--23, 1986. Google ScholarDigital Library
- A. C. Yao. On the complexity of partial order productions. SIAM J. Comput., 18(4):679--689, 1989. Google ScholarDigital Library
Index Terms
- An efficient algorithm for partial order production
Recommendations
Sorting under partial information (without the ellipsoid algorithm)
STOC '10: Proceedings of the forty-second ACM symposium on Theory of computingWe revisit the well-known problem of sorting under partial information: sort a finite set given the outcomes of comparisons between some pairs of elements. The input is a partially ordered set $P$, and solving the problem amounts to discovering an ...
An Efficient Algorithm for Partial Order Production
We consider the problem of partial order production: arrange the elements of an unknown totally ordered set $T$ into a target partially ordered set $S$ by comparing a minimum number of pairs in $T$. Special cases include sorting by comparisons, ...
Graph entropy and quantum sorting problems
STOC '04: Proceedings of the thirty-sixth annual ACM symposium on Theory of computingLet P = (X, < P) be a partial order on a set of n elements X = x1, x2,..., xn. Define the quantum sorting problem QSORTP as: given n distinct numbers x1, x2,..., xn consistent with P, sort them by a quantum decision tree using comparisons of the form "x...
Comments