次の不等式システムは、整数上のx1とx2について解かれます。
x1 + x2 = l
x1> = y1
x2> = y2
x1 <= z1
x2 <= z2
l-z1 <= x2
l-z2 <= x1
l、y1、y2、z1、z2は任意ですが、固定されており、>=0です。
値の例を使用
l = 8
y1 = 1
y2 = 2
z1 = z2 = 6
システムを解いて、次の方程式を取得します。
2 <= x1 <= 6
x2 = 8-x1
WolframAlphaに整数で解決するように指示すると、可能なすべての値のみが出力されます。
私の質問は、任意のl、y1、y2、z1、z2のx1とx2の方程式/範囲をプログラムで導出できるかどうかです。この問題は制約プログラミングに関連しており、この問題に関する古い論文を見つけました。Harveyetal。による「Projectionを使用した制約解決のコンパイル」です。
このアプローチは、最新の制約解決ライブラリで使用されていますか？
私がこれを尋ねる理由は、上記のようなシステムを異なるパラメータで数千回解決する必要があり、システム全体を何度も読み取り/最適化/解決する場合、これには長い時間がかかるためです。したがって、パラメータ化されたシステムを一度コンパイルしてから、コンパイルされたバージョンを使用することができれば、大幅な速度の向上が期待できます。