Je me demande si les classes NPC définies par plusieurs réductions et les réductions de Turing sont égales.
Edit: Une autre question, est-ce que les réductions de Turing ne font que réduire les classes C et co-C pour certains C ou existe-t-il une classe telle qu'il existe un problème qui n'est pas dans sous la réduction de Karp et qui est en sous la réduction de Turing ?C ∪ c o - C C