Алгоритм «безопасной» декомпозиции формального контекста

Исследуется $\#$P-полная задача нахождения всех формальных понятий заданного формального контекста. Предлагается алгоритм, который на практике позволяет решать данную задачу за полиномиальное время. Алгоритм основан на методе «безопасной» декомпозиции формального контекста на части, названные боксами. При «безопасной» декомпозиции формального контекста на боксы ни одно формальное понятие исходного контекста не теряется и не возникают новые формальные понятия. Процесс декомпозиции направлен на последовательное уменьшение размеров боксов формального контекста и реализуется итерационно. Установлены правила остановки процесса декомпозиции формального контекста на боксы, гарантирующие полиномиальное время его работы: задание порогового значения на плотность боксов и числа итераций разложения.