組合せ最適化
組合せ最適化問題のインスタンスは、 ( X , P , Y , f , e x t r ) {\displaystyle (X,P,Y,f,\mathrm {extr} )} の要素の組 (tuple) として形式的に記述できる。
ここで
X は解空間(solution space、その中に f と P が定義されている)
P は実現可能かどうかを判定する関数
Y は実現可能な解の集合
f は最適化関数
extr は極値(extreme、最大または最小)