Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Tri à l'aide de piles en lecture seule
Considérez le paramètre suivant: on nous donne une pile qui contient n éléments.sssnnn nous pouvons utiliser un nombre constant de piles supplémentaires.O(1)O(1)O(1) nous pouvons appliquer les opérations suivantes sur ces piles: vérifier si une pile est vide, comparer les éléments supérieurs de deux piles, supprimer l'élément supérieur d'une pile, imprimer …
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 …
6
Interprétation géométrique du calcul
Étant issu de la physique, j'ai été formé pour étudier de nombreux problèmes d'un point de vue géométrique. Par exemple la géométrie différentielle des variétés dans les systèmes dynamiques, etc. Quand je lis les fondements de l'informatique, j'essaie toujours de trouver des interprétations géométriques. Comme une interprétation géométrique plausible d'ensembles …
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, …
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.