Problèmes NP-Complete qui admettent un algorithme efficace sous la promesse d'une solution unique
Je lisais récemment un très bon article de Valiant et Vazirani qui montre que si NP≠RPNP≠RP\mathbf{NP \neq RP} , il ne peut pas y avoir d'algorithme efficace pour résoudre SAT même sous la promesse qu'il est insatisfaisant ou qu'il a une solution unique. Montrant ainsi que SAT n'admet pas...