是否有一個 docplex 函數來獲得一個以上變量的解決方案，以便在惰性切割中使用？

Question

我的代碼的優化問題在Python（docplex）基礎上， 在這里，但我的切口是類似的東西sum(X) <= N + M*sum(Y, Z) X, Y and Z是決定瓦爾。 我不知道如何將X, Y, Z的解傳遞給self.get_cpx_unsatisfied_cts([ct], solution , tolerance=1e-6) 。 當我使用self.get_values() ，我收到此錯誤： Error: Internal error in CPLEX solve: AttributeError: 'list' object has no attribute '_get_var_value'有人可以幫忙嗎？

Answer 1

在 [here] 示例中（ 使用延遲約束回調實現 TSP ），回調通過混合類MosdelCallbackMixin連接到MosdelCallbackMixin 。 這個類有一個make_complete_solution方法，它從回調內部返回一個解決方案對象（參見 docplex.mp.SolveSolution 的文檔）。

在第二步中， get_cpx_unsatisfied_cts從給定的約束列表中返回未滿足的約束列表。 在您的情況下，如果您只需要檢查一個約束，使用is_satisfied方法進行約束會更簡單，它需要一個解決方案和一個容差（默認為 1e-6，即：

   if not myct.is_satisfied(sol, tolerance):
       print(f" constraint {myct} is violated")

總結一下：

• 調用回調時使用make_complete_solution生成解決方案對象
• 使用ct.is_satisfied檢查是否滿足。