Questions marquées «complexity-theory»

Questions liées à la complexité (informatique) de la résolution de problèmes

1
Preuve du théorème de Karp-Lipton
J'essaie de comprendre la preuve du théorème de Karp-Lipton comme indiqué dans le livre "Computational Complexity: A modern approach" (2009). En particulier, ce livre déclare ce qui suit: Théorème de Karp-Lipton Si NP ⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} , alors PH =Σp2=Σ2p= \Sigma^p_2 . Preuve: Par le théorème 5.4, pour montrer PH …
2
Existe-t-il un algorithme efficace pour l'équivalence d'expression?
par exemple Xy+ x+y= x+y( x + 1)xy+x+y=X+y(X+1)xy+x+y=x+y(x+1) ? Les expressions proviennent de l'algèbre ordinaire du secondaire, mais se limitent à l'addition et à la multiplication arithmétiques (par exemple 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), sans inverses, soustraction ou division. Les lettres sont des variables. Si cela aide, nous pouvons interdire toute expression …
2
Existe-t-il des classes de complexité établies avec des nombres réels?
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement: Étant donné …
6
Trouver le XOR max de deux nombres dans un intervalle: peut-on faire mieux que quadratique?
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0 (l..r).each do |i| …
3
Complexité du problème d'adoption de chaton
Cela s'est produit alors que j'essayais de répondre à cette question sur la minimisation de la longueur de câblage . J'allais appeler cela le problème du "mariage polygame", mais Internet, donc les chatons. Yay! Supposons que nous ayons MMM chatons qui doivent être adoptées par personnes, . Pour chaque chaton, …
1
Réduction directe de à
Nous savons que la est dans par le théorème du théorème d' Immerman-Szelepcsényi et puisque la est par conséquent, la est un espace de journalisation multiple réductible à la . Mais y a-t-il une réduction directe / combinatoire qui ne passe pas par le graphe de configuration des machines de …
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.