`` Strong '' NP-Completeness Results: Motivation, Examples, and Implications

M. R. Garey, D. S. Johnson
1978 Journal of the ACM  
The NP-completeness of a computational problem ~s frequently taken to unply its "mtractabthty" However, there are certain NP-complete problems mvolvmg numbers, such as PARTITION and KNAPSACK, which are considered by many practitioners to be tractable The reason for this IS that, although no algontluns for solvmg them in tune bounded by a polynomial m the mput length are known, algorithms are known which solve them m tune bounded by a polynomial m the input length and the magmtude of the largest
more » ... number an the given problem mstance. For other NP-complete problems mvolvmg numbers it can be shown that no such "pseudopolynomml tune" algonthra can exist unless P = NP. In this paper we provide a standard framework for stating and proving "strong" NP-completeness results of this sort, survey some of the strong NP-completeness results proved to date, and indicate some unphcauons of these results for both opumlzatlon and approximaUon algontluns KEY WORDS AND PHRASES NP-completeness, pseudo-polynomial Ume, approxunauon schemes CR CATEGORIES 5 25 General permission to make fair use m teaching or research of all or part of this material is granted to individual readers and to nonprofit hbranes actmg for them provided that ACM's copynght notice is given and that reference is made to the pubhcation, to its date of issue, and to the fact that repnntmg privileges were granted by permission of the Association for Computing Machinery To otherwise reprmt a figure, table, other substantial excerpt, or the entire work requires specific permission as does republication, or systemaUc or multiple reproduction.
doi:10.1145/322077.322090 fatcat:cyw7tqo335gfvkowljdenowmby