𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


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. (

Le probleme d'etoiles pour graphes est n
✍ FranΓ§ois Lalonde πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science 🌐 English βš– 884 KB

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