Изменения

Перейти к: навигация, поиск

Специальные формы КНФ

291 байт убрано, 13:21, 17 июня 2016
КНФ в форме Хорна
Обозначим за <tex>N</tex> число вхождений переменных в формулу.
За 1 одно повторение алгоритма мы присваиваем как минимум одной переменной значение и начинаем проделывать алгоритм для оставшихся переменных, если первый шаг не завершил алгоритм. Число вызовов алгоритма с первого шага линейно зависит от того, сколько на 2 этапе алгоритма одиночных Изначально переменных, их может быть не больше <tex>N</tex>. Так как после каждой итерации каждого повторения алгоритма, мы уменьшаем это число этих вхождений хотя бы на 1, то суммарно повторов итерации алгоритма будет не больше <tex>N</tex>.Каждый из шагов выполняется за время <tex>O(N)</tex>, а подстановок значений в переменные формулы может быть число повтора шагов алгоритма не больше <tex>N</tex> раз, т.к. всего переменных <tex>N</tex>. Получается сложность <tex>O(N^2)</tex>.
}}
{{Утверждение
Анонимный участник

Навигация