The Klee–Minty cube or Klee–Minty polytope (named after Victor Klee and George J. Minty) is a unit hypercube of variable dimension whose corners have been perturbed. Klee and Minty demonstrated that George Dantzig's simplex algorithm has poor worst-case performance when initialized at one corner of their "squashed cube". On the three-dimensional version, the simplex algorithm and the criss-cross algorithm visit all 8 corners in the worst case. In particular, many optimization algorithms for linear optimization exhibit poor performance when applied to the Klee–Minty cube. In 1973 Klee and Minty showed that Dantzig's simplex algorithm was not a polynomial-time algorithm when applied to their cube. Later, modifications of the Klee–Minty cube have shown poor behavior both for other basis-exchange pivoting algorithms and also for interior-point algorithms.
Description The Klee–Minty cube was originally specified with a parameterized system of linear inequalities, with the dimension as the parameter. The cube in two-dimensional space is a squashed square, and the "cube" in three-dimensional space is a squashed cube. Illustrations of the "cube" have appeared besides algebraic descriptions. The Klee–Minty polytope is given by:
x 1 ≤ 5 4 x 1 + x 2 ≤ 25 8 x 1 + 4 x 2 + x 3 ≤ 125 ⋮ 2 D x 1 + 2 D − 1 x 2 + ⋯ + 4 x D − 1 + x D ≤ 5 D x 1 ≥ 0 , … , x D ≥ 0. {\displaystyle {\begin{aligned}x_{1}&\leq 5\\4x_{1}+x_{2}&\leq 25\\8x_{1}+4x_{2}+x_{3}&\leq 125\\&\vdots \\2^{D}x_{1}+2^{D-1}x_{2}+\dots +4x_{D-1}+x_{D}&\leq 5^{D}\\x_{1}\geq 0,\,\,\dots ,\,\,x_{D}&\geq 0.\end{aligned}}}
This has D {\displaystyle D} variables, D {\displaystyle D} constraints other than the D {\displaystyle D} non-negativity constraints, and 2 D {\displaystyle 2^{D}} vertices, just as a D {\displaystyle D} -dimensional hypercube does. If the objective function to be maximized is
2 D − 1 x 1 + 2 D − 2 x 2 + ⋯ + 2 x D − 1 + x D , {\displaystyle 2^{D-1}x_{1}+2^{D-2}x_{2}+\dots +2x_{D-1}+x_{D},}
and if the initial vertex for the simplex algorithm is the origin, then the algorithm as formulated by Dantzig visits all 2 D {\displaystyle 2^{D}} vertices, finally reaching the optimal vertex ( 0 , 0 , … , 5 D ) {\displaystyle (0,0,\dots ,5^{D})} .
… excerpt ends here. Continue reading the full article.



