Машинные эксперименты с поиском минимальной нижней единицы монотонной булевой функции

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