Q:LocalSolverでは、プロセスは2つのステップに分かれています。最初のステップでは、LocalSolverはどのようにして実行可能な解決策を見つけますか？

Q:LocalSolverでは、プロセスは2つのステップに分かれています。最初のステップでは、LocalSolverはどのようにして実行可能な解決策を見つけますか？

また最初のステップで実行可能な解決策を1つ見つけるとすぐに、それは2番目のステップに進みますか？

最初のステップで実行可能な解決策が見つからない場合にのみ実行不可能となりますか？

多目的最適化の解決に必要な手順は何ですか？

A:2つのステップの意味が把握できていません。 一般的に言って、多目的問題では、すべての目的が辞書式順序で一度に扱われます。ただし、特定の目的に焦点を合わせたい場合は、フェーズを定義できます。すべての制約に当てはまる解が見つからない場合、ソルバーは実行不可能を返します。 インスタンスに実行可能な解決策がないことが証明された場合、不整合が返されます。

このページを参照ください。

Q:一般に、TSPは指数関数的な順序の問題として分類されますが、LocalSolverが合理的な解決策を提供できる問題の大きさはどれくらいですか？

A:私たちのベンチマークは、最大20000の都市を持つインスタンスに対して非常に優れたソリューションを示しています（ただし、さらに高くなる可能性があります）。

ここでテーマを確認できます

Q:混合整数計画ソルバーは、分枝限定法を使用して正確な解を目指します。 LocalSolverはどのようなアプローチを取り、どのようなソリューションを目指していますか？

A:歴史的に、LocalSolverは局所探索ヒューリスティックを利用します。 目標は、最適性を証明することではなく、非常に短い時間で非常に優れたソリューションを提供することです。 そうは言っても、ソルバーにMIP、MINLP、CPからの正確なメソッドも含まれているため、ほとんどの問題に限界を提供し、場合によっては最適性を証明することもできます。

ただし、主な目標は、最適性を証明できない場合でも、非常に高品質のソリューションを短時間で提供することです。