๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Planar Hamiltonian Circuit Problem is NP-Complete

โœ Scribed by Garey, M. R.; Johnson, D. S.; Tarjan, R. Endre


Book ID
118169405
Publisher
Society for Industrial and Applied Mathematics
Year
1976
Tongue
English
Weight
768 KB
Volume
5
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Planar 3DM is NP-complete
โœ M.E Dyer; A.M Frieze ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 591 KB
The STO problem is NP-complete
โœ P. Krysta; L. Pacholski ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 233 KB

We prove that the problem STO of deciding whether or not a finite set E of term equations is subject to occur-check is in NP. E is subject to occur-check if the execution of the Martelli-Montanari unification algorithm gives for input E a set E โˆช {x = t}, where t = x and x appears in t. Apt et al. (