О доказательстве минимальности покрытий через обобщение понятия независимости

Для задачи о покрытии конечного множества предложен метод получения нижних оценок длины кратчайшего и сложности минимального покрытия, основанный на понятии независимого семейства множеств. Для задачи минимизации булевых функций построены функции и покрытия гранями множества их единичных вершин, для которых достижимы предложенные нижние оценки при пяти и более переменных. Основанные на независимых множествах нижние оценки оказываются недостижимы и не могут использоваться в качестве достаточных условий минимальности для таких функций. Библиогр. 11.