Abstract
This paper examines the complexity of global verification for MAX-SAT, MAX-k-SAT (for k≥3), Vertex Cover, and Traveling Salesman Problem. These results are obtained by adaptations of the transformations that prove such problems to be NP-complete. The class of problems PGS is defined to be those discrete optimization problems for which there exists a polynomial time algorithm such that given any solution ω, either a solution can be found with a better objective function value or it can be concluded that no such solution exists and ω is a global optimum. This paper demonstrates that if any one of MAX-SAT, MAX-k-SAT (for k≥3), Vertex Cover, or Traveling Salesman Problem are in PGS, then P=NP.
Similar content being viewed by others
References
Aspvall, B., Plass, M.F. and Tarjan, R.E. (1979), A linear-time algorithm for testing the truth of certain quantified Boolean formulas, Information Processing Letters, 8(3), 121-123.
Cook, S.A., (1971), The complexity of theorem proving procedures, Proceedings of the Third Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, pp. 151-158.
Even, S., Itai, A. and Shamir, A. (1976) On the complexity of timetable and multicommodity flow problems, SIAM Journal on Computing 5, 691-703.
Fischer, S., Hemaspaandra, L. and Torenvliet, L. (1997), Witness-isomorphic reductions and local search. In: Sorbi, A. (ed), Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, NY, pp. 207-223.
Garey, M.R. and Johnson, D.S. (1979), Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, NY.
Garey, M.R., Johnson, D.S. and Stockmeyer, L. (1976), Some simplified NP-complete graph problems, Theoretical Computer Science 1, 237-267.
Grotschel, M. and Lovasz, L. (1995), Combinatorial Optimization. In: R. Graham, M. Grotschel, L. Lovasz (eds), Handbook of Combinatorics, vol. II (North-Holland, Amsterdam), pp. 1541-1597.
Jacobson, S.H. and Solow, D. (1993), The effectiveness of finite improvement algorithms for finding global optima, Methods and Models of Operations Research, 37, 257-272.
Johnson, D.S., Papadimitriou, C.H. and Yannakakis, M. (1988), How easy is local search? Journal of Computer and System Sciences 37, 79-100.
Lemke, C.E. (1965), Bimatrix equilibrium points and mathematical programming, Management Science 11, 442-455.
Megiddo, N. (1988), A note on the complexity of P-matrix LCP and computing an equilibrium, Research Report RJ 6439, IBM Almaden Research Center, San Jose, CA.
Papadimitriou, C.H. and Steilglitz, K. (1977), On the complexity of local search for the traveling salesman problem, SIAM Journal on Computing 6, 76-83.
Schulz, A.S. and Weismantel, R. (1999), An oracle-polynomial time augmentation algorithm for integer programming, Proceedings of the 10 th Annual ACM-SIAM Symposium on Discrete Algorithms, Baltimore, MD, pp. 967-968.
Schulz, A.S., Weismantel, R. and Ziegler, G.M. (1995), 0/1-Integer programming: optimization and augmentation are equivalent. In: P. Spirakis, (ed), Lecture Notes in Computer Science, no. 979, Springer, Berlin, pp. 473-483.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Armstrong, D.E., Jacobson, S.H. Studying the Complexity of Global Verification for NP-Hard Discrete Optimization Problems. Journal of Global Optimization 27, 83–96 (2003). https://doi.org/10.1023/A:1024680908847
Issue Date:
DOI: https://doi.org/10.1023/A:1024680908847