変数がある固定値の値と等しい値を持っているかどうかを確認します

Question

現在、私がよく分かっていないような定式化を使っているリニアプログラムをモデリングしています。 私はいくつかの変数Xを持っていますが、いくつかの制約では、Xがいくつかのリストか値から値を取るかどうかをチェックしたいのですが（この場合、この値は禁止されています。しかし、これはそれほど重要でないと思います）。 例として、SET = {1,210}となり、解Xが2であればこれは許されません.Xは別の値をとる必要があります。 今、私はSET内のすべての可能な値xに対して制約を作成していますが、制約内では| X-x |を使用し、0のようにします。< = | X-x | * xごとのBigM。 これをモデル化するための「標準的な」方法はありますか？もっと良い解決法はありますか？私はこの話題については何も見つかりませんでした。どうもありがとう！

OPLで

Answer 1

あなたは

{int型} SET = {1,2,10}を書くことができます。

dvar int x;

被験者に{

FORALL（I SETに）X = I！。

}