On decomposition of a binary context without losing formal concepts

Исследованы $\#P$-полная задача нахождения всех формальных понятий заданного контекста и декомпозиционный метод ее решения. В качестве частей разложения предложено использовать фрагменты исходного контекста, названные боксами. Такая декомпозиция позволяет разлагать заданный контекст без потери формальных понятий и тем самым снижать время выполнения алгоритмов решения рассматриваемой задачи. На основе исследования структуры боксов определено число боксов, получаемых на каждой итерации разложения, и установлены правила остановки процесса разложения.