Some issues Problem max z T x s.t. A x y –The perturbed problem is no longer the original problem we want to solve! Solution –Reduce the original problem to another problem, where the perturb won’t affect solution. –Is this set of constraints bounded? A’w<=1
Intuition of the Algorithm Since the right hand side won’t affect solution, we want to carefully choose it so that the Shadow-Vertex Simplex will run poly-time with high probability.
Intuition of the Proof P is the polytope of A’w<=1 Case 1: –The polytope P is in k-near-isotropic position
K-near-isotropic Case Upper bound of the total shadow length. Lower bound the expected length of each edge. Number of edges of the shadow is poly in size w.h.p.
Expected Edge Length The Expected Edge Length is at least:
Case 1 Main Theorem The expected number of edges is at most
None-K-Isotropic Case The expected shadow size inside any given ball is small
None-K-near-Isotropic Case Upper bound of the total shadow length within the given ball. Lower bound the expected length of each edge within the given ball. Number of edges of the shadow is poly in size w.h.p.
Outline of the Algorithm Run Shadow Vertex Simplex on the Randomized Input –If Find Optimal then halt Else transform the coordinates and run shadow vertex simplex on the transformed inputs Algorithm will halt in poly-time w.h.p.
Summery and Intuitions Deterministic algorithms run exponential time on some “bad” inputs By introducing some randomness into the algorithm fixed the problem. The Randomized algorithm run poly time on all inputs with high probability. Start with something strict, which is easy to prove the poly-bound, eliminate the bad events in poly-time.