Предположим, что у нас есть следующая формулировка для смешанно-целочисленного линейного программирования без учета его целевой функции.т. е. набор
$$ X = {(x, y) \ in \ mathbb {R} ^ n \ times \ mathbb {Z} ^ m \;|\;Ax + Bz <= d} $$ </p>
(я не знаю, как разместить здесь латексный код ...)
Также предположим, что ограничения Ax + Bz <= d могут быть записанытакже в форме логической функции (т. е. функции, которая возвращает истину, когда она удовлетворяет заданному условию). </p>
Теперь я хотел бы отобрать набор точек в множестве X, только указав размерные константыm и n.
Один из способов, которым я, хотя и использовал алгоритм типа Монте-Карло, но так как он выглядит как грубая сила и может потребовать очень много времени для сложных ограничений, я решил не использовать их.
Существует ли лучшее решение проблемы с использованием PYTHON?
Спасибо!