トップ > 数理計画用語集 > 離散変数

数理計画用語集

離散変数

読み:りさんへんすう
関連変数

与えられた集合の要素のいずれかを取る変数のこと.WCSP でのみ利用可能な変数である.離散変数を定義する場合は必ず取り得る値の集合を指定する必要がある.例えば,1以上10以下の整数値を持つ離散変数は,集合 Set S="1 .. 10" を定義し,DiscreteVariable x(dom=S) と表記する.