Informatique théorique ppad

1

Réfutation des preuves: revues d'amateurs de documents ambitieux du CdRR

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é. Voici …

24 soft-question graph-isomorphism paper-review ppad

2

Représentation en circuit succinct des graphiques

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 …

20 reference-request combinatory-logic graph-theory ppad

1

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 pour les petits circuits …

15 cc.complexity-theory circuit-complexity logspace ppad ac0

2

PPAD capture-t-il vraiment la notion de trouver un autre sommet déséquilibré?

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 déséquilibré dans …

13 cc.complexity-theory reductions search-problem ppad

1

Pourquoi ces deux définitions de PPAD sont-elles équivalentes?

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 …

13 cc.complexity-theory complexity-classes ppad

1

Quand les stratégies d'équilibre

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 …

9 reference-request gt.game-theory ppad

Questions marquées «ppad»