Existe-t-il un moyen de coder une instance de sous-ensemble de somme ou le problème de partition numérique afin qu'une (petite) solution à une relation entière donne une réponse? Si ce n'est pas définitivement, dans un sens probabiliste? Je sais que LLL (et peut-être PSLQ) ont été utilisés avec un...
est la classe de problèmes de décision pouvant être résolus par une famille decircuits de profondeur O ( log i n ) avec des portes fanin non bornées OR et fanin borné ET. Les négations ne sont autorisées qu'au niveau d'entrée. On sait que S A C i pour i ≥ 1 est fermé sous complément et S A C 0 ne...
Étant donné deux CNF, s'ils ont le même nombre d'affectations pour les rendre vraies, répondez "Oui", sinon répondez "Non". Il est facile de voir que c'est dans , car si nous connaissons le nombre exact de solutions à ces deux CNF, nous les campons simplement et répondons "Oui" ou...
1) Est-il possible d'avoir une réduction parcimonieuse d'un problème # P-complet #A à un problème de comptage #B quand (la version de décision) A est NP-complet et le B est en P? Par exemple, peut-il y avoir une réduction parcimonieuse de #SAT à #B, lorsque B est dans P? 2) Si B est dans P, quelles...
C'est un nom que j'ai inventé pour ce problème. Je ne l'ai jamais vu décrit auparavant. Je n'ai pas encore trouvé de preuve de complétude NP ni d'algorithme de temps polynomial pour ce problème. Ce n'est pas un problème de devoirs - il est lié à un problème que j'ai rencontré dans mon travail....
La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre. Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des...
Considérons un langage tel que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) et pour que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En d'autres termes, la machine la...
Soit une formule CNF avec n variables et m clauses. Soit t ∈ { 0 , 1 } n une affectation de variable et f φ ( t ) ∈ { 0 , … , m } compte le nombre de clauses satisfaites par une affectation de variable à φ . Définissez ensuite Median-SAT comme le problème du calcul de la valeur médiane de f φ ( t )...
Considérons le problème # P-complet de compter le nombre de couvertures de sommets d'un graphe donné G=(V,E)G=(V,E)G = (V, E) . Je voudrais savoir s'il y a un résultat montrant comment la dureté d'un tel problème varie avec un paramètre de GGG (par exemple, d=|E||V|d=|E||V|d = \frac{|E|}{|V|}). Ma...
Les algorithmes et la complexité sont deux parties de TCS. Je dirai simplement que les algorithmes sont l'étude des limites supérieures, montrant que vous pouvez faire quelque chose (avec des ressources limitées données), et la complexité consiste à montrer que vous ne pouvez pas le faire sans...
On sait depuis longtemps que, compte tenu de tout degré de re Turing, il existe un groupe de présentation finie dont le problème de mots est à ce degré. Ma question est de savoir si la même chose est vraie pour les degrés de Turing à temps polynomial arbitraire . Spécifiquement, étant donné un...
Il existe un certain nombre de problèmes dans la théorie de la représentation combinatoire et la géométrie algébrique pour lesquels aucune formule positive n'est connue. Il y a plusieurs exemples auxquels je pense, mais permettez-moi de prendre le calcul des coefficients Kronecker comme exemple....
Beigi, Shor et Watrous ont un très bon article sur la puissance des preuves interactives quantiques avec des messages courts. Ils considèrent trois variantes de «messages courts», et la seule qui m'importe est leur deuxième variante où un nombre illimité de messages peut être envoyé, mais la...
La façon la plus courante dans laquelle les oracles se produisent dans la théorie de la complexité est la suivante: un oracle fixe est mis à la disposition, par exemple, d'une machine de Turing avec certaines ressources limitées, et on étudie comment l'oracle augmente la puissance de calcul de la...
J'avais fait quelques recherches à ce sujet mais je n'ai pas pu trouver de réponse dans les deux cas. Huck y répondit pleinement. Merci
Je sais que (nombre d'appels logarithmiques à l'oracle NP) est équivalent à (polynôme nombre de requêtes parallèles à l’oracle NP). Je me demandais si la version "fonctionnelle" de ces classes était également équivalente, c'est-à-dire siP N P | |PN P [logn
Cette question est liée à l'une de mes questions précédentes, les problèmes NP-difficiles sur les arbres . Je recherche des problèmes P-complets sur les arbres.
Y aurait-il des conséquences majeures si SAT avait tout au plus des preuves non-exponentielles sous-exponentielles ou encore plus fortement, SAT avait des algorithmes de temps
Le problème de bande passante du graphique est défini comme suit. Étant donné un graphe , une disposition de est un mappage un à un des sommets de sur les entiers . La largeur de bande de est définie commeG=(V,E)G=(V,E)G=(V,E) G G { 1 , … , | V | } ffffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff...
Question. Dans leur article Improved simulation of stabilizer circuits , Aaronson et Gottesman affirment que la simulation d'un circuit CNOT est ⊕L - complete (sous les réductions de l'espace de log). Il est clair qu'il est contenu dans ⊕L ; comment le résultat de dureté tient-il? De manière...