OSiL 形式で記述された単純な線形プログラミングの問題があります。これは、SCIP によって実行不可能と報告された複雑な非線形問題から切り出されたものです。この単純な問題は、この実行不可能な問題を再現するための最小限の行ですが、混乱します。以下は OSiL の内容です。
<instanceData>
<variables numberOfVariables="1">
<var name="F"/>
</variables>
<objectives numberOfObjectives="1">
<obj maxOrMin="min" numberOfObjCoef="1" >
<coef idx="0">1</coef>
</obj>
</objectives>
<constraints numberOfConstraints="1">
<con lb="10"/>
</constraints>
</instanceData>
OSiL は次のように言っているのではありませんか。
Minimize: F
Subject to: F >= 0
? なぜこの問題は実行不可能なのですか? <con lb="10"/>
私には、誰も参照していないので役に立たないように見えます。しかし実際には、この制約は元の問題に私が気付かなかった方法で影響を与えます。なぜなら、下限を 0 以下に変更するか、上限に変更すると問題が解決するからです。誰かが私にこれを説明できますか?私は数値最適化と OSiL 形式の初心者なので、お時間をいただきありがとうございます。