On que car l'inverse impliquerait . Le théorème de Ladner établit que si alors . Cependant, la preuve ne semble pas généraliser à donc la possibilité ie semble ouvert.NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}PH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne...
Le théorème de Karp – Lipton déclare que si , alors s'effondre en . Par conséquent, en supposant des séparations entre et , aucun problème complet n'appartiendra à .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Une langue est en s'il existe une machine de Turing de l'espace de log qui décide de la langue avec une quantité polynomiale de conseils.L/polyL/polyL/poly Voir ici pour plus d'informations: https://en.wikipedia.org/wiki/L/poly Question Quelles sont les conséquences de ?P⊆L/polyP⊆L/polyP \subseteq...
P/ poly= NP/ polyP/poly=NP/polyP/poly = NP/poly impliqueNP⊆ P/ polyNP⊆P/polyNP \subseteq P/poly , qui à son tour a des conséquences intéressantes comme l'effondrement de la hiérarchie polynomiale. Y a-t-il des implications intéressantes pour P/ poly≠ NP/ polyP/poly≠NP/polyP/poly \neq NP/poly...
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) ,...
Par BPP / linéaire, je me réfère aux machines BPP avec conseil linéaire, qui remplissent la promesse quand on leur donne le conseil "correct", et la dérandomisation devrait nous donner, disons, un algorithme P / linéaire ou (SUBEXP / linéaire). Si nous utilisons des hypothèses non uniformes, je...
Cette question s'est posée dans le contexte de la cryptographie, mais je la présenterai ci-dessous en termes de théorie de la complexité, car les gens ici connaissent mieux cette dernière. Cette question est liée à des problèmes dans NP mais pas dans Average-P / poly et Beating Nonuniformity par...
J'ai pensé à la question suivante à plusieurs reprises depuis que j'ai vu cette question sur la cryptographie . Question Soit une relation TFNP . Un oracle aléatoire peut-il aider P / poly à casser avec une probabilité non négligeable? Plus formellement, \ newcommand {\ Pr} {\ operatorname {Pr}} \...
Je suis curieux de savoir comment vous avez vu la non-uniformité être utile dans le calcul. Une façon est le caractère aléatoire, comme dans , et une autre est des tables de recherche qui sont utilisées pour montrer que toutes les langues ont des circuits non uniformes.B PP⊆ P/ polyBPP⊆P/polyBPP...