Presentation is loading. Please wait.

Presentation is loading. Please wait.

Uri Zwick – Tel Aviv Univ. Randomized pivoting rules for the simplex algorithm Upper bounds TexPoint fonts used in EMF. Read the TexPoint manual before.

Similar presentations


Presentation on theme: "Uri Zwick – Tel Aviv Univ. Randomized pivoting rules for the simplex algorithm Upper bounds TexPoint fonts used in EMF. Read the TexPoint manual before."— Presentation transcript:

1 Uri Zwick – Tel Aviv Univ. Randomized pivoting rules for the simplex algorithm Upper bounds TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAA MDS summer school “The Combinatorics of Linear and Semidefinite Programming” August 14-16, 2012

2 Maximize a linear objective function subject to a set of linear equalities and inequalities Linear Programming Find the highest point in a polytope

3 Move up, along an edge to a neighboring vertex, until reaching the top The Simplex Algorithm [Dantzig (1947)]

4 Upper bound Theorem for polytopes [Klee (1964)] [McMullen (1971)] Number of vertices of a d-dimensional n-faceted polytope is at most:

5 Largest improvement Largest slope Dantzig’s rule – Largest modified cost Bland’s rule – avoids cycling Lexicographic rule – also avoids cycling Deterministic pivoting rules All known to require an exponential number of steps, in the worst-case Klee-Minty (1972) Jeroslow (1973), Avis-Chvátal (1978), Goldfarb-Sit (1979), …, Amenta-Ziegler (1996)

6 Algorithms for Linear Programming Ellipsoid (Khachiyan 1979) Interior-point (Karmakar 1984) Smoothed analysis based (ST’04, KS’06) Other (DV’08, …) Simplex (Dantzig 1947) No polynomial versions known Polynomial, but not strongly polynomial Not “combinatorial”

7 Is there a polynomial pivoting rule? Is the diameter polynomial?

8 Hirsch conjecture (1957): The diameter of a d-dimensional, n-faceted polytope is at most n−d Refuted Santos (2010)! Diameter is still believed to be polynomial Quasi-polynomial upper bound [Kalai-Kleitman (1992)]

9 Random-Edge Choose a random improving edge Randomized pivoting rules Random-Facet is sub-exponential! Random-Facet To be explained shortly ☺ [Kalai (1992)] [Matoušek-Sharir-Welzl (1996)] Are Random-Edge and Random-Facet polynomial ???

10 Random-Facet algorithm(s) Upper bound on diameter [Kalai-Kleitman (1992)] Random-Facet primal version [Kalai (1992)] Seidel’s randomized LP algorithm [Seidel (1991)] Random-Facet dual version [Matoušek Sharir-Welzl (1992)]

11 Orient the polytope such that the target vertex is the highest Upper bound on diameter [Kalai-Kleitman (1992)] Active facet a facet containing a vertex (strictly) higher than the current vertex Bound the monotone diameter

12 Upper bound on diameter [Kalai-Kleitman (1992)]

13 Exercise: Verify and complete the details. Upper bound on diameter [Kalai-Kleitman (1992)]

14 “Wishful” Random Facet  Find a vertex of a random active facet. (How?)  Solve recursively within that facet.  If top not reached, step out of the facet and recurse.

15 Primal Random-Facet [Kalai (1992)]  Choose a random facet containing the current vertex.  Solve recursively within that facet.  If top not reached, do a pivoting step out of the facet and recurse.

16 (Toy) Exercise: Primal Random-Facet in 2D

17 How do we solve such a recurrence? One option: generating functions [MSW (1996)] Once a right bound is known, it is not too hard to verify it by induction Seidel’s challenge: Can it be taught?

18 Solving the recurrence

19 Exercise: Verify and justify (or find a bug…)

20 The RANDOM FACET algorithm Analysis

21 Primal Random-Facet Non-recursive version  Choose a random permutation of the facets f 1,f 2,…,f d containing the current vertex v.  Find the first facet f i that is beneficial to leave and move to a new vertex v’ contained in a new facet f’ i.  Choose a new random ordering of f 1,f 2,…,f i-1,f’ i. Keep the ordering of f i+1,…,f d. Repeat. Exercise: Really?

22 (Randomized) Bland’s rule  Choose a (random) permutation of all facets f 1,f 2,…,f n.  Find the first facet f i containing the current vertex v that is beneficial to leave and move to a new vertex v’. Open problem: Subexponential ???

23 Linear Programming Duality d variables n inequalities n variables n inequalities d equalities n-d free variables n inequalities

24 Linear Programming Duality d variables n inequalities n-d free variables n inequalities

25 Clarkson’s Algorithm [Clarkson (1988)] No need to consider the case n>9d 2

26 Seidel’s algorithm [Seidel (1991)]  Choose a random inequality and ignore it.  Solve recursively without this inequality.  If the vertex obtained satisfies the ignored inequality, we are done.  Otherwise, replace the ignored inequality by an equality and solve recursively.

27 Dual Simplex Algorithms

28

29

30 Dual Pivot Step Exercise: What is the complexity of a dual pivoting step?

31 Dual Random Facet [Matoušek-Sharir-Welzl (1992)]  Choose a random facet not containing the current dual vertex.  Solve recursively without this facet, starting from the current dual vertex.  If the vertex obtained is on the right side of the ignored facet, i.e., is a vertex, we are done.  Otherwise, do a dual pivoting step to a dual vertex on the ignored facet and recurse.

32 Hidden dimension Dual Random Facet - Analysis [Matoušek-Sharir-Welzl (1992)]

33 Primal vs. Dual Exercise: Coincidence?

34 “It is remarkable to see how different paths have led to rather similar results so close in time.” [Kalai (1992)]

35 Abstract objective functions (AOFs) Every face should have a unique sink Acyclic Unique Sink Orientations (AUSOs)

36 AUSOs of n-cubes The diameter is exactly n Stickney, Watson (1978) Morris (2001) Szabó, Welzl (2001) Gärtner (2002) USOs and AUSOs No diameter issue! 2n facets 2 n vertices

37 Klee-Minty cubes (1972) Taken from a paper by Gärtner-Henk-Ziegler

38 Random-Facet-1 “[Kalai (1992)]”  Try to find vertices on cn active facets.  If top not reached, choose a random facet, go back to the vertex found on it, and solve recursively within it.  If top not reached, do a pivoting step out of the facet.  Try again to find vertices on cn active facets.  If top not reached, try again, from any starting vertex.

39 Analysis of Random-Facet-1 “[Kalai (1992)]”

40 RANDOM FACET on the hypercube [Ludwig (1995)] [Gärtner (2002)] All correct ! Would never be switched ! There is a hidden order of the indices under which the sink returned by the first recursive call correctly fixes the first i bits


Download ppt "Uri Zwick – Tel Aviv Univ. Randomized pivoting rules for the simplex algorithm Upper bounds TexPoint fonts used in EMF. Read the TexPoint manual before."

Similar presentations


Ads by Google