Об одном способе сокращения вычислений при формировании замыканий Галуа

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