1,合取范式问题(le probleme SAT-satisfaisatilite)
2,三元合取范式问题(le probleme 3-SAT)
3,????(le probleme M3D-mariage tri-dimensionnel)
4,顶点涵盖问题(le probleme RS-recouvrement des sommet)
5,分团问题(le probleme CL-clique)
6,汉弥尔顿循环问题(le probleme CH-circuit hamiltonien)
7,NPC变换流程图(le probleme PART-partition)