Метод гиперсфер для решения задач булева программирования

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