323 читали · 2 года назад
Алгоритм минимизации булевой функции в классе нормальных форм
В лекции представим алгоритм получения минимальной дизъюнктивной нормальной формы, а также представим общий алгоритм минимизации булевой функции в классе нормальных форм. Напомним определения импликанта и простого импликанта произвольной булевой функции. Сформулируем определения тупиковой и минимальной нормальной форм. Определение. Если из дизъюнкции простых импликантов функции F нельзя отбросить ни одного слагаемого (иначе поменяется таблица истинности), то говорят, что получена тупиковая дизъюнктивная нормальная форма (ТДНФ) булевой функции F...
2 месяца назад
«Эффективные методы в нелинейном программировании» Ю. Е. Нестеров Представлен ряд новых результатов, полученных в последние годы и связанных с построением эффективных математических методов решения как линейных, так и нелинейных экстремальных задач: Теория лексико-графического дифференцирования негладких функций. В отличие от ранее известных подходов, вводимые здесь дифференциальные характеристики (лексико-графические производные) являются линейными операторами и по своим свойствам аналогичны производным гладких функций. Обосновывается формула пересчета таких дифференциальных характеристик при операции суперпозиции. Структура этой формулы позволяет конструктивно организовать процесс вычисления лексико-графических производных, трудоемкость которого сопоставима с трудоемкостью вычисления производных гладких функций. Оптимальные методы минимизации гладких выпуклых функций. Описываются методы, которые являются оптимальными (с точки зрения теории информационной сложности) на следующих классах экстремальных задач: минимизация выпуклых и сильно выпуклых функций с непрерывным градиентом на простых множествах, минимизация составных функций, решение условных задач, образованных гладкими компонентами. Полиномиальные методы линейного и квадратичного программирования. Излагаются новые итеративные методы решения линейных и квадратичных задач. У наиболее быстрых из рассматриваемых методов общее число арифметических операций, необходимых для решения задачи, оценивается произведением логарифма требуемой точности на полином третьей степени, зависящий только от размеров задачи. Методы с такой оценкой являются на сегодняшний день теоретически наиболее быстрыми. Для научных работников, занимающихся теорией и методами оптимизации. Это и многое другое вы найдете в книге Эффективные методы в нелинейном программировании (Ю. Е. Нестеров). Напишите свою рецензию о книге Ю. Е. Нестеров «Эффективные методы в нелинейном программировании» https://izbe.ru/book/550882-effektivnye-metody-v-nelineynom-programmirovanii-yu-e-nesterov/