Questions marquées «complexity-theory»

14
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 Turing...

14
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...

14
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 ....

14
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...