Questions marquées «cc.complexity-theory»

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

3
Combien d'instances de 3-SAT sont satisfaisables?
Considérons le problème 3-SAT sur n variables. Le nombre de clauses distinctes possibles est le suivant: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Le nombre de cas de problème est le nombre de tous les sous - ensembles de l'ensemble des clauses possibles: …
2
Complexité de l'achèvement des n-reines?
Le problème des nnn -queens classiques demande, étant donné un entier positif nnn , s'il existe un tableau d'entiers satisfaisant aux conditions suivantes:Q[1..n]Q[1..n]Q[1..n] i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n pour toutiii i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] pour touti≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j pour touti≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j pour touti≠ji≠ji\ne j Chaque …
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.