References & Citations
Computer Science > Data Structures and Algorithms
Title: Geometric Random Edge
(Submitted on 6 Apr 2014 (v1), last revised 21 Mar 2016 (this version, v5))
Abstract: We show that a variant of the random-edge pivoting rule results in a strongly polynomial time simplex algorithm for linear programs $\max\{c^Tx \colon Ax\leq b\}$, whose constraint matrix $A$ satisfies a geometric property introduced by Brunsch and R\"oglin: The sine of the angle of a row of $A$ to a hyperplane spanned by $n-1$ other rows of $A$ is at least $\delta$. This property is a geometric generalization of $A$ being integral and all sub-determinants of $A$ being bounded by $\Delta$ in absolute value (since $\delta \geq 1/(\Delta^2 n)$). In particular, linear programs defined by totally unimodular matrices are captured in this famework ($\delta \geq 1/ n$) for which Dyer and Frieze previously described a strongly polynomial-time randomized algorithm.
The number of pivots of the simplex algorithm is polynomial in the dimension and $1/\delta$ and independent of the number of constraints of the linear program. Our main result can be viewed as an algorithmic realization of the proof of small diameter for such polytopes by Bonifas et al., using the ideas of Dyer and Frieze.
Submission history
From: Friedrich Eisenbrand [view email][v1] Sun, 6 Apr 2014 11:58:28 GMT (37kb,D)
[v2] Thu, 10 Apr 2014 10:00:56 GMT (37kb,D)
[v3] Sun, 10 Aug 2014 18:30:43 GMT (23kb,D)
[v4] Sun, 31 Aug 2014 13:31:01 GMT (61kb)
[v5] Mon, 21 Mar 2016 12:09:32 GMT (58kb)
Link back to: arXiv, form interface, contact.