Использование целочисленной переменной в целлюлозе в качестве двоичного

Question

У меня проблемы с оптимизацией многих целочисленных переменных x1, x2, x3 ... и я наложил на них много ограничений, и все в порядке.Но теперь у меня есть ограничения, которые включают выражение, которое рассматривает их как двоичные файлы.Например:

(если x1> 0, то 1 еще 0) * someconst_1 + (если x2> 0, затем 1 еще 0) * someconst_2> = 0

Есть ли альтернатива в целлюлозезакодировать это ограничение, не объявляя много двоичных переменных - по одной на каждую целочисленную переменную?

Answer 1

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