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