Il est bien connu que si P=NPP=NP\mathbf{P}=\mathbf{NP} puis la hiérarchie polynomiale effondre et P=PHP=PH\mathbf{P}=\mathbf{PH} . Cela peut facilement être compris par induction en utilisant des machines Oracle. La question est - pourquoi ne pouvons-nous pas poursuivre le processus inductif...
Ici, l'objectif est de réduire un problème SAT arbitraire à 3-SAT en temps polynomial en utilisant le moins de clauses et de variables. Ma question est motivée par la curiosité. Moins formellement, j'aimerais savoir: "Quelle est la réduction" la plus naturelle "du SAT au 3-SAT?" Maintenant, la...
n(n+1)(n+1)(n + 1) points sont nécessaires pour déterminer de façon unique un polynôme de degré ; par exemple, deux points dans un plan déterminent exactement une ligne.nnn Combien de points sont nécessaires pour déterminer de manière unique une fonction calculable , étant donné la longueur d'un...
Travailler directement avec la complexité du temps ou les limites inférieures du circuit est effrayant. Par conséquent, nous développons des outils tels que la complexité des requêtes (ou la complexité de l'arbre de décision) pour comprendre les limites inférieures. Étant donné que chaque requête...
EDIT (22 août 2011): Je simplifie encore la question et je mets à contribution la question. Peut-être que cette question plus simple aura une réponse facile. Je vais également biffer toutes les parties de la question initiale qui ne sont plus pertinentes. (Merci à Stasys Jukna et Ryan O'Donnell...
La XORification est la technique pour rendre plus difficile une fonction ou une formule booléenne en remplaçant chaque variable par le XOR de k ≥ 2 variables distinctes x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Je connais les utilisations de cette technique dans la...
Il est bien connu que les ordinateurs quantiques sont strictement plus puissants que leurs homologues classiques en termes de complexité des requêtes . Existe-t-il d'autres modèles (naturels ou artificiels) qui se situent strictement entre le quantique et le classique en termes de complexité des...
Que sait-on de la complexité exacte du problème de chaîne la plus courte? Peut-il être résolu plus rapidement que ? Existe-t-il des algorithmes connus qui résolvent la super chaîne la plus courte sans réduire au TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: supprime les facteurs polynomiaux.O∗(⋅)O∗(⋅)O^*(\cdot) Le...
Je pense que ce serait une bonne idée de faire une liste de théorèmes indiquant que P n'est pas égal à NP si et seulement si telle ou telle sortie, une classe de complexité est contenue dans une autre classe de complexité et ainsi de suite et ainsi de suite.
Soit une formule CNF satisfaisante avec n variables et m clauses. Soit S F 1 l'espace de solution de F 1 .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considérons le problème de déterminer, étant donné , une autre formule CNF F 2 avec le même ensemble de variables que F 1 , avec S F 2 = S F 1 (même espace de...
IP = PSPACE est répertorié comme l'exemple canonique d'un résultat non relativisant, et la preuve en est qu'il existe un oracle OOO tel que , tandis que {\ sf coNP} ^ O \ subseteq {\ sf PSPACE} ^ O pour tous oracles O .c o N P O ⊆ P S P A C E O OcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf...
Des travaux ont-ils été effectués sur la façon dont la complexité des instances aléatoires de # 2-SAT varie avec la densité de la clause? C'est-à-dire: comment la difficulté de compter des solutions satisfaisantes pour une instance générée aléatoirement de 2-SAT varie-t-elle, comme la densité de...
Comme vous le savez, il existe de nombreuses anomalies pour les machines de Turing à bande unique lorsque le temps est : simulation multi-bande TM, simulation d'un alphabet de bande plus grand avec seulement , constructibilité temporelle, non-étanchéité du théorème de la hiérarchie temporelle, ...o...
Le zoo de complexité n'a pas grand-chose sur . Je recherche un joli problème qui se situe aux niveaux supérieurs de la hiérarchie, c'est-à-dire un problème dans mais dans .SCSC\mathsf{SC} † D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n) D T i m e S p a c e ( n O ( 1 ) , lg 2...
Mafia est un jeu de rôle populaire lors des fêtes, une description détaillée est disponible sur wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Fondamentalement, cela fonctionne comme suit: Au début, chacun des joueurs se voit secrètement assigner un rôle, soit aligné avec la mafia soit...
Soit BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n)) la classe des problèmes de décision ayant un algorithme aléatoire à erreur bilatérale borné fonctionnant dans le temps .O(f(n))O(f(n))O(f(n)) Connaît-on un problème tel que mais ? Sa non-existence est-elle prouvée? Q ∈ B P T I M E ( n k ) Q ∉ D T I...
La théorie des catégories et l'algèbre abstraite traitent de la façon dont les fonctions peuvent être combinées avec d'autres fonctions. La théorie de la complexité traite de la difficulté de calculer une fonction. C'est bizarre pour moi que je n'ai vu personne combiner ces domaines d'études, car...
Toutes les fonctions dont le poids de Fourier est concentré sur les ensembles de petite taille (ou termes de faible degré) sont-elles calculées par les circuits ?A
La notion de réductions de temps polynomiales (réductions Cook) est l'abstraction d'un concept très intuitif: résoudre efficacement un problème en utilisant un algorithme pour un problème différent. Cependant, dans la théorie de la complétude de , la notion de dureté de N P est capturée par des...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...