1 / 25

Uri Zwick – Tel Aviv Univ.

Recent advances in parameterized complexity for linear programming using the Simplex algorithm with randomized pivoting rules.

capone
Download Presentation

Uri Zwick – Tel Aviv Univ.

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Uri Zwick –Tel Aviv Univ. Simplex Method –Randomized Pivoting Rules Recent Advances​in Parameterized Complexity December 3-7, 2017​Tel Aviv, Israel TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAA

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

  3. The Simplex Algorithm[Dantzig (1947)] Start at some vertex. Move up, from vertex to vertex, along edges, until reaching the top. Obvious upper bound, number of vertices, is exponential.

  4. Preliminaries Our view will be fairly abstract We sometimes gloss over some annoyances – number of inequalities – number of variables We view as the parameter – collection of inequalities – an inequality – optimal solution subject to – set of inequalities that determine Most algorithms we shall see are dual simplex algorithms

  5. Seidel’s algorithm (1991) Given a set of inequalities in variables,return , an optimal vertex. Choose a random inequality and ignore it. Find using a recursive call. If satisfies , return . Otherwise, turn into an equality, use it to eliminatea variable, and solve the reduced problem recursively. If , then . Probability of a second recursive call is at most !

  6. Seidel’s algorithm (1991) Given a set of inequalities in variables,return , an optimal vertex. Choose a random inequality and ignore it. Find using a recursive call. If satisfies , return . Otherwise, turn into an equality, use it to eliminatea variable, and solve the reduced problem recursively. Some details glossed over… What is the base case of the recursion? How do we deal with infeasibility or unboundedness? Not hard to fill in the details.

  7. Seidel’s algorithm (1991)

  8. Seidel’s algorithm (1991)

  9. Seidel’s algorithm (1991)

  10. Seidel’s algorithm (1991)

  11. Clarkson’s Algorithms (1988) Reductions to the case Using both algorithms together: Applying on Seidel’s algorithm: Applying on Kalai/MSW:

  12. Clarkson’s Second Algorithm Let be the collection of inequalities. Assign to each a weight , initially 1. Repeat: Choose a random subset of size .(Inequalities sampled with probability proportional to their weight.) Call the base algorithm to find the optimal solution subject only to the inequalities in . Let be the set of inequalities in violated by . If return . If double the weight of all inequalities in .(We call this a successful iteration.)

  13. Sampling Lemma Let be a multiset of inequalities in variables. Let be a random subset of of size . Let be the optimal solution subject to . Let 𝑉⊂𝐻 be the set of inequalities in 𝐻 violated by 𝑣. Then: Let be a random inequality from . Let be a random subset of of size . Let be a random inequality from . and have the same distribution. iff

  14. Clarkson’s Second Algorithm - Analysis Let . Claim: After successful iterations: . In each iteration, except the last one, at least one of the inequalities in is violated. In a successful iteration, the weight of this inequality is doubled. Thus, after successful iterations, at least one of the inequalities in has its weight doubled at least times. In a successful iteration, increased by a factor of at most . Thus, after successful iterations:

  15. Clarkson’s Second Algorithm - Analysis Let . Claim: After successful iterations: . The algorithm terminates after at most successful iterations! By the sampling lemma, . An iteration is not successful if .By Markov’s inequality, this happens with probability less than . Expected number of all iterations is at most . Cost of each iteration is .

  16. Dual Random-Facet [Matoušek-Sharir-Welzl (1992)] Improved version of Seidel’s algorithm. Given a set of inequalities and an initial basis ,algorithm returns and . Algorithm Choose a random inequality First recursive call: If satisfies , return Second recursive call: return Algorithm terminates as .

  17. Dual Random-Facet – Analysis [Matoušek-Sharir-Welzl (1992)] Order the inequalities such that: If there is no second recursive call. We must have . is called the hidden dimension – how many inequalities of are either not in , or not guaranteed to remain in and . There is a second recursive call only if .

  18. Dual Random-Facet – Analysis [Matoušek-Sharir-Welzl (1992)] We must have . There is a second recursive call only if . If the first recursive call returns s.t.. If does not satisfy , the algorithm computes , and . Thus, and the hidden dimension is now .

  19. Dual Random-Facet – Analysis [Matoušek-Sharir-Welzl (1992)]

  20. “Unusual” recurrence relations

  21. Primal Random-Facet [Kalai(1992)] Choose at random one of the facets containing the current vertex. Recursively find the top vertex on the chosen facet.(Adimensional problem.) If vertex reached is the top vertex of the whole polyhedron, we are done. Otherwise, do a pivoting step out of the facet and continue recursively from vertex reached. – number of active facets

  22. Active facets A facet is active if it contains a vertex at least as high as the current vertex Active Inactivefacets are not interesting, as the algorithm would never reach them. Inactive

  23. Random-Facet algorithms Seidel’s randomizedLP algorithm[Seidel (1991)] Upper boundon diameter[Kalai-Kleitman (1992)] Random-Facetdual version[Matoušek Sharir-Welzl (1992)] Random-Facetprimal version[Kalai (1992)]

  24. The general picture There are known polynomial time algorithms for LP,e.g., the ellipsoid algorithm, interior point algorithms etc. However, it is not known whether there is a strongly polynomial time algorithm for LP. Random-Facet is essentially the fastest known variantof the simplex algorithm. Random-Facet is the fastest known algorithm when is small. Random-Facet is not polynomial. Random-Facet can solve a wider class of problems, not just LP. It is not known whether the diameter of a polyhedron is polynomial in and . Best upper bound known on the diameter is quasipolynomial, i.e.,

  25. THE END

More Related