HAL Id: hal-00255837
https://hal.archives-ouvertes.fr/hal-00255837
Submitted on 14 Feb 2008
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
The Minimal Logically-Defined NP-Complete Problem
Régis Barbanchon, Etienne Grandjean
To cite this version:
Régis Barbanchon, Etienne Grandjean. The Minimal Logically-Defined NP-Complete Problem. Lec-
ture Notes in Computer Science, Springer, 2004, pp.338-349. �hal-00255837�
"pending" g!edges The gadget True
"pending" g!edges
True
True True
Cj
Cj
Cj
Cj nCj
True
nCj nC
j nC
j nC
j nxi
xi
nxi nx
nx i nx i
i xi
xi xi
xi
True True
Cj True
xi xi Cj
f!edge g!edge
4 3
4 2
3
1 0
2 1
... ...
...
... ... ... ... ... ... ... ...
1 1 2 2 3 3 4 4
5 5
The variable has 5 occurrences. The occurrence 3 of occurs positively in the clause
The clause has length 4 True
!
"
#
