Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations

3
Quelles sont les preuves que ?
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 moitié sur …
1
Candidats naturels pour NP-E et E-NP
On sait depuis le début des années 70 que NPNP{\bf NP} et E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) ne sont pas égaux (carEE{\bf E} n'est pas fermé par des réductions de plusieurs un en temps polynomial, en revanche à NPNP{\bf NP} ). Pour autant que je sache, cependant, il est toujours possible de savoir …
2
Y a-t-il un problème informatique qui est en temps quasi polynomial mais qui n'est (peut-être) pas en
Le temps quasi-polynomial, ou QP pour faire court, est une classe de complexité sur la machine de Turing déterministe. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Alors que βP est une classe de complexité de non-déterminisme limité. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Il est facile de voir que n'importe quelle machine de …
1
Problèmes 2-NEXPTIME-complete
Nous avons un problème et nous avons trouvé un algorithme qui semble être 2-nexptime. Je voudrais trouver des problèmes connus de 2-nexptime-complete afin de trouver une borne inférieure. J'ai trouvé dans la littérature principalement deux de ces problèmes: si PCP comme solution de taille inférieure à22n22n2^{2^n} et le problème du …
2
Complexité exacte d'un problème en
Soit xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} pour i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , avec la promesse que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (où la somme est supérieure à ZZ\mathbb{Z} ). Quelle est alors la complexité de déterminer si x=1x=1x = 1 ? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} x = 1 A C 0x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = …
2
Conséquences des OWF pour la complexité
Il est bien connu que l'existence de fonctions unidirectionnelles est nécessaire et suffisante pour une grande partie de la cryptographie (signatures numériques, générateurs pseudo-aléatoires, cryptage à clé privée, etc.). Ma question est: quelles sont les conséquences théoriques de la complexité de l'existence de fonctions à sens unique? Par exemple, owfs …
2
L'informatique quantique adiabatique est-elle aussi puissante que le modèle de circuit?
Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu de l'un des éléments suivants. L'informatique quantique adiabatique est-elle …
2
Résultats de complexité pour les fonctions récursives élémentaires inférieures?
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪ DTIME ( 22n) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) …
1
Littérature autour de NP vs EXPTIME
Même si ce n'est pas un point crucial, je ne vois aucune littérature autour de cette question. Y a-t-il des résultats de relativisation? Ne serait-il pas assez simple de prouver une inclusion stricte en adaptant le théorème de la hiérarchie temporelle non déterministe en explorant tous les chemins possibles de …
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.