𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computing the Minimum Fill-In is NP-Complete

✍ Scribed by Yannakakis, Mihalis


Book ID
118212383
Publisher
Society for Industrial and Applied Mathematics
Year
1981
Weight
390 KB
Volume
2
Category
Article
ISSN
0196-5212

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Minimum-weight triangulation is NP-hard
✍ Mulzer, Wolfgang; Rote, GΓΌnter πŸ“‚ Article πŸ“… 2008 πŸ› Association for Computing Machinery 🌐 English βš– 707 KB
Minimum-weight triangulation is NP-hard
✍ Mulzer, Wolfgang; Rote, GΓΌnter πŸ“‚ Article πŸ“… 2008 πŸ› Association for Computing Machinery 🌐 English βš– 707 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. (