Логика булевых функций


Download 1.17 Mb.
bet32/39
Sana07.05.2023
Hajmi1.17 Mb.
#1437992
TuriМетодические указания
1   ...   28   29   30   31   32   33   34   35   ...   39
Bog'liq
Matlog

Определение 5.5. Скорость роста общего времени счета T(n) называется вычислительной сложностью или просто сложностью алгоритма.
Обозначим сложность алгоритма через f(n). В зависимости от сложности все алгоритмы делятся на несколько классов.
Определение 5.6. Полиномиальными называются алгоритмы, сложность которых ограничена некоторым полиномом.
Пример 5.1.
Рассмотрим задачу определения максимального элемента в массиве из n чисел. Поскольку число операций сравнения постоянно и равно n – 1, сложность алгоритма f(n) = n.
Определение 5.7. Экспоненциальными называются алгоритмы, сложность которых при возрастании n превышает полином любой степени.
В примерах 5.2 и 5.3 точные алгоритмы имеют экспоненциальную точность.
Пример 5.2.
Рассмотрим задачу коммивояжёра. Необходимо обойти n городов и вернуться в исходный пункт, так чтобы суммарный путь был минимальным. Количество всех возможных вариантов обхода равно 0.5n! Следовательно, сложность точного решения, основанного на переборе всех вариантов, равна f(n) = n!
Пример 5.3.
Рассмотрим задачу вычисления конъюнктивной нормальной формы (КНФ) булевой функции n переменных. Количество всех наборов переменных равно 2n. Количество всех операций при переборе всех дизъюнкций пропорционально n2n, Следовательно, сложность алгоритма f(n) = n2n.
Экспоненциальные алгоритмы практически могут быть реализованы только при малых значениях n (обычно при n < 10).
Задачи, для которых существуют точные алгоритмы решения полиномиальной сложности, называются задачами класса P.
Задачи, для которых не удается найти точные алгоритмы решения полиномиальной сложности, составляют класс NP.
Для многих задач класса NP выполняется свойство сводимости, состоящее в том, что данный алгоритм выражается при помощи полиномиального числа операций через другой алгоритм, имеющий полиномиальную сложность.

Download 1.17 Mb.

Do'stlaringiz bilan baham:
1   ...   28   29   30   31   32   33   34   35   ...   39




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling