Est-ce que ?
Que se passe-t-il si nous définissons telle sorte qu'au lieu d'un circuit Turing-machine / polysize polytime, une machine Turing espace journal ou un circuit code le problème?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} Donner récemment des algorithmes plus rapides pour la satisfiabilité des circuits...