Stav dette: Оптимизация функционалов с булевыми переменными