38 LINEAR PROGRAMMING

Linear programming has many important practical applications, and has also given rise to a wide body of theory. See Section 38.9 for recommended sources. Here we consider the linear programming problem in the form of maximizing a linear function of d variables subject to n linear inequalities. We focus on the relationship of the problem to computational geometry, i.e., we consider the problem in small dimension. More precisely, we concentrate on the case where d ≪ n, i.e., d = d(n) is a function that grows very slowly with n. By linear programming duality, this also includes the case n ≪ d. This has been called fixed-dimensional linear programming, though our viewpoint here will not treat d as constant. In this case there are strongly polynomial algorithms, provided the rate of growth of d with n is small enough. The plan of the chapter is as follows. In Section 38.2 we consider the simplex method, in Section 38.3 we review deterministic linear time algorithms, in Section 38.4 randomized algorithms, and in Section 38.5 we consider the derandomization of the latter. Section 38.6 discusses combinatorial framework of LP-type problems which is underlying most current combinatorial algorithms and allows their application to a host of optimization problems. In Section 38.7 we examine parallel algorithms, and finally in Section 38.8 we briefly discuss related issues. The emphasis throughout is on complexity-theoretic bounds for the linear programming problem in the form 38.1.1.

[1]  Timothy M. Chan Geometric Applications of a Randomized Optimization Technique , 1998, SCG '98.

[2]  Timothy M. Chan Deterministic algorithms for 2-d convex programming and 3-d online linear programming , 1997, SODA '97.

[3]  Timothy M. Chan Fixed-dimensional linear programming queries made easy , 1996, SCG '96.

[4]  Emo Welzl,et al.  Linear Programming - Randomization and Abstract Frameworks , 1996, STACS.

[5]  N. Amenta,et al.  Deformed products and maximal shadows of polytopes , 1996 .

[6]  Martin E. Dyer,et al.  A parallel algorithm for linear programming in fixed dimension , 1995, SCG '95.

[7]  Kenneth L. Clarkson,et al.  Las Vegas algorithms for linear and integer programming when the dimension is small , 1995, JACM.

[8]  Jirí Matousek,et al.  On Enclosing k Points by a Circle , 1995, Inf. Process. Lett..

[9]  Martin E. Dyer,et al.  The Worst-Case Running Time of the Random Simplex Algorithm is Exponential in the Height , 1995, Inf. Process. Lett..

[10]  Bernd Gärtner,et al.  Randomized Simplex Algorithms on Klee-Minty Cubes , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[11]  Peter Widmayer,et al.  k-Violation Linear Programming , 1994, Inf. Process. Lett..

[12]  Jiří Matoušek,et al.  Lower Bounds for a Subexponential Optimization Algorithm , 1994, Random Struct. Algorithms.

[13]  Nina Amenta,et al.  Helly-type theorems and Generalized Linear Programming , 1994, Discret. Comput. Geom..

[14]  Nina Amenta,et al.  Bounded boxes, Hausdorff distance, and a new proof of an interesting Helly-type theorem , 1994, SCG '94.

[15]  Noga Alon,et al.  Parallel linear programming in fixed dimension almost surely in constant time , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[16]  Michiel H. M. Smid,et al.  Static and Dynamic Algorithms for k-Point Clustering Problems , 1993, J. Algorithms.

[17]  Micha Sharir,et al.  Computing the Smallest K-enclosing Circle and Related Problems , 1993, Comput. Geom..

[18]  Michael T. Goodrich Geometric partitioning made easier, even in parallel , 1993, SCG '93.

[19]  Bernd Gärtner A Subexponential Algorithm for Abstract Optimization Problems , 1992, FOCS.

[20]  Martin E. Dyer,et al.  A class of convex programs with applications to computational geometry , 1992, SCG '92.

[21]  Jirí Matousek,et al.  Linear optimization queries , 1992, SCG '92.

[22]  Micha Sharir,et al.  A subexponential bound for linear programming , 1992, SCG '92.

[23]  Nimrod Megiddo,et al.  A deterministic poly(log log N)-time N-processor algorithm for linear programming in fixed dimension , 1992, STOC '92.

[24]  Micha Sharir,et al.  A Combinatorial Bound for Linear Programming and Related Problems , 1992, STACS.

[25]  David Eppstein,et al.  Dynamic three-dimensional linear programming , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[26]  David Avis,et al.  A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra , 1991, SCG '91.

[27]  Emo Welzl,et al.  Smallest enclosing disks (balls and ellipsoids) , 1991, New Results and New Trends in Computer Science.

[28]  F. Frances Yao,et al.  Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[29]  Richard M. Karp,et al.  Parallel Algorithms for Shared-Memory Machines , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[30]  Xiaotie Deng An Optimal Parallel Algorithm for Linear Programming in the Plane , 1990, Inf. Process. Lett..

[31]  Raimund Seidel,et al.  Linear programming and convex hulls made easy , 1990, SCG '90.

[32]  Nimrod Megiddo On the ball spanned by balls , 1989, Discret. Comput. Geom..

[33]  Martin E. Dyer,et al.  A randomized algorithm for fixed-dimensional linear programming , 1989, Math. Program..

[34]  K. Borgwardt The Simplex Method: A Probabilistic Analysis , 1986 .

[35]  Kenneth L. Clarkson Further applications of random sampling to computational geometry , 1986, STOC '86.

[36]  Éva Tardos,et al.  A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs , 1986, Oper. Res..

[37]  Kenneth L. Clarkson,et al.  Linear Programming in O(n * (3_d)_2) Time , 1986, Information Processing Letters.

[38]  Martin E. Dyer,et al.  Linear Time Algorithms for Two- and Three-Variable Linear Programs , 1984, SIAM J. Comput..

[39]  Nimrod Megiddo,et al.  Linear Programming in Linear Time When the Dimension Is Fixed , 1984, JACM.

[40]  Stephen Smale,et al.  On the average number of steps of the simplex method of linear programming , 1983, Math. Program..

[41]  M. E. Dyer,et al.  The Complexity of Vertex Enumeration Methods , 1983, Math. Oper. Res..

[42]  Nimrod Megiddo,et al.  Linear-Time Algorithms for Linear Programming in R^3 and Related Problems , 1982, FOCS.

[43]  David E. Muller,et al.  Finding the Intersection of two Convex Polyhedra , 1978, Theor. Comput. Sci..

[44]  V. Klee,et al.  HOW GOOD IS THE SIMPLEX ALGORITHM , 1970 .