Энергосберегающее противогоночное кодирование состояний асинхронного автомата

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