Zadeh's Rule
In mathematical optimization, Zadeh's rule (also known as Least-entered rule) is an algorithmic refinement of the simplex method for linear optimization. The rule was proposed around 1980 by Lotfi A. Zadeh, and has entered the folklore of convex optimization since then. [1]
Zadeh offered a reward of $1,000 to anyone who can show that the rule admits polynomially many iterations or to prove that there is a family of linear programs on which the pivoting rule requires subexponentially many iterations to find the optimum.[2]
Algorithm
Zadeh's rule belongs to the family of history-based improvement rules which, during a run of the simplex algorithm, retain supplementary data in addition to the current basis of the linear program.
In particular, the rule chooses among all improving variables one which has entered the basis least often, intuitively ensuring that variables that might yield a substantive improvement in the long run but only a small improvement in a single step will be applied after a linear number of steps.
The supplementary data structure in Zadeh's algorithm can therefore be modeled as an occurrence record, mapping all variables to natural numbers, monitoring how often a particular variable has entered the basis. In every iteration, the algorithm then selects an improving variable that is minimal with respect to the retained occurrence record.
Note that the rule does not explicitly specify which particular improving variable should enter the basis in case of a tie.
Superpolynomial Lower Bound
Zadeh's rule has been shown to have at least super-polynomial time complexity in the worse-case by constructing a family of Markov Decision Processes on which the policy iteration algorithm requires a super-polynomial number of steps.
Running the simplex algorithm with Zadeh's rule on the induced linear program then yields a super-polynomial lower bound.
The result was presented at the Mathematical Optimization Society's Integer Programming and Combinatorial Optimization conference in 2011 by Oliver Friedmann[3]. Zadeh, although not working in academia anymore at that time, attended the conference and honored his original proposal.[4]
Notes
- ↑ Zadeh, Norman (1980). "What is the worst case behaviour of the simplex algorithm?". Technical report, Department of Operations Research, Stanford.
- ↑ Ziegler, Günter (2004). "Typical and extremal linear programs". The Sharpest Cut (MPS-Siam Series on Optimization.
- ↑ http://ipco2011.uai.cl/accepted.html
- ↑ https://gilkalai.wordpress.com/2011/01/20/gunter-ziegler-1000-from-beverly-hills-for-a-math-problem-ipam-remote-blogging
 |
