Параллельная декомпозиция системы частичных булевых функций

Abstract

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