|
0101 |
|
|
|
Последний раз редактировалось 0101 08.06.2011, 12:43, всего редактировалось 2 раз(а).
Подскажите, пожалуйста, практическое описание сведения задачи выполнимости булевых формул к задаче о клике.
Т.е., если задана булева формула, как определить ее выполнимость построением соответсвующего графа и поиска клик.
|
|
|
|
 |
|
sup |
|
|
|
Сведение к задаче о клике имеется в книге
Кормен, Лейзерсон, Ривест
Алгоритмы, построение и анализ
А уж как искать клику ...
|
|
|
|
|
|
0101 |
|
|
|
Спасибо! Булева формула конкретная, может получиться хороший граф для клики.
|
|
|
|
|
