K-КНФ-алгоритмы на основе поиска с возвратом: различия между версиями

Перейти к навигации Перейти к поиску
м
Строка 112: Строка 112:




к  uniquek-SAT [ ]   k-SAT [ ]   k-SAT [   ]   k-SAT [1 , ,   11]   k-SAT [6]
{| class="wikitable"
3 0,386... 0,521 ... 0,415... 0,409... 0,404...
|-
4 0,554... 0,562... 0,584... 0,559...
! k
5 0,650... 0,678...
! уник. k-КНФ [9]
6 0,711 ... 0,736...
! k-КНФ [9]
! k-КНФ [12]
! k-КНФ [1, 5, 11]
! k-КНФ [6]
|-
| 3
| 0,386...
| 0,521 ...
| 0,415...
| 0,409...
| 0,404...
|-
| 4
| 0,554...
| 0,562...
| 0,584...
|
| 0,559...
|-
| 5
| colspan="2"| 0,650...
| 0,678...
|
|
|-
| 6
| colspan="2"| 0,711 ...
|
| 0,736...
|
|
|}


Таблица 1
Таблица 1
4511

правок

Навигация