Линеаризация логических функций, заданных множеством ортогональных термов. I. Теоретические аспекты

Исследуется линеаризация логических функций, заданных множеством попарно ортогональных термов. Линеаризация осуществляется с помощью вычисления функций автокоррелляции. Предлагается метод, состоящий из следующих этапов: а) вычисление автокоррелляционной функции в пространстве ортогональных термов; б) построение соответствующей матрицы линейного преобразования; в) собственно линейное преобразование переменных в пространстве ортогональных термов. Приводится оценка сложности предложенного метода и его эффективности. Эффективность метода проверена серией экспериментов со стандартными бенчмарками. Исследованы различия между предложенным методом и другими известными методами линеаризации.

Статья представлена к публикации членом редколлегии: О. П. Кузнецов