The graph genus problem is NP-complete
β Scribed by Carsten Thomassen
- Publisher
- Elsevier Science
- Year
- 1989
- Tongue
- English
- Weight
- 471 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0196-6774
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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. (
Nous appelons problkme de "recoIlement de voisinages" (RV) ("'star prnblem" ou "problk~e d'ktoiles") le probEme qui consiste B savoir, &ant donnee une familje 3r de parties d'un ensemble S, s'il existe un graphe (non orient4 et sans bouclc) dont la famille de voisinages coincide avec 9". L'objectif