Geometric Optimization and Polynomial Hierarchy

We illustrate two different techniques of accurately classifying geometric optimization problems in the polynomial hierarchy. We show that if NP≠Co-NP then there are interesting natural geometric optimization problems (location-allocation problems under minsum) in △ 2 P that are in neither NP nor Co-NP. Hence, all these problems are shown to belong properly to △ 2 P , the second level of the polynomial hierarchy. We also show that if NP≠Co-NP then there are again some interesting geometric optimization problems (location-allocation problems under minmax), properly in △ 2 P and furthermore they are complete for a class DP (which is contained in △ 2 P and contains NP Co-NP).

[1]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[2]  Alan L. Selman,et al.  Analogues of Semicursive Sets and Effective Reducibilities to the Study of NP Complexity , 1982, Inf. Control..

[3]  P. Hansen,et al.  Technical Note - Location Theory, Dominance, and Convexity: Some Further Results , 1980, Oper. Res..

[4]  L. Cooper.  Location-Allocation Problems , 1963 .

[5]  Nimrod Megiddo,et al.  On the Complexity of Some Common Geometric Location Problems , 1984, SIAM J. Comput..

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Ronald L. Graham,et al.  Some NP-complete geometric problems , 1976, STOC '76.

[8]  Chanderjit Bajaj,et al.  On the duality of intersection and closest points , 1983 .

[9]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[10]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[11]  Robert J. Fowler,et al.  Optimal Packing and Covering in the Plane are NP-Complete , 1981, Inf. Process. Lett..

[12]  Daniel J. Moore,et al.  Optimization Problems and the Polynomial Hierarchy , 1981, Theor. Comput. Sci..

[13]  Richard E. Wendell,et al.  Location Theory, Dominance, and Convexity , 1973, Oper. Res..

[14]  Mihalis Yannakakis,et al.  The complexity of facets (and some facets of complexity) , 1982, STOC '82.

[15]  J. Krarup,et al.  Selected Families of Location Problems , 1979 .

[16]  Christos H. Papadimitriou,et al.  Worst-Case and Probabilistic Analysis of a Geometric Location Problem , 1981, SIAM J. Comput..