On donne deux définitions équivalentes. - co-NP est l`ensemble des langages qui ont pour complémentaire (au sens des langages) un langage de NP. - Une autre façon de voir est que co-NP est l`ensemble des langages pour lesquels une preuve vérifiable en temps polynomial peut prouver la non-app...