K-КНФ-алгоритмы на основе поиска с возвратом: различия между версиями
Перейти к навигации
Перейти к поиску
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 136: | Строка 136: | ||
|- | |- | ||
| 5 | | 5 | ||
| colspan="2"| 0,650... | | colspan="2" align="center"| 0,650... | ||
| 0,678... | | 0,678... | ||
| | | | ||
| Строка 142: | Строка 142: | ||
|- | |- | ||
| 6 | | 6 | ||
| colspan="2"| 0,711 ... | | colspan="2" align="center"| 0,711 ... | ||
| 0,736... | | 0,736... | ||
| | | | ||
| Строка 152: | Строка 151: | ||
Таблица 1 | Таблица 1 | ||
В таблице представлен показатель c, используемый в значении границы | ''В таблице представлен показатель c, используемый в значении границы <math>2^{cn - o(n)} \;</math> для уникального и общего случаев задачи k-КНФ, решаемой при помощи алгоритма ResolveSat, границы для k-КНФ и алгоритма Шонинга [12], его улучшенной версии для 3-КНФ [1, 5, 11] и гибридной версии из работы [6]'' | ||