Abstract
The Holt-Klee Condition states that there exist at least d vertex-disjoint strictly monotone paths from the source to the sink of a polytopal digraph consisting of the set of vertices and arcs of a polytope P directed by a linear objective function in general position. The study of paths on polytopal digraphs stems from a long standing problem, that of designing a polynomial-time pivot method, or proving none exists. To study disjoint paths it would be useful to have a tool to compute them. Without explicitly computing the digraph we develop an algorithm to compute a maximum cardinality set of source to sink paths in a polytope, even in the presence of degeneracy. The algorithm uses a combination of networks flows, the simplex method, and reverse search. An implementation is available.
Similar content being viewed by others
References
Adel’son-Vel’skii GM, Landis EM (1962) An algorithm for the organization of information. Sov Math Dokl 3:1259–1262
Amenta N, Ziegler G (1999) Deformed products and maximal shadows of polytopes. Contemp Math 223:57–90
Avis D (2000) lrs: a revised implementation of the reverse search vertex enumeration problem. In: Kalai G, Ziegler G (eds) Polytopes—combinatorics and computation. DMV seminar band, vol 29. Birkhauser, Basel, pp 177–198
Avis D, Fukuda K (1996) Reverse search for enumeration. Discrete Appl Math 6:21–46
Avis D, Kaluzny B (March 2005) Computing disjoint paths on polytopes. Les cahiers du GERAD G-2005-26, 23 p
Avis D, Bremner D, Seidel R (1997) How good are convex hull algorithms. Comput Geom Theory Appl 7:265–301
Chvátal V (1980) Linear programming. Freeman, New York
Filippi C (1999) A reverse search algorithm for the neighborhood problem. Oper Res Lett 25:33–37
Ford L, Fulkerson D (1956) Maximal flow through a network. Canad J Math 8:1142–1146
Fukuda K, Terlaky T (1999) On the existence of a short admissible pivot sequence for feasibility and linear optimization problems. PUMA: Math Optim 10(4):431–447
Holt F, Klee V (1999) A proof of the strict monotone 4-step conjecture. Contemp Math 223:201–216
Klee V, Minty GJ (1972) How good is the simplex algorithm? In: Shisha O (ed) Inequalities–III. Academic, New York, pp 159–175
McMullen P (1970) The maximum number of faces of a convex polytope. Mathematika 17:179–184
Murty K (1983) Linear programming. Wiley, New York
Pfeifle J, Ziegler G (2004) On the monotone upper bound problem. Exp Math 13-1:1–12
Schrijver A (2003) Combinatorial optimization—polyhedra and efficiency. Springer, Berlin
Terlaky T, Zhang S (1993) Pivot rules for linear programming: a survey on recent theoretical developments. Ann Oper Res 46:203–233
Todd M (1980) The monotone bounded Hirsch conjecture is false for dimension at least four. Math Oper Res 5:599–601
Ziegler G (1995) Lectures on polytopes. Springer, New York
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Avis, D., Kaluzny, B. Computing monotone disjoint paths on polytopes. J Comb Optim 16, 328–343 (2008). https://doi.org/10.1007/s10878-008-9151-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-008-9151-3