ИСТИНА

Рассматривается одна из центральных труднорешаемых задач логического анализа данных - дуализация над произведением частичных порядков. Исследуется важный частный случай, когда каждый порядок является цепью. Если мощность каждой цепи равна двум, то рассматриваемая задача – это построение сокращённой дизъюнктивной нормальной формы монотонной булевой функции, заданной конъюнктивной нормальной формой, что эквивалентно перечислению неприводимых покрытий булевой матрицы. Показывается, что в общем случае дуализация над произведением конечных цепей сводится к поиску некоторого подмножества множества неприводимых покрытий булевой матрицы, специальным образом построенной по исходным данным. Приводятся результаты численных экспериментов, имеющие целью сравнение различных подходов к поставленной задаче.