Questions marquées «cc.complexity-theory»

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

1
La complétude de PSPACE implique-t-elle une dureté d'approximation?
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une approximation constante des facteurs en temps poly?) Qu'en est-il …
2
Garanties théoriques pour les temps d'exécution des méthodes de propagation des croyances?
La propagation de la croyance s'est avérée être une méthode très puissante grâce à la recherche de modèles graphiques probabilistes. Cependant, je ne connais rien de BP comparable aux méthodes MCMC où nous pouvons avoir des schémas d'approximation randomisés entièrement polynomiaux (FPRAS) pour les problèmes # P-complets. Quelqu'un pourrait-il m'indiquer …
1
Quelle est la profondeur minimale requise des réductions pour la dureté NP du SAT?
Comme tout le monde le sait, le SAT est complet pour les réductions de plusieurs P de rapport au temps polynomial. Elle est toujours complète par rapport aux réductions multiples de A C 0 .N PNP\mathsf{NP}A C0UNEC0\mathsf{AC^0} Ma question est quelle est la profondeur minimale requise pour les réductions? Plus …
6
variations de SAT
J'ai recherché sur Internet, mais je n'ai trouvé aucune «grande liste» de variantes du problème SAT. Mis à part le (commun) SAM, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT Quelles sont les autres variantes? (cela sera également très utile si des classes de complexité sont données (si possible))
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
1
Transformation Beigel-Tarui des cricuits ACC
Je lis l'annexe sur les limites inférieures de l'ACC pour NEXP dans le livre Arora et Barak's Computational Complexity . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf L'un des lemmes clés est une transformation des circuits ACC0ACC0ACC^{0} en polynômes multilinéaires sur les entiers avec un degré polylogarithmique et des coefficients quasipolynomiaux, ou équivalents , la classe …
1
Comment un problème peut-il être en NP, être NP-dur et non NP-complet?
Pendant longtemps, j'ai pensé qu'un problème était NP-complet s'il était à la fois (1) NP-dur et (2) en NP. Cependant, dans le célèbre article "La méthode ellipsoïde et ses conséquences dans l'optimisation combinatoire" , les auteurs affirment que le problème du nombre chromatique fractionnaire appartient à NP et est NP-difficile, …
2
Approches de l'IG inspirées par le problème des nœuds
GI et Knot Problem sont tous deux des problèmes de décision d'équivalence structurelle d'objets mathématiques. Y a-t-il des résultats établissant des liens entre eux? De jolies connexions du problème des nœuds à la physique statistique ont été explorées via des polynômes de nœuds , y a-t-il des résultats similaires pour …
2
Paysage des systèmes de preuve interactifs
Ma première question est de savoir si une caractérisation de système de preuve interactive est connue pour toutes les classes de complexité classiques. J'appellerais P, NP, PSPACE, EXP, NEXP, EXPSPACE, les fonctions récursives et récursivement énumérables (entre autres). Plus précisément, une caractérisation de système de preuve interactive est-elle connue pour …
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.