Изменения
→Сложность задачи MINCON
именно <tex>B</tex> будет являться минимальным вкладчиком.
Представим <tex>B</tex> в виде набора кубиков <tex>B_x = [x_1, x_1 + 1] \times \ldots \times [x_d, x_d + 1] \times \{[0, 1\}]</tex>, где <tex>x_i \in \{0, 1\}</tex>.
Чтобы <tex>B_x</tex> входил в <tex>\mathrm{CON}(M, B)</tex>, необходимо, чтобы <tex>B_x</tex> не входил в <tex>\bigcup \limits_{k = 1}^n A_k</tex>.
<tex>B_x</tex> входит в <tex>A_k</tex>, если для всех <tex>i \in \{1, \ldots, d\}</tex> выполнено <tex>x_i + 1 \le a_i^k</tex>, то есть <tex>a_i^k = 2</tex> для всех <tex>x_i = 1</tex>,
