Приведена постановка задачи бинарной классификации по прецедентам с использованием реше-
ток формальных понятий, в которой исходными данными выступают два бинарных контекста.
Отмечено, что данная задача труднорешаема за счет высокой вычислительной сложности про-
цесса выявления формальных понятий и построения для них решеток. Предложен и теорети-
чески обоснован декомпозиционный прием, позволяющий снизить вычислительную сложность
этого процесса. Снижение вычислительной сложности достигается за счет разделения всякого
исходного контекста на полиномиальное число боксов (подконтекстов) с последующим поиском
формальных понятий в каждом выделенном боксе. Представлены результаты вычислительных
экспериментов, подтверждающие эффективность предложенного приема снижения сложности
вычислений