2019
DOI: 10.1007/s00454-019-00161-3
|View full text |Cite
|
Sign up to set email alerts
|

A Proof of the Strict Monotone 5-Step Conjecture

Abstract: A computer search through the oriented matroid programs with dimension 5 and 10 facets shows that the maximum strictly monotone diameter is 5. Thus ∆sm(5, 10) = 5. This enumeration is analogous to that of Bremner and Schewe for the non-monotone diameter of 6-polytopes with 12 facets. Similar enumerations show that ∆sm(4, 9) = 5 and ∆m(4, 9) = ∆m(5, 10) = 6. We shorten the known non-computer proof of the strict monotone 4-step conjecture.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
2
0

Year Published

2021
2021
2022
2022

Publication Types

Select...
2
1

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 12 publications
(244 reference statements)
0
2
0
Order By: Relevance
“…Our results imply that this bound also holds for oriented matroid programs. See [12] for a recent application of oriented matroid programming to determination of polytope diameters. In dimension 3, the Holt-Klee condition is also known to be sufficient for an acyclic orientation of the graph of a polytope with a unique source and sink on every face to be d-polytopal.…”
Section: Introductionmentioning
confidence: 99%
“…Our results imply that this bound also holds for oriented matroid programs. See [12] for a recent application of oriented matroid programming to determination of polytope diameters. In dimension 3, the Holt-Klee condition is also known to be sufficient for an acyclic orientation of the graph of a polytope with a unique source and sink on every face to be d-polytopal.…”
Section: Introductionmentioning
confidence: 99%
“…the TSP [30,31,32]. Today, several papers continue the study of shortest monotone paths (see [8,13,29] and references therein).…”
mentioning
confidence: 99%