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 réels.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Cependant, lorsque vous utilisez …
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 existe …
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 ? S12S21S_{2}^{1}S12S21S_{2}^{1}
Contexte : Kavvadias et Sideri ont montré que le problème inverse 3-SAT est coNP Complet: Étant donné un ensemble de modèles sur n variables, existe-t-il une formule 3-CNF telle que ϕ est son ensemble exact de modèles? Une formule candidate immédiate apparaît, qui est la conjonction de toutes les 3 …
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, …
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} Par "simple", j'entends une preuve plus simple que celle que je …
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 déterminant de calcul de circuit arithmétique …
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, c'est-à-dire que la probabilité d'erreur est au plus1313\frac{1}{3} (pour les …
Dans la plupart des systèmes de preuve probabilistes (théorème PCP, par exemple), les probabilités d'erreur sont généralement définies du côté des faux positifs, c'est-à-dire qu'une définition typique pourrait ressembler à: si alors le vérificateur accepte toujours, mais dans les autres cas, la probabilité de rejet est d'au moins 1/2.x ∈ …
Je n'ai pas pu trouver de déclaration reliant M AMA\mathsf{MA} et N PR PNPRP\mathsf{NP}^\mathsf{RP} dans la littérature; des pointeurs seraient appréciés. Je pense qu'ils sont égaux: M A ⊆ N PR PMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : LamachineN PNP\mathsf{NP} devine la chaîne de Merlin, et l'oracleR PRP\mathsf{RP} vérifie la chaîne comme Arthur …
Soit tout problème complet d'EXP. Ensuite, P A = N P A .AAAPA=NPAPA=NPAP^A = NP^A Que soit un oracle qui prend en compte les requêtes que M (un TM en P) fera, et nous pouvons obtenir P B ≠ N P B .BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Question: Avons-nous des résultats oracle …
Wikipédia écrit: FPT contient les problèmes traitables à paramètres fixes, qui sont ceux qui peuvent être résolus dans le temps pour une fonction calculable f . En règle générale, cette fonction est considérée comme une seule exponentielle, comme 2 O ( k ), mais la définition admet des fonctions qui …
Pour célébrer l'anniversaire d'Alan Turing, Google a publié un doodle montrant une machine. Quel type de machine est le doodle? Peut-il exprimer une langue Turing Complete? Il existe des différences évidentes avec la machine de turing classique: une bande finie, des contraintes dans la façon dont l'état peut être connecté, …
Décider de l'homomorphisme du graphe est en général NP-complet. Y a-t-il des résultats qui étudient ce problème lorsque les graphiques sous-jacents ont une structure algébrique (tels que la décision d'homomorphismes à partir de graphiques de Cayley ou de cosets Cayley vers d'autres graphiques avec une structure définie également)? En plus …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.