Soit un oracle générique au sens de la catégorie Cohen / Baire. Soit un oracle aléatoire.ggGRRR Existe-t-il des classes de complexité A et B avec ou le dans l'autre sens, UNEg= BgetUNER≠ BRUNEg=BgetUNER≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RUNEg≠ BgetUNER=...
J'ai un problème qui se trouve dans NEXP et peut également être résolu par une MT alternative utilisant le temps exponentiel et une seule alternance (commençant dans un état existentiel).NPNP^{\text{NP}} Connaît-on NEXP NP ? Est-il égal à NEXP ou à une autre classe? Y a-t-il des problèmes complets...
Je ne me souviens pas d'avoir vu une séparation de classes non basée sur des résultats de diagonalisation et de relativisation. La diagonalisation pourrait toujours être utilisée pour séparer les classes connues restantes, car des arguments non relativisants pourraient toujours être utilisés dans...
Comment peut-on considérer un problème et pourquoi il est probable NP-intermédiaire par opposition à NP-complet? Il est souvent assez simple d'examiner un problème et de dire s'il est probablement NP-complet ou non, mais il me semble beaucoup plus difficile de dire si un problème est...
Je suppose qu'il s'appellerait # P-Space mais je n'ai trouvé qu'un seul article le mentionnant vaguement. Que diriez-vous de la version de comptage des problèmes EXP-TIME-Complete, NEXP-Complete ainsi que EXP-SPACE-Complete? Y a-t-il des travaux antérieurs que l'on peut citer en ce qui concerne...
Réponse: inconnue Un grand merci à tous ceux qui ont contribué à affiner cette question et les définitions qui y sont associées. Les définitions de ce wiki ont fourni le point de départ du plus récent wiki TCS " P contient-il des langues dont l'existence est indépendante de PA ou ZFC? (Wiki...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Considérons maintenant familles de circuits avec portes d'oracle - disons, , où A est une classe complexe de circuit contenant logspace avec accès oracle à une autre classe B , par des portes d'oracle annexés à la base de A . Existe-t-il des exemples...
Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq
Il est connu que certaines classes de complexité syntaxique (non relativisées) entre et P S P A C E ont la propriété suivante, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Je me demande s'il existe une classe de complexité syntaxique (non relativisée) X telle que P P ⊆ X ⊆ P S P A C EPP{\bf P}P...
La classe UP est définie comme telle: La classe de problèmes de décision pouvant être résolus par une machine NP telle que Si la réponse est «oui», exactement un chemin de calcul est accepté. Si la réponse est «non», tous les chemins de calcul sont rejetés. J'essaie de développer l'intuition pour...
Je pensais à quelle classe ce langage appartient: est un graphique, est un nombre naturel et est le nombre chromatique dek k G }L = { ⟨ G , k ⟩ | GL={⟨g,k⟩∣gL =\{ \langle G,k \rangle \mid G kkkkkkG }g}G\} J'ai pensé à comme (1) "il n'y a pas de coloration des couleurs k-1" et (2) "il y a coloration...
Quelles sont les preuves que ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP est la classe de langues pour laquelle il existe une machine de Turing probabiliste qui fonctionne en temps polynomial et répond toujours Oui sur une entrée appartenant à la langue et répond Non avec une probabilité d'au moins la...
Existe-t-il une classe de complexité contenant des homologues en ligne de problèmes d'optimisation? Sinon, comment définir une telle classe? Nous savons que de nombreux problèmes ont leur version en ligne: par exemple, la version en ligne du problème d'emballage de bac. Les problèmes en ligne sont...
Je me demande de savoir wether il y a la langue rares (même construit par diagolanization retardée) dans NPI sous l'hypothèse que .P≠ NPP≠NPP \neq
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais déjà posté...
Une langue est dans la classe D P ssi il y a deux langues L 1 ∈ N P et L 2 ∈ c o N P telles que L = L 1 ∩ L 2LLLD PDPDPL 1 ∈ NPL1∈NPL1 \in NPL 2 ∈ c o NPL2∈coNPL2 \in coNPL = L 1 ∩ L 2L=L1∩L2L = L1 \cap L2 A canonique problème -complete est SAT-UNSAT: étant donné deux expressions 3-CNF, F et G ,...
Conjecture de Berman – Hartmanis: tous les langages NP-complets se ressemblent, en ce sens qu'ils peuvent être liés les uns aux autres par des isomorphismes polynomiaux temporels [1]. Je suis intéressé par une version plus fine du "temps polynomial", c'est-à-dire si nous utilisons des réductions...
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,...
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...
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