En teoría de la complejidad computacional, la clase de complejidad co-NP-completo es el conjunto de los problemas de decisión más difíciles de la clase co-NP, en el sentido de que son los que menos parecen pertenecer a la clase de complejidad P.