Informatique théorique cc.complexity-theory

2

Classe de complexité correspondant au tri

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 quelques ressources minimales. …

14 cc.complexity-theory sorting

4

Compter le nombre de couvertures de sommets: quand est-ce difficile?

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 sensation est …

14 cc.complexity-theory graph-theory counting-complexity time-complexity

2

Le compromis espace-temps et le meilleur algorithme

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 plus rapide calcule L dans le temps O ( f ( n ) ) et la machine M ' la plus économe en espace calcule L …

14 cc.complexity-theory ds.algorithms open-problem space-time-tradeoff

2

# P-complet problème dont la version de décision est en P

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) …

14 cc.complexity-theory complexity-classes counting-complexity

3

La complexité de vérifier si deux CNF ont le même nombre de solutions

É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 "Non".P#PP#PP^{\#P} …

14 cc.complexity-theory complexity-classes counting-complexity

1

Caractérisation machine de

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 …

14 cc.complexity-theory circuit-complexity space-bounded arithmetic-circuits

1

Détection des relations entières pour la sous-somme ou NPP?

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 succès …

14 cc.complexity-theory np-hardness approximation-algorithms reductions subset-sum

2

Limites inférieures sur #SAT?

Le problème #SAT est le problème canonique # P-complete. C'est un problème de fonction plutôt qu'un problème de décision. Il demande, étant donné une formule booléenne dans la logique propositionnelle, combien d'affectations satisfaisantes F a. Quelles sont les meilleures limites inférieures sur #SAT?FFFFFF

14 cc.complexity-theory lower-bounds sat counting-complexity

1

Quels sont les articles classiques du domaine théorique récursif de la théorie de la complexité?

Deux documents que j'inclus sont: D. Kozen, "Indexation des classes subrécursives" , STOC, 1978. R. Ladner, «Sur la structure de la réductibilité du temps polynomial» , JACM, 1975.

14 cc.complexity-theory lo.logic computability big-list structural-complexity

3

Existe-t-il une théorie de la complexité analogue au théorème de Rice dans la théorie de la calculabilité?

Le théorème de Rice déclare que chaque propriété non triviale de l'ensemble reconnu par une machine de Turing est indécidable. Je recherche un théorème de type rizicole de complexité complexe qui nous dit quelles propriétés non triviales des ensembles NP sont insolubles.

14 cc.complexity-theory computability np

3

Est-il difficile de réduire la résiliation à une exactitude partielle?

Si vous êtes familier avec la vérification de programme, vous préférerez probablement lire la question avant le contexte . Si vous n'êtes pas familier avec la vérification de programme, vous pourrez peut-être encore répondre à cette question, mais vous préférerez probablement lire d'abord le Contexte . Contexte Il est souvent …

14 cc.complexity-theory lo.logic program-verification program-logic

5

Les réductions devraient-elles nous rendre plus ou moins optimistes quant à la traçabilité d'un problème?

Il me semble que la plupart des théoriciens de la complexité croient généralement à la règle philosophique suivante: Si nous ne pouvons pas trouver un algorithme efficace pour le problème , et nous pouvons réduire problème A à un problème B , alors il n'y a probablement pas un algorithme …

14 cc.complexity-theory big-picture reductions

1

Évaluation du circuit

Est-il connu si le problème d'évaluation du circuit est dans N C 1 ? Que diriez-vous de A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Nous savons que les circuits de profondeur peuvent être évalués avec des circuits de profondeur k + c où c …

14 cc.complexity-theory reference-request circuit-complexity

1

Le temps est-il quasi-polynomial dans PSPACE?

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 :)

14 cc.complexity-theory complexity-classes time-complexity space-complexity

2

Quelle est la complexité de Median-SAT?

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 à φ …

14 cc.complexity-theory sat counting-complexity

Questions marquées «cc.complexity-theory»