Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
不平等と平等の制約。ソルバーが代行するのではなく、ソルバーに渡す前に、スラック変数を介して問題を明示的に標準形式に変換することで、計算上の大きな利点がありますか?
自分で変身することはありません。合理的な実装では、必要な変換を自動的に実行し、実装の観点から最適な方法で実行する必要があります。
つまり、問題を自然な方法で提起し、残りはソルバーに任せます。ソルバーのパフォーマンスでさえ、この方法で最高になる可能性があります。