稀疏不等式产生的大投影

$d$ 维 Goldfarb 立方体是一个多胞形，其性质是所有 $2^d$ 个顶点都出现在它的某个\emph{投影}（即投影到二维平面上）中。Goldfarb 立方体是包含 2d 个线性不等式的方程组的解集，每个不等式最多包含 3 个变量。本文证明，$d$ 维 Klee-Minty 立方体（由每个不等式最多包含 2 个变量的不等式构造而成）也具有一个包含 $2^d$ 个顶点的投影。相比之下，若每个不等式仅含一个变量，则投影的大小以 2d 为界。