Abstract
NP-problems are considered in this paper as recognition problems over some alphabet Σ, i.e. A ⊂ Σ* is is an NP problem if there exists a NDTM (non-deterministic Turing machine) recognizing A in polynomial time. It is easy to show that the following theorem holds true.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
A.V. AHO, J.E.HOPCROFT and J.D.ULLMAN: The Design and Analysis of Computer Algorithms, Addison Wesley (1974).
S.A.COOK: The Complexity of Theorem Proving Procedures,3-rd STOC (1971), pp. 151–158.
G.N.FREDERICKSON, M.S.HECHT and C.E.KIM: Approximation Algorithms for some Routing Problems, 17-th Annual Symposium on Foundations of Computing Sciences, pp. 216–227.
M.R.GAREY, D.S.JOHNSON and L.STOCKMEYER: Some Simplified NP-Complete Problems,6-th STOC (1974), pp. 47–63.
J.HARTMANIS and L.BERMAN: On Isomorphism and Density of NP and Other Complete Sets, 8-th STOC (1976), pp. 30–40
D.S.JOHNSON: Approximation Algorithms for Comcinatorial Problems, 5-th STOC (1973), pp.3849.
R.M.KARP: Reducibility among Combinatorial Problems, R.E.Miller and J.W.Thatcher (eds.), Plenum Press, N.Y. (1972), pp. 85–104.
D.E.KNUTH: Postcript about NP Hard Problems, SIGAT News, 23, (April 1974) pp. 15–16.
C.H.PAPADIMITRIOU and K.STEIGLITZ: Some Complexity. Results for the TSP, 8-th STOC (1976), pp. 1–9.
S.SAHNI: General Techniques for Combinatorial Approximation, TR. 76–6, University of Minnesota, Dept. of Computer Sciences, (1976).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Wien
About this chapter
Cite this chapter
Paz, A., Moran, S. (1981). Non-Deterministic Polynomial Optimization Problems and Their Approximation. In: Ausiello, G., Lucertini, M. (eds) Analysis and Design of Algorithms in Combinatorial Optimization. International Centre for Mechanical Sciences, vol 266. Springer, Vienna. https://doi.org/10.1007/978-3-7091-2748-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-7091-2748-3_1
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-81626-4
Online ISBN: 978-3-7091-2748-3
eBook Packages: Springer Book Archive