Questions marquées «complexity-classes»

Questions sur les relations entre les classes de complexité.

1
Pourquoi NP est-il dans EXPTIME?
Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps polynomial.
1
Existe-t-il des problèmes naturels
Je sais que le problème de formule booléenne quantifiée pour une formule où ne contient aucun quantificateur et seulement les variables est un exemple d'un -complet. Cependant, je me demande s'il existe des problèmes naturels connus pour être -complets, tout comme la minimisation des circuits est un problème naturel -complete …
2
Est-ce que
Si alors la hiérarchie s'effondre à son deuxième niveau (par le théorème de Karp-Lipton). Mais qu'en est-il de N P et de c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP J'ai essayé de prouver que est contenu dans N P (l'autre sens est trivial si R P = …
1
À quoi ressemblent les classes de complexité, si nous utilisons des réductions de Turing?
Pour raisonner sur des choses comme l'exhaustivité de NP, nous utilisons généralement plusieurs réductions (c.-à-d. Des réductions de Karp). Cela conduit à des images comme celle-ci: (sous conjectures standard). Je suis sûr que nous connaissons tous ce genre de choses. Quelle image obtenons-nous si nous travaillons avec des réductions Turing …
3
Prouver que si alors
J'aimerais vraiment votre aide pour prouver ce qui suit. Si alors .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Ici, est la classe de toutes les langues qui peut être décidée par la machine de Turing non déterministe en temps polynomial de et est la classe de tous les langages qui peut être décidée par …
1
Expressivité des expressions régulières modernes
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …
1
est
Je pense que ces deux classes devraient être les mêmes, mais je ne trouve aucune littérature à ce sujet et j'ai une formation limitée sur le sujet. C'est mon raisonnement, et je voudrais savoir si (1) cela est déjà connu ou (2) j'ai mal compris quelque chose ou (3) je …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.