Informatique théorique cc.complexity-theory

1

Problème de décision de décomposition à Hamilton

Soit un graphe non orienté. Une décomposition de en sous-ensembles disjoints est appelée une décomposition de Hamilton de si le sous-graphe induit par chaque ensemble est soit un graphe de Hamilton, soit un seul bord avec .V V iG = ( V, E)g=(V,E)G=(V,E)VVVVjeVjeV_iV i | V i | = 2ggGVjeVjeV_i| …

10 cc.complexity-theory ds.algorithms graph-theory np-hardness hamiltonian-paths

1

Manière uniforme de quantifier la «ramification» dans le calcul non déterministe, probabiliste et quantique?

Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également être construits pour visualiser également …

10 cc.complexity-theory quantum-computing randomness derandomization nondeterminism

2

Déterminant d'une matrice de Vandermonde généralisée

La matrice de Moore est similaire à la matrice de Vandermonde mais a une définition légèrement modifiée. http://en.wikipedia.org/wiki/Moore_matrix Quelle est la complexité du calcul du déterminant d'une matrice de Moore de rang complet modulo un entier?n×nn×nn \times n Le déterminant de Moore peut-il être réduit de utilisant des techniques FFT …

10 cc.complexity-theory algebraic-complexity

1

Dureté d'approximation du nombre chromatique fractionnaire sur les graphiques de degrés bornés

Est-il difficile d'approcher le nombre chromatique fractionnaire sur des graphiques de degrés bornés?

10 cc.complexity-theory graph-theory approximation-hardness graph-colouring bounded-degree

3

Réduction des problèmes difficiles aux modèles physiques

Je recherche des exemples de problèmes difficiles (en NP ou plus difficiles) de l'informatique qui peuvent être réduits à des modèles de processus physiques. Par exemple, max-2-sat peut être réduit à une minimisation d'énergie dans un modèle Ising. J'aimerais trouver plus d'exemples de ce type de réduction.

10 cc.complexity-theory reductions physics formal-modeling

2

Quand une propriété FO élimine-t-elle la dureté NL?

Contexte: Nous considérons uniquement les digraphes. Soit CYCLE le langage des graphes avec un cycle; c'est un problème NL-complet. Soit HASEDGE le langage des graphiques avec au moins un bord. Ensuite, trivialement, n'est plus NL-hard, tandis que reste.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Problème réel: je me demande si la langue …

10 cc.complexity-theory graph-theory descriptive-complexity

2

Une variante de Critical SAT en DP

Une langue est dans la classe D P ssi il y a deux langues L 1 ∈ N P et L 2 ∈ c o N P telles que L = L 1 ∩ L 2LLLD PDPDPL 1 ∈ NPL1∈NPL1 \in NPL 2 ∈ c o NPL2∈coNPL2 \in coNPL = …

10 cc.complexity-theory np-hardness complexity-classes sat

1

Densité des langues P-complètes

Supposons que soit un langage booléen, de chaînes finies sur . Soit le nombre de chaînes de de longueur . Pour une fonction des entiers positifs aux nombres réels positifs, a une densité supérieure si L n ≤ 2 n d ( n ) pour tout n suffisamment grand .LLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)ré(n)d(n)LLL …

10 cc.complexity-theory reference-request p-hardness

1

Recherche d'une correspondance dont la contraction minimise le nombre d'arcs dans un graphique

Étant donné un graphique mixte avec les arêtes et les arcs , trouvez une correspondance dans qui minimise le nombre d'arcs dans , où est obtenu à partir de en contractant les sommets correspondants et en supprimant arcs parallèles.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG (La version de décision de) ce problème est-il NP-complet? At-il été …

10 cc.complexity-theory reference-request graph-theory

1

Pourquoi les problèmes complets de l'AMQ doivent-ils être des problèmes prometteurs?

Je lis l'excellent document d'enquête de Watrous sur papier sur la théorie de la complexité quantique. Il y déclare qu'il serait surprenant qu'un problème complet de l'AMQ se révèle avoir une promesse vide de sens (c'est-à-dire être une langue). Pourquoi cela est-il ainsi? Cela a-t-il à voir avec le fait …

10 cc.complexity-theory quantum-computing

2

Formule la plus courte pour un CNF monotone à n terme

Une formule CNF monotone avec m termes sur n variables ( X1, … , Xnx1,…,xnx_1,\ldots,x_n ) est une formule de la forme , où chaque est un OU d'un sous-ensemble du les variables et vont de à .C i x 1 , … , x n i 1 mF( x1, …

10 cc.complexity-theory circuit-complexity formulas

3

Énumération de toutes les paires de chemins disjoints

Etant donné un graphe orienté et deux sommets . Une paire de chemins simples de à est disjointe de bord s'ils ne partagent pas de bord.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt En utilisant le débit max, il est facile de décider s'il existe une paire de chemins disjoints de bord de …

10 cc.complexity-theory graph-algorithms

4

Limiter l'écart entre la complexité quantique et déterministe des requêtes

Bien que les séparations exponentielles entre la complexité des requêtes quantiques à erreurs limitées ( ) et la complexité des requêtes déterministes ( D ( f ) ) ou la complexité des requêtes randomisées à erreurs limitées ( R ( f ) ) soient connues, elles ne s'appliquent qu'à certaines …

10 cc.complexity-theory reference-request quantum-computing query-complexity

2

Existence de

Considérez le problème de l'ensemble dominant dans les graphiques généraux, et soit le nombre de sommets dans un graphique. Un algorithme d'approximation gourmand donne une garantie d'approximation du facteur 1 + log n , c'est-à-dire qu'il est possible de trouver en temps polynomial une solution S telle que | S …

10 cc.complexity-theory approximation-algorithms approximation-hardness

1

Programmes étendus, taille des témoins et complexité des certificats

Un programme span est une manière linéaire-algébrique de spécifier une fonction booléenne présentée ici . Récemment, ce modèle a été utilisé pour montrer que la méthode de l'adversaire négatif fournit une caractérisation étroite (au moins jusqu'à ) de la complexité des requêtes quantiques.Journaln / logJournalnlog⁡n/log⁡log⁡n\log n/ \log \log n La …

10 cc.complexity-theory reference-request quantum-computing query-complexity

Questions marquées «cc.complexity-theory»