ソースコード (C++) に含まれる SCIP を使用して MIQP を解決したいのですが、この FAQ エントリ以外にその方法が見つかりませんでした:
非線形目的関数は SCIP ではサポートされていないため、制約関数としてモデル化する必要があります。非二次非線形制約のサポートはまだベータ スタジアムにあり、残りの SCIP ほど堅牢ではないことに注意してください。非線形変数と小さな係数または大きな係数の境界が欠落していると、数値的な問題が発生しやすくなりますが、これは慎重にモデル化することで回避できます。
目的関数の式ツリーを構築することができました。私が知りたいのですが：
- MIQP を MINLP としてモデル化する必要がある場合、この制約関数のモデリングはどのように機能しますか? 上限は変更可能ですか？
- MIQP の特定の方法がある場合、それに関するドキュメントはどこにありますか?