Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

3
Séparation des classes horaires
Un de mes étudiants a récemment posé la question suivante: SupposonsDoit-il exister un h (n) tel que DTIME (f (n)) \ subsetneq DTIME (h (n)) \ subsetneq DTIME (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? Cela pourrait probablement être démontré en construisant un h(n)h(n)h(n) si f,gf,gf,g sont constructibles dans …
3
Séparations de classes de complexité sans théorèmes de hiérarchie
Les théorèmes de la hiérarchie sont des outils fondamentaux. Un bon nombre d'entre eux ont été rassemblés dans une question précédente (voir Quelles hiérarchies et / ou théorèmes de hiérarchie connaissez-vous? ). Certaines séparations de classes de complexité découlent directement des théorèmes de hiérarchie. Exemples de séparations bien connues: L≠PSPACEL≠PSPACEL\neq …
4
Problèmes de graphes NP-Complete sur les graphes orientés mais polynomiaux sur les graphes non orientés
Je recherche des problèmes connus pour être des PNJ pour les graphes dirigés mais qui ont un algorithme polynomial pour les graphes non orientés. J'ai vu la question concernant l'inverse des problèmes «dirigés» qui sont plus faciles que leur variante «non dirigée» , mais je recherche la dureté du côté …
2
Quelle est la taille d'un NFA par rapport à l'automate fini sans ambiguïté minimal (UFA) de la même langue régulière?
Les automates finis sans ambiguïté (UFA) sont un type spécial d'automates finis non déterministes (NFA). Un NFA est appelé sans ambiguïté si chaque mot a au plus un chemin d'acceptation.w∈Σ∗w∈Σ∗w\in \Sigma^* Cela signifie .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Résultats d'automate associés connus: La minimisation NFA est PSPACE-Complete. La minimisation NFA sur les …
1
Donne une approche à la «détermination discrète de Borel»
Gowers a récemment souligné un problème, qu'il appelle «la détermination discrète de Borel», dont la solution est liée à la vérification des limites inférieures du circuit. Pouvez-vous fournir un résumé de l'approche adaptée à un public de théoriciens de la complexité? Que faudrait-il pour que cette approche prouve quoi que …
2
Nouvel algorithme pour le journal discret et ses implications pour l'informatique quantique
Un nouvel article est sorti revendiquant un algorithme quasi-polynomial pour le logarithme discret. http://arxiv.org/abs/1306.4244 Si elle est correcte, cela signifie-t-il que nous n'avons plus de séparation exponentielle en complexité d'un algorithme classique et de sa version quantique pour le problème du logarithme discret? Cela a-t-il une implication pour la théorie …
1
Implications de l'approximation du déterminant
On sait que l'on peut calculer exactement le déterminant d'une matrice dans l' espace determinstic . Quelles seraient les implications de complexité d'approximer le déterminant d'une matrice réelle, de norme au plus ( ) dans l'espace logarithmique randomisé, jusqu'à un 1 / \ text {poly } précision?n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} À …
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.