solver.Response.NumConflicts情報が正確に何を意味するのだろうか。ドキュメントで私は次のようなステートメントを見つけました
ソルバーの作成以降の競合の数を返します。（https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts）
それは私の質問を本当に満足させるものではありません。制約が傷ついた回数について何か教えてくれますか？それとも、ソリューションがどれほど正確であるかを示す何らかの指標ですか？ただし、最適なソリューションの場合はゼロではありません。
そして、関連する質問：ソリューションの品質に関する最も決定的な情報は何でしょうか？
ありがとうございました
参照：https：//github.com/google/or-tools/issues/1398#issuecomment-508396143
競合の数は、検索中に生成された競合の数を返します。大まかに言って、競合は検索ツリーの行き止まりに相当します。
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加