L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

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 …
1
Existe-t-il un problème complet pour la classe des problèmes décidables de Turing?
Des langues telles que sont RE-complètes sous plusieurs réductions. Il est trivial de voir que co-RE a aussi des problèmes complets. S. Schmitz [1] considère certaines classes entre ELEM et REC . Ils présentent des problèmes complets pour ces classes dans le cadre de réductions spécialement conçues.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Existe-t-il des problèmes …
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
Que signifie «données non pathologiques»?
J'ai suivi un cours d'algorithmes sur Coursera. Le professeur dans la vidéo sur les tables de hachage a déclaré que Ce qui est vrai, c'est que pour les données non pathologiques, vous obtiendrez des opérations à temps constant dans une table de hachage correctement implémentée. Que signifie «données non pathologiques»? …
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.