Théorème de Toda
De Wikipedia, l'encyclopédie encyclopedia
Le théorème de Toda est un résultat en théorie de la complexité, démontré en 1991 par Seinosuke Toda dans son article PP is as Hard as the Polynomial-Time Hierarchy[1], et qui a valu à son auteur le prix Gödel en 1998.