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

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

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