4.6 実行不可能性要因検出機能iisDetect
実行不可能性要因の検出を行うアルゴリズムiisDetectは,実行不可能性の原因となっている制約式の組の内,できるだけ式の少ないものを特定します.与えられた問題が実行不可能と判定されたら自動的に起動します.
大規模問題で実行不可能と判定された場合,iisDetectで多大な計算時間を要する場合があります.その時には求解オプションでオフにすることが可能です.
上に戻る
実行不可能性要因の検出を行うアルゴリズムiisDetectは,実行不可能性の原因となっている制約式の組の内,できるだけ式の少ないものを特定します.与えられた問題が実行不可能と判定されたら自動的に起動します.
大規模問題で実行不可能と判定された場合,iisDetectで多大な計算時間を要する場合があります.その時には求解オプションでオフにすることが可能です.
上に戻る