Аксиоматизация Некоторых Пробяем Минимизации

Резюме

В первой части этой статьи определяется некоторый абстрактный аналог проблемы минимизации для булевых функций а также понятия простого импликанта, таким образом, что эта общая проблема может быть решена при помощи таких же шагов как и в классическом случае т. е. при помощи: 1) нахождения простых импликантов; 2) нахождения всех решений составленных из простых импликантов. Во второй части указывается что классическая проблема минимизации а также некоторые теоретико-множественные проблемы и даже некоторые проблемы принадлежащие к области теории графов являются частными случаями общей проблемы, сформулированной в первой части настоящей работы.