Questions marquées «cc.complexity-theory»

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

2
Raisons de croire
Cette question a été migrée à partir de Computer Science Stack Exchange car il est possible d'y répondre sur Théoretics Computer Science Stack Exchange. Migré il y a 6 ans . Il semble que beaucoup de gens croient que , en partie parce qu'ils pensent que l'affacturage n'est pas résolu …
1
Décider si un circuit
Quelle est la complexité de décider si un circuit avec bits d'entrée et bits de sortie calcule une permutation de ? en d'autres termes, si chaque chaîne de bits dans est une sortie du circuit pour une entrée? Cela ressemble à un problème qui a été étudié, mais je ne …
2
Complexité des propriétés topologiques.
Je suis un informaticien qui suit un cours sur la topologie (une pincée de topologie ponctuelle fortement aromatisée par la théorie du continuum). Je me suis intéressé aux problèmes de décision en testant une description d'un espace (par simplification) pour les propriétés topologiques; ceux conservés jusqu'à l'homéomorphisme. Il est connu, …
2
Problèmes NP-intermédiaires avec des solutions quantiques efficaces
Peter Shor a montré que deux des problèmes NP-intermédiaires les plus importants, l'affacturage et le problème de log discret, sont en BQP. En revanche, le meilleur algorithme quantique connu pour SAT (recherche de Grover) ne produit qu'une amélioration quadratique par rapport à l'algorithme classique, laissant entendre que les problèmes NP-complets …
6
Quels problèmes SAT sont faciles?
Que sont les "régions faciles" pour la satisfiabilité? En d'autres termes, des conditions suffisantes pour qu'un solveur SAT puisse trouver une affectation satisfaisante, en supposant qu'elle existe. Un exemple est lorsque chaque clause partage des variables avec quelques autres clauses, en raison d'une preuve constructive de LLL, d'autres résultats dans …
1
Complexité de l'alimentation de la matrice
Soit une matrice entière carrée, et soit un entier positif. Je m'intéresse à la complexité du problème de décision suivant:MMMnnn L'entrée en haut à droite de positive?MnMnM^n Notez que l'approche évidente du quadrillage itéré (ou de tout autre calcul explicite) nous oblige à gérer potentiellement des entiers de magnitude doublement …
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.