Аннотация:
Рассматривается проблема доказательства минимальности комплексов граней в единичном кубе. Сформулированы достаточные условия, которые позволяют доказывать минимальность комплексов граней на основе порядковых свойств функционала меры сложности и структурных свойств булевых функций. Это позволило расширить множество комплексов граней, для которых доказана минимальность относительно мер сложности, удовлетворяющих определённым свойствам. Доказано строгое включение для множеств комплексов граней: ядровых, минимальных для любой меры сложности и минимальных для любой меры сложности, инвариантной относительно замены граней изоморфными гранями. Ил. 2, библиогр. 10.
Ключевые слова:грань, комплекс граней в единичном кубе, булева функция, мера сложности, минимальный комплекс граней.