SAT et les problèmes de NP

TBD plan

TBD thm de Levin-cook. Pour l'instant que algo = pseudo-code. Voir NP avec reso poly. Ici pseudo-code non déterministe. Premier lien entre non déterministe qui peut s'écrire comme déterministe. C'est genre l'intuition algorithmique (ie un oracle)