AbstractLet Δ(d, n) be the maximum diameter of the graph of ad-dimensional polyhedronP withn-facets. It was conjectured by Hirsch in 1957 that Δ(d, n) depends linearly onn andd. However, all known upper bounds for Δ(d, n) were exponential ind. We prove a quasi-polynomial bound Δ(d, n)≤n2 logd+3.LetP be ad-dimensional polyhedron withn facets, let ϕ be a linear objective function which is bounded onP and letv be a vertex ofP. We prove that in the graph ofP there exists a monotone path leading fromv to a vertex with maximal ϕ-value whose length is at most
% MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVy0df9qqqrpepC0xbbL8F4rqqrFfpeea0xe9Lqpe0x% c9q8qqaqFn0dXdir-xcvk9pIe9q8qqaq-xir-f0-yqaqVeLsFr0-vr% 0-vr0xc8meaabaqaciGacaGaaeqabaWaaeaaeaaakeaacaWGUbWaaW% baaSqabeaacaaIYaWaaOaaaeaacaWGUbaameqaaaaaaaa!3C85!
$$n^{2\sqrt n } $$
.
[1]
V. Klee,et al.
HOW GOOD IS THE SIMPLEX ALGORITHM
,
1970
.
[2]
Victor Klee,et al.
The d-Step Conjecture and Its Relatives
,
1987,
Math. Oper. Res..
[3]
Gil Kalai,et al.
A subexponential randomized simplex algorithm (extended abstract)
,
1992,
STOC '92.
[4]
V. Klee,et al.
Thed-step conjecture for polyhedra of dimensiond<6
,
1967
.
[5]
P. McMullen.
The maximum numbers of faces of a convex polytope
,
1970
.
[6]
G. Kalai,et al.
A quasi-polynomial bound for the diameter of graphs of polyhedra
,
1992,
math/9204233.
[7]
D. Larman.
Paths on Polytopes
,
1970
.
[8]
Robert E. Tarjan,et al.
Network Flow Algorithms
,
1989
.
[9]
George B. Dantzig,et al.
Linear programming and extensions
,
1965
.
[10]
D. Barnette,et al.
Wv paths on 3-polytopes
,
1969
.