Метод Куайна — Мак-Класки

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Метод Куайна—Мак-Класки — табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный Эдвардом Мак-Класки. Представляет собой попытку избавиться от недостатков метода Куайна.

Сложность[править | править вики-текст]

Несмотря на некоторые преимущества перед картами Карно, метод Куайна — Мак-Класки тоже ограничен: время работы метода растёт экспоненциально с увеличением входных данных. Поэтому для функций с большим количеством переменных используют эвристические алгоритмы, например, эспрессо.


Литература[править | править вики-текст]

  • Савельев А.Я. Основы информатики. — Москва: Издательство МГТУ им. Н.Э. Баумана, 2001. — С. 232—239. — 328 с. — (Информатика в техническом университете). — ISBN 5703815150