Выдержка из книги
Горбатов В.А.
Логическое управление распределёнными системами
Идея приближенного алгоритма основана на объединении для подачи в один порт ввода тех переменных, которые являются аргументами большого количества булевых функций. Он основан на использовании частотной матрицы отношений. Матрица инцидентности Q задает систему булевых функций следующим образом: каждой строке соответствует логическая функция, а каждому столбцу - объединенное множество X. Первоначально Xi xi, т.е. столбцу соответствует переменная из множества X всех аргументов функций. В процессе работы алгоритма происходит постепенное объединение столбцов на основе эвристической оценки и образование нового объединенного множества X для сформированного столбца. При получении мощности объединенного множества, равного N, или невозможности объединения с другими столбец удаляется из рассмотрения. Процесс повторяется до тех пор, пока не останется только один столбец матрицы инцидентности.
