Questions marquées «logspace»

2
Quelles sont les conséquences de
Shiva Kintali vient d'annoncer un résultat (cool!) Que l' isomorphisme des graphes pour les graphes à largeur d'arbre bornée de largeur est ⊕ L -hard≥4≥4\geq 4⊕L⊕L\oplus L . De manière informelle, ma question est: "C'est difficile?" Nous savons que non uniformément , voir les réponses à cette question . Nous …
1
Complexité de la version de recherche de 2-SAT en supposant
Si , alors il y a un algorithme de logspace qui résout la version de décision de 2-SAT.L=NLL=NL\mathsf{L = NL} Est-il connu que implique qu'il existe un algorithme d'espace de journalisation pour obtenir une affectation satisfaisante , lorsqu'il reçoit une instance 2-SAT satisfaisante en entrée?L=NLL=NL\mathsf{L = NL} Sinon, qu'en est-il …
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 …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.