実行不可能#

読み: じっこうふかのう
英名:
別名: 実行不可能性

数理計画問題において実行可能解が無い場合，すなわち全ての制約条件を満たす解が存在しないことを言う．このとき，定式化自体に本質的な矛盾がある場合と入力データが実行不可能性を引き起こしている 2 通りの可能性がある．前者の場合は定式化を変える必要があり，後者の場合は(データを取り換えないのであれば)制約条件を緩める必要がある．

例えば，シフトスケジューリング等で厳しい制約条件を課すことで，実行不可能が起きる場合が多々ある．この場合，Nuorium Optimizer では以下のような対処ができる．実行不可能性を引き起こしている制約条件のうち，妥協してもよい制約条件をセミハード制約，またはソフト制約と呼ばれるものに指定することで，それらの制約条件に実行不可能性の原因を押し付けることができる．

なお，Nuorium Optimizer には実行不可能性の原因となっている制約条件を調べる IIS という機能が備わっている．