Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F перемен­ных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений пе­ременных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...

Метод банана (или метод минимизации функции с ограничениями по направлению) - это численный метод оптимизации, используемый для нахождения минимума функции с ограничениями. Он основан на методе градиентного спуска, но в отличие от него использует направления движения, соответствующие линиям уровня функции, перпендикулярным градиенту. Идея метода банана заключается в том, чтобы двигаться по линии уровня функции до тех пор, пока эта линия не станет перпендикулярной градиенту. Затем нужно сделать шаг в этом направлении, но так, чтобы не нарушить ограничения. Если ограничения не нарушаются, то шаг считается успешным и процесс продолжается в новой точке...