Abstract
In this paper we survey complexity results yielded by the calculation of untractable invariants of ordered sets dealing with the computation of linear extensions. The main invariants we consider here are the dimension, the jump number, and the number of linear extensions.
First we investigate recent NP-completeness results, and then consider some recent polynomial results on some particular recognizable polynomially classes of posets for which significant computational results are known, namely: tree-like, series-parallel, N-free, bounded width, substitution of bounded width, cycle-free, 2-dimensional, interval orders, and semi-orders. The aim of our present work is to precisely handle the borderline polynomiality / NP-completeness for these invariants. We end by listing a few conjectures that arise naturally from this survey.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J.C. ARDITTI, H.A. JUNG, “The dimension of finite and infinite comparability graphs”, J. London Math. Soc. (2) 21 (1980) 31–38.
M.D. ATKINSON, “Partial orders and comparison problem”, Congr. Numer. 47(1985) 77–88.
M.D. ATKINSON, “The complexity of orders”, same issue.
M.D. ATKINSON, H.W. CHANG, “Extensions of partial orders of bounded width”, Utilitas Math., Congressus Numerantium 52 (1986) 21–35.
A. BORODIN, L.J. GUIBAS, N.A. LYNCH, A.C. YAO, “Efficient searching using partial ordering”, Information Processing Letters, vol 12, n°2(1981) 71–74.
V. BOUCHITTE, “Chordal bipartite graphs and crowns”, Order 2(1985) 119–122.
V. BOUCHITTE, “Propriétés algorithmiques des extensions linéaires”, Thèse de doctorat, Université de Montpellier (USTL), avril 1987.
V. BOUCHITTE, M. HABIB “Some NP-completeness properties about linear extensions”, to appear in Order.
V. BOUCHITTE, M. HABIB, R. JEGOU, “On the greedy dimension of a partial order”, Order, vol 1, N°3 (1985) 219–224.
V. BOUCHITTE, M. HABIB, M. HAMROUN, R. JEGOU, “Depth-first search and linear extensions”, Rapport de recherche N°5, ENST de Bretagne, Brest, 1986.
H. BUER, R.H. MOHRING, “A fast algorithm for the decomposition of graphs and posets”, Math. Oper. Res. 8 (1983) 170–184.
G. CHATY, M. CHEIN, “Ordered matchings and matchings without alternating cycles in bipartite graphs”, Utilitas Math. 16 (1981) 183–187.
M. CHEIN, M. HABIB, “The jump number of dags and posets: an introduction”, Annals of Discrete Mathematics 9(1980) 189–194.
M. CHEIN, M. HABIB, “Jump number of dags having DILWORTH number 2”, Discrete Applied Mathematics 7(1984) 243–250.
M. CHEIN, M. HABIB, M.C. MAURER, “Partitive hypergraphs”, Discrete Mathematics 37(1981) 35–50.
M. CHEIN, P. MARTIN, “Sur le nombre de sauts d’une forêt”, CR. Acad. Sc. Paris, t. 275, série A (1972) 159–161.
O. COGIS, “Problem 4.6”, in Ordered Sets (I. RIVAL, ed.), D. REIDEL, Dordrecht (1982) 814.
O. COGIS, M. HABIB, “Nombre de sauts et graphes série-parallèles”, RAIRO Inf. Th. 13 (1979) 3–18.
CJ. COLBOURN, W.R. PULLEYBLANK, “Minimizing setups in ordered sets of fixed width”, Order 1 (1985) 225–229.
S.A. COOK, “The complexity of theorem-proving procedures”, Proc. 3rd Ann. ACM Symp. on Theory of Computing, New-York (1971) 151–158.
R.P. DILWORTH, “A decomposition theorem for partially ordered sets”, Annals of Mathematics, vol. 51, N°l (1950) 161–166.
W.H. CUNNINGHAM, J. EDMONDS, “A combinatorial decomposition theory”, Canad. J. Math., vol. 32, 3(1980) 734–765.
B. DREESEN, W. POGUNTKE, P. WINKLER, “Comparability invariance of the fixed point property”, Order 2 (1985) 269–274.
R. DUCOURNAU, M. HABIB, “On some algorithms for multiple inheritance in object oriented programming”, in Proceedings of ECOOP’ 87 (First European Conference on Object Oriented Programming), 15–17 juin 1987, Paris, numéro spécial BIGRE 54 (1987) 291–300.
RJ. DUFFIN, “Topology of series-parallel networks”, J. of Mathematical Analysis and Applications 10(1965) 303–318.
D. DUFFUS, I. RIVAL, P. WINKLER, “Minimizing setups for cycle-free ordered sets”, Proc. of the American Math. Soc, vol. 85, N°4 (1982) 509–513.
B. DUSHNIK, E.W. MILLER, “Partially ordered sets”, Amer. J. Math. 63 (1941) 600–610.
M.E. DYER, A.M. FRIEZE, “Planar 3DM is NP-complete”, J. of Algorithms 7(1986) 174–184.
J. ELBAZ, “Substitution and atomic extension on greedy posets”, Order 3 (1986) 235–244.
M.H. EL-ZAHAR, I. RIVAL, “Greedy linear extensions to minimize jumps”, Discrete Applied Math. 11 (1985) 509–512.
M.H. EL-ZAHAR, J.H. SCHMERL, “On the size of jump-critical ordered sets”, Order 1(1984) 3–5.
U. FAIGLE, G. GIERZ, “A construction for strongly greedy ordered sets”, in G. Hammer, D. Pallaschke (eds), Selected Topics in Operation Research and Mathematical Economics, Lecture Notes in Economics and Mathematical Systems, vol. 226, Springer-Verlag, Berlin-Heidelberg (1984) 307–314.
U. FAIGLE, R. SCHRADER, “On the construction of optimal linear extensions for interval orders”, preprint 1984.
U. FAIGLE, R. SCHRADER, “Comparability graphs and order invariants”, preprint 1984.
U. FAIGLE, R. SCHRADER, “Setup minimization techniques for comparability graphs”, WG’85, H. Noltemeier (Ed), Trauner Verlag (1985) 101–117.
U. FAIGLE, R. SCHRADER, “Interval orders without odd crowns are defect optimal”, Research Report No. 85382, Bonn (1985).
U. FAIGLE, R, SCHRADER, “On the computational complexity of the order polynomial”, Discrete Applied Mathematics 15(1986) 261–269.
U. FAIGLE, R, SCHRADER, “A combinatorial bijection between linear extensions of equivalent orders”, Discrete Applied Mathematics 15 (1986) 295–301.
U. FAIGLE, G. GIERZ, R. SCHRADER, “Algorithmic approaches to set-up minimization”, SIAM J. Computing, vol. 14, N°4 (1985) 954–965.
P.C. FISHBURN, “Intransitive indifference in preference theory: a survey”, per. Res. 18(1970) 207–228.
P.C. FISHBURN, W.V. GEHRLEIN, “Minimizing bumps in linear extensions of ordered sets”, Order 3 (1986) 3–14.
T. GALLAI, “Transitiv orientierbare graphen”, Acta Math. Acad. Sci. Hung. 18(1967) 25–66.
M.R. GAREY, D.S. JOHNSON, “Computers and intractability: a guide to the theory of NP-completeness”, Freeman, 1979.
A. GHOUILA-HOURI, “Caractérisation des graphes nonn orientés dont on peut orienter les arêtes de manière à obtenir le graphe d’une relation d’ordre”, CR. Acad. Sei. Paris, 254 (1962) 1370–1371.
P.C. GILMORE, A.J. HOFFMAN, “A characterization of comparability graphs and of interval graphs”, Canadian J. Math. 16 (1964) 539–548.
G. GIERZ, W. POGUNTKE, “Minimizing setups for ordered sets: a linear algebraic approach”, SIAM J. on Algebraic and Discrete Methods 4(1983) 132–144.
M.C. GOLUMBIC, “Algorithmic graph theory and perfect graphs”, Academic Press, 1980.
P.A. GRILLET, “Maximal chains and antichains”, Fund. Math. 65 (1969) 157–167.
M. HABIB, “Substitution des structures combinatoires: théorie et algorithmes”, Thèse Sci., Université P. et M. CURIE (Paris VI) 1981.
M. HABIB, “Comparability invariants”, Annals of Discrete Mathematics 23(1984) 371–384.
M. HABIB, “Problem 8.9”, in Graphs and Order (I. RIVAL, ed.) D. Reidel, Dordrecht (1985) 567.
M. HABIB, R. JEGOU, “N-free posets as generalizations of series-parallel posets”, Discrete Applied Mathematics 3(1985) 279–291.
M. HABIB, M.C. MAURER, “On the X-join decomposition for undirected graphs”, Discrete Applied Mathematics 1(1979) 201–207.
M. HABIB, R. MOHRING, “Some complexity properties of N-free posets and posets with bounded decomposition diameter”, Annals of Discrete Mathematics 63 (1987) 157–184.
R.L. HEMMINGER, L.W. BEINEKE, “Line graphs and line digraphs”, in: L.W. BEINEKE, R.J. WILSON (Eds.), Selected topics in graph theory, Academic Press, London (1978) 271–305.
JOHNSON “NP-completeness: an ongoing guide”, J. of Algorithms 1981-
T. HIRAGUCHI, “On the dimension of partially ordered sets”, Sci. Rep. Kanazawa Univ. 1 (1951) 77–94.
J. KAHN, M. SAKS, “Balancing poset extensions”, Order 1(1984) 113–126.
D. KELLY, “Comparability graphs” in Graphs and Order (I. RIVAL, ed.) D. REIDEL, Dordrecht (1985) 3–40.
D. KELLY, W.T. TROTTER, “Dimension theory for ordered sets”, in Ordered Sets, I. RIVAL (Ed.), Nato Advanced Studies (1982) 171–211.
H.A. KIERSTEAD, “NP-completeness results concerning greedy and super greedy linear extensions”, Order 3 (1986) 123–134.
H.A. Kierstead, W.T. Trotter, “Inequalities for the greedy dimension of ordered sets”, Order 2 (1985) 145–164.
H.A. KIERSTEAD, W.T. TROTTER, B. ZHOU, “Representing an ordered set as the intersection of super greedy linear extensions”, preprint june 1986.
D.E. KNUTH, J.L. SZWARCFITER, “A structured program to generate all topological sorting arrangements”, Information Processing Letters, 2(1974) 153–157.
N. KORTE, R.H. MOHRING, “A simple linear-time algorithm to recognize interval graphs”, Report N° 86421-OR, Bonn 1986.
M.S. KRISHNAMOORTHY, N. DEO, “Complexity of the minimum-dummy-activities problem in a PERT network”, Networks 9(1979) 189–194.
E.L. LAWLER, “Sequencing jobs to minimize total weighted completion time subject to precedence constraints”, Annals of Discrete Math. 2(1978) 75–90.
B. LECLERC, B. MONJARDET, “Orders C.A.C”, Fund. Math. (1973) 11–22.
N. LINIAL, “The information-theoretic bound is good for merging”, SIAM J. Comput. 13 (1984) 795–801.
B. MONJARDET, “Axiomatiques et propriétés des quasi-ordres”, Math. Sci. Hum. 63(1978) 51–82.
B. MONJARDET, E. JACQUET-LAGREZE, “Modélisation des préférences et quasi-ordres”, Math.Sci. Hum. 62(1978) 5–10.
R.H. MOHRING, “Algorithmic aspects of comparability graphs and interval graphs”, in Graphs and Order (I. RIVAL, ed.) D. REIDEL, Dordrecht (1985) 41–102.
R.H. MOHRING, “Recognition algorithms for classes of ordered sets”, same issue.
R.H. MOHRING, F.J. RADERMACHER, “Substitution decomposition for discrete structures and connections with combinatorial optimization”, Annals of Discrete Math. 19(1984) 257–356.
J.H. MULLER, J. SPINRAD, “On-line modular decomposition”, Technical Report GIT-ICS-84/11, Georgia Institute of Technology, Atlanta, Feb. 1984.
J. NESESTRIL, V. RODL, “Complexity of diagrams”, Order 3(1987) 321–330.
C.H. PAPADIMITRIOU, M. YANNAKAKIS, “Scheduling interval-ordered tasks”, SIAM J. Comput. 8(1979) 405–409.
O. PRETZEL, “Problem”, presented at Oberwolfach Conference on Combinatorics and Ordered sets, 1985.
W.R. PULLEYBLANK, “On minimizing setups in precedence constrained scheduling”, preprint 1981, Discrete Math, to appear.
I. RABINOVITCH, “The dimension of semi-orders”, J. Combinatorial Theory (Ser. A) 25 (1978) 50–61.
I. RABINO VITCH, “An upper bound on the dimension of interval orders”, J. Combinatorial Theory (Ser. A) 25 (1978) 68–71.
I. RIVAL, “Optimal linear extensions by interchanging chains”, Proc. Amer. Math. Soc. 83 (1983) 387–394.
I. RIVAL, “Linear extensions of finite ordered sets”, Annals of Discrete Math. 23(1984) 355–370.
I. RIVAL, N. ZAGUIA, “Greedy linear extensions with constraints”, preprint 1985.
I. RIVAL, N. ZAGUIA, “Constructing linear extensions by interchanging chains”, Order 3 (1986) 107–121.
I. RIVAL, N. ZAGUIA, “Constructing Ν-free posets, jump-critical ordered sets”, Congressus Numerantium 55(1986) 199–204.
R.S. ROBERTS, “Measurement theory”, Enc. Math. Appl. 7(1979) Addison-Welsey.
D.J. ROSE, R.E. TARJAN, G.S. LUEKER, “Algorithmic aspects of vertex elimination on graphs”, SLAM J. Comput. 5, N°3 (1976) 266–283.
G. SABIDUSSI, “Graph derivatives”, Math. Zeitschrift 76(1961) 385–401.
M. SAKS, “The information theoretic bound for problems on ordered sets and graphs,” I. Rival (ed.), Graphs and Order (1985) 135–168.
M. SAKS, in Problem Session 1: On Enumeration, I. RIVAL (ed.), Graphs and Order (1985) 524.
J.B. SIDNEY, “Decomposition algorithms for single-machine sequencing with precedence relations and deferral cost”, Oper. Res. 23(1975) 283–298.
J. SPINRAD, “Two dimensional partial orders”, Ph. D. Thesis, Princeton University, 1982.
J. SPINRAD, J. VALDES, “Recognition and isomorphism of two dimensional partial orders”, Colloquium on Automata, Languages and Programming, Springer-Verlag (1983) 676–686.
G. STEINER, “On a decomposition algorithm for sequencing problems with precedence constraints”, Report No 213, Faculty of Buisness, Mc MASTER University Hamilton (Canada), 1983.
G. STEINER, “Minimizing bumps in ordered sets by substitution decomposition”, preprint 1986.
G. STEINER, “Searching in 2-dimensional partial orders”, J. of Algorithms 8 (1987) 95–105.
G. STEINER, “On computing the information theoretic bound for sorting counting the linear extensions of posets”, Report N0 87 459-OR, Bonn 1987.
G. STEINER, L.K. STEWART, “A linear algorithm to find the jump number of 2-dimensional bipartite partial orders”, Order 3(1987) 359–367.
D.P. SUMNER, “Graph undecomposable with respect to the X-join”, Disc. Math. 6(1973) 281–298.
M.M. SYSCO, “A labelling algorithm to recognàe a line digraph and output its root digraph”, Inform. Proc. Letters 15 (1982) 28–30.
M.M. SYSLO, “Minimizing the jump number for ordered sets: a graph theoretic approach”, Order 1(1984) 7–19.
M.M. SYLO, “A graph theoretic approach to the jump number problem”, I. RIVAL (ed.), Graphs and Order (1985) 185–215.
M.M. SYSLO, “Problem 2.8”, I. RIVAL (ed.), Graphs and Order (1985) 532.
M.M. SYSLO, “Remarks on DILWORTH partially ordered sets”, in H. NOLTEMEIER (Ed.) Proceedings of the WG’85, TRAUNER Verlag, Linz (1985) 355–362.
M.M. SYSLO, K.M. KOH, W.L. CHIA, “A characterization of bipartite DILWORTH posets”, International Conference on Optimization Techniques and Applications, Singapore, (1987) 451–459.
K. TAKAMIZAWA, T. NISHIZEKI, N. SAITO, “Linear-time computability of combinatorial problems on series-parallel graphs”, Jacm Vol. 29, No 3 (1982) 623–641.
R.E. TARJAN, “Efficiency of a good but not linear set union algorithm”, J. of the ACM 22(1975) 215–225.
R.E. TARJAN, “Applications of path compression on balanced trees”, J. of the ACM 26(1979) 690–715.
R.E. TARJAN, M. YANNAKAKIS, “Simple linear-time algorithms to test chor-dality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs”, SIAM J. Comput., vol. 13, N° 3, (1984) 566–579.
W.T. TROTTER, Jr., J.L MOORE, “The dimension of planar posets”, J. Combinatorial Theory (Ser. B) 22 (1976) 54–67.
W.T. TROTTER, Jr., J.I. MOORE, D.P. SUMNER, “The dimension of a comparability graph”, Proc. Amer. Math. Soc, 60 (1976) 35–38.
M. TRUSZCZYNSKI, “Jump number problem: the role of a matroid”, Order 2 (1985) 1–8.
J. VALDES, “Parsing flowcharts and series-parallel graphs”, Technical Report STAN-CS-78–682, Computer Science Department, Stanford University, Stanford, Ca., 1978.
J. VALDES, R.E. TARJAN, E.L. LAWLER, “The recognition of series-parallel digraphs”, Proc. 11th Ann. ACM Symp. on Theory of Computing (1979) 1–12.
Y. WAKABAYASHI, “Aggregation of binary relations: algorithmic and polyhedral investigations”, Thesis, 1986, Augsburg University.
M. YANNAKAKIS, “The complexity of the partial order dimension problem”, Siam J. Alg. Disc. Meth., vol. 3, N°3 (1982) 351–358.
N. Zaguia, “Schedules, cutsets and ordered sets”, Ph. D. Thesis, University of Calgary, 1985.
N. ZAGUIA, “Minimizing bumps for poset of width two”, preprint 1986.
N. ZAGUIA, “Greedy posets for the bump-minimizing problem”, preprint 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Kluwer Academic Publishers
About this chapter
Cite this chapter
Bouchitte, V., Habib, M. (1989). The Calculation of Invariants for Ordered Sets. In: Rival, I. (eds) Algorithms and Order. NATO ASI Series, vol 255. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-2639-4_6
Download citation
DOI: https://doi.org/10.1007/978-94-009-2639-4_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-7691-3
Online ISBN: 978-94-009-2639-4
eBook Packages: Springer Book Archive