NC-Log-space-uniform est contenu dans un espace polylogue déterministe (parfois écrit PolyL). Le RNC à espace de log uniforme est-il également dans cette classe? La version standard randomisée de PolyL devrait être en PolyL, mais je ne vois pas que RNC (uniforme) est en randomL-PolyL. La difficulté...
La parité-L est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation" (plutôt qu'un nombre nul ou non nul de chemins d'acceptation), et qui est en outre limité à travailler dans l'espace...
En lisant l'article "Est-il temps de déclarer la victoire en comptant la complexité?" sur le blog "Godel's Lost Letter and P = NP" , ils ont mentionné la dichotomie pour les CSP. Après quelques liens après, googler et wikipeding, je suis tombé sur le théorème de Ladner : Théorème de Ladner: Si ,...
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...
Quelles seraient les conséquences de #P = FP? Je m'intéresse aux conséquences pratiques et théoriques. D'un point de vue pratique, je m'intéresse particulièrement aux conséquences sur l'intelligence artificielle. Les pointeurs vers des articles ou des livres sont plus que bienvenus. Veuillez ne pas...
L'étude de la représentation succincte des graphiques a été lancée par Galperin et Wigderson dans un article de 1983, où ils prouvent que pour de nombreux problèmes simples comme la recherche d'un triangle dans un graphique, la version succincte correspondante dans -complete. Papadimitriou et...
Existe-t-il des problèmes naturels dans qui ne sont pas (connus pour être / pensés être) dans ?U P ∩ c o U PNP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Évidemment, le grand que tout le monde connaît dans est la version décisionnelle de l'affacturage (n'a pas un facteur de taille au plus...
Récemment, Ryan Willams a prouvé que la constructivité dans la preuve naturelle est inévitable pour dériver une séparation des classes de complexité: et . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La constructivité dans la preuve naturelle est une condition que toutes les preuves...
Hé les gars, je comprends que l'astuce de remplissage nous permet de traduire les classes de complexité vers le haut - par exemple . Le remplissage fonctionne en "gonflant" l'entrée, en exécutant la conversion (disons de à ), ce qui donne un algorithme "magique" que vous pouvez exécuter sur...
Ceci est lié à la question La taille de l'adhésion des témoins pour chaque langue NP est-elle déjà connue? Certains problèmes naturels (-complet) ont des témoins de longueur linéaire: une affectation satisfaisante pour , une séquence de sommets pour ,
Il existe une littérature abondante et au moins un très bon livre exposant la dureté connue des résultats d'approximation pour les problèmes NP-difficiles dans le contexte d'erreur multiplicative (par exemple, l'approximation 2 pour la couverture des sommets est optimale en supposant UGC). Cela...
Quelles sont les raisons impérieuses de croire ? L est la classe des algorithmes de l'espace de journal avec des pointeurs vers l'entrée.L≠PL≠PL\neq P Supposons que L = P pour le moment. À quoi ressemblerait un algorithme d'espace de journalisation pour un problème P-complet dans ses grandes...
La théorie de la complexité, à travers des concepts tels que la complétude NP, fait la distinction entre les problèmes de calcul qui ont des solutions relativement efficaces et ceux qui sont insolubles. La complexité "fine" vise à affiner cette distinction qualitative en un guide quantitatif quant...
Considérez les problèmes d'optimisation de la forme suivante. Soit une fonction calculable en temps polynomial qui mappe une chaîne en un nombre rationnel. Le problème d'optimisation est le suivant: quelle est la valeur maximale de sur les chaînes à bits ?x f ( x ) n xf(x)f(x)f(x)xxxF( x...
En lisant une réponse de Peter Shor et une question précédente d'Adam Crume, j'ai réalisé que j'avais des idées fausses sur ce que signifie être -hard.PP\mathsf{P} Un problème est -hard si un problème dans est réductible à lui avec des réductions (ou si vous préférez ). Un problème est en dehors de...
Dans ce fil , la tentative de preuve Norbet Blum est succinctement réfutée en notant que la fonction Tardos est un contre-exemple du théorème 6.P≠NPP≠NPP \neq NP Théorème 6 : Soit une fonction booléenne monotone. Supposons qu'il existe un approximateur CNF-DNF A qui peut être utilisé pour prouver...
Je me demande s'il y a une justification pour croire que ou pour croire que N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L On sait que . La littérature sur dérandomisation de R L est assez convaincant que R L = L . Quelqu'un connaît-il des articles ou des idées convaincants que N L ≠ L ?NL ⊂ L2NL⊂L2NL...
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq
BQP est-il égal à BPP avec accès à un oracle de sous-groupe caché
Inspiré par la question de l' affacturage connu pour être P-dur , je me demande quel est l'état similaire actuel des connaissances sur la dureté de l'isomorphisme du graphe. Je suis sûr que l'on ne sait pas actuellement si GI est en P, mais: quelle est la plus grande classe actuellement connue que...