Je suppose que j'ai lu trop de documents ambitieux du CdRR . Le problème est que ces articles ne sont pas examinés par des pairs, mais semblent souvent intéressants et passent des contrôles de plausibilité de base. Ou peut-être pas, et j'ai juste besoin d'améliorer mes contrôles de plausibilité....
La classe de complexité PPAD (par exemple, le calcul de divers équilibres de Nash) peut être définie comme l'ensemble des problèmes de recherche totaux polytemporaires réductibles en FIN DE LIGNE : FIN DE LIGNE : Étant donné les circuits S et P avec n bits d'entrée et n bits de sortie tels que P (0...
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...
La classe de complexité PPAD est généralement définie en indiquant que End-Of-The-Line est PPAD-complete. La fin de ligne est un problème de recherche. L'entrée consiste en un graphe orienté dans lequel chaque nœud a au plus en degré et en degré 1. Le graphe est donné par une fonction calculable en...
La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet...
Les équilibres de Nash ne sont généralement pas calculables. Un équilibre -Nash est un ensemble de stratégies où, compte tenu des stratégies des adversaires, chaque joueur obtient à moins de ϵ du gain maximum possible. Trouver un équilibre ϵ -Nash, étant donné ϵ et un jeu, est P P A D...