Ma question est pourquoi les bornes inférieures pour les circuits booléens de profondeur 3 avec les portes "et" et "xor" pour le déterminant n'impliquent pas les mêmes bornes inférieures pour les circuits arithmétiques sur ?ZZ\mathbb{Z} Quel est le problème avec l'argument suivant: Soit un...
Je recherche des références sur la complexité du problème d' équilibrage des formules booléennes . En particulier, Savait-on que les formules booléennes pouvaient être équilibrées en ?AC0AC0\mathsf{AC^0} Existe-t-il une preuve simple de l'équilibrage de la formule booléenne en ?AC0AC0\mathsf{AC^0}...
Laissez la classe BPNC (la combinaison de et N C ) être des algorithmes parallèles de profondeur de journal avec une probabilité d'erreur bornée et un accès à une source aléatoire (je ne suis pas sûr que cela ait un nom différent). Définissez la classe DBPNC de la même manière, sauf que tous les...
Dans un discours de Razborov, une curieuse petite déclaration est publiée. Si la FACTORISATION est difficile, alors le petit théorème de Fermat n'est pas prouvable dans .S12S21S_{2}^{1} Qu'est-ce que et pourquoi les preuves actuelles ne figurent-elles pas dans ?
B P PBPP\mathsf{BPP} etZPPZPP\mathsf{ZPP} sont deux des classes de complexité probabiliste de base. BPPBPP\mathsf{BPP} est la classe de langages décidée par les algorithmes de Turing à temps polynomial probabiliste où la probabilité que l'algorithme renvoie une réponse incorrecte est limitée,...
Dans la complexité de la communication, la conjecture log-rank déclare que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Où est la complexité de communication de M ( x , y ) et r k ( M ) est le rang de M (sous forme de matrice) sur les
La classe de complexité est définie comme suit (à partir de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un langage est dans s'il existe un prédicat polynomial tel queLLLSP2S2PS_2^PPPP Si , alors il existe un tel que pour tout ,x ∈ LX∈Lx \in LyyyzzzP( x , y, z) = 1P(X,y,z)=1P(x,y,z)=1 Si , alors il...
L'isomorphisme du graphe (le problème de décision) est-il dans ? Ici est la classe de problèmes de décision acceptée par une machine de Turing sans ambiguïté (voir le zoo de la complexité ).UP∩coUPUP∩coUP\mathsf{UP}\cap
J'essayais de comprendre ces cours mais je me suis toujours embrouillé ... les questions sont: Quelle est la relation entre et , en particulier est-ce une question ouverte?# PFNPFNPFNP# P#P\#P Quelle est la relation de et ? cette question est-elle ouverte?N P⊕ P⊕P\oplus PNPNPNP Qu'en est-il de la...
Un arbre couvrant un graphe est appelé arbre d'exhaustivité si l'ensemble de ses feuilles induit un sous-graphe complet dans le graphe hôte. Étant donné un graphique et un entier k , quelle est la complexité de décider si G contient un arbre d'exhaustivité avec au plus k feuilles?ggGkkkggGkkk Une...
Étant donné un ensemble de points dans l' espace euclidien de dimension , le problème est de déterminer si la coque convexe contient la boule unitaire centrée à l'origine.nnnréréd Ce problème est-il dans NP? Il est en co-NP car on peut donner un point dans la balle en dehors de la coque convexe...
J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...
Si nous pouvons prouver que , cela implique-t-il que ?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Je pensais que c'était le cas, mais je ne peux pas le prouver (également pour
Étant donné un graphe orienté, nous voulons décider s'il contient un cycle orienté de longueur paire. Ce document de 1997 de YUSTER et ZWICK déclare que le problème n'est pas connu pour être en ni pour complet.PPPNPNPNP Y a-t-il un résultat récent qui résout la complexité du problème de cycle pair...
Je suis tombé sur un problème ouvert posé par David Eppstein et je m'intéresse à son état de complexité. Il a supposé qu'il était NP-complet. Entrée: matrice par de 0 et 1, séquence de 0 et 1nnnnnnn2n2n^2 Question: Existe-t-il un chemin à travers les entrées de matrice adjacentes, couvrant chaque...
Appelons une langue NP peu certifiée si et seulement si:L∈L∈L \in Il existe un polynôme tel que pour chaque entrée x ∈ Σ ∗ de taille n , si x ∈ L alors l'ensemble U x des certificats u qui vérifient que x ∈ L est de taille polynomiale, ie | U x | ≤ p ( n ) .p:N→Np:N→Np : \mathbb{N} \rightarrow...
Quelle est la définition standard de Planar 3-SAT? J'ai vu un certain nombre de définitions différentes. Quel est le document original qui l'a défini et a prouvé qu'il était
Dans les rubriques avancées sur les types et les langages de programmation, il est mentionné, dans le chapitre sur les systèmes de types sous-structurels, qu'un calcul lambda affiné "soigneusement conçu" avec un combinateur de récursivité pour les listes ne peut taper que des termes qui ont un...
Y a-t-il des problèmes qui ne peuvent être résolus en temps polynomial que si P! = NP, et autrement résolu en (disons) temps?O(2n)O(2n)O(2^n) Un exemple simple serait: si P! = NP, calculez un test de primalité pour un nombre aléatoire de n bits, sinon, évaluez une position aléatoire dans le pire...
En utilisant le modèle réel RAM / BSS, nous avons la classe NP , (où un BSS est le modèle Blum-Shub-Smale d'un ordinateur avec des opérations sur des réels). Nous avons des problèmes complets de NP _ {\ mathbb {R}} . Donc, la question est de savoir s'il existe un analogue de la conjecture de Berman...