infeasbleの場合、solverstudio（pulpとcbc）が競合の制約を報告する方法を教えてください。

Question

私はsolverstudio（パルプとcbc）を使用しています。どのようにソルバーが競合制約を報告するのか？ありがとうございました。

Answer 1

問題が実行不可能な場合、技術的にすべての制約が矛盾しています。しかし、ソルバーがInfeasibleを返す前に中間解決策が見つかった場合は、これを試して、どの制約が違反されたかを調べることができます。

for c in lp.constraints.itervalues(): 
    if not c.valid(0): 
     print c.name, c.value()