私はツリーの問題に取り組んでいます。ILP の定式化を書こうとしています。木 T=(V,E) V は頂点 E は辺です。私の制約の 1 つは接続性に関するものであり、次のステートメントを作成したいと考えています。X[parent_i,i] = 1. X はバイナリ変数で、ソリューション内にあるノードを選択することを示します。
前もって感謝します。
私はツリーの問題に取り組んでいます。ILP の定式化を書こうとしています。木 T=(V,E) V は頂点 E は辺です。私の制約の 1 つは接続性に関するものであり、次のステートメントを作成したいと考えています。X[parent_i,i] = 1. X はバイナリ変数で、ソリューション内にあるノードを選択することを示します。
前もって感謝します。
ノードとの親関係を使用したソリューションが付属しています。解決策は次のとおりです。X(parent[parent[i]],parent[i])-X(Parent[i],i)>=0. k-->i-->j 階層があるとしましょう。3 つの可能性があります。最初に k,i と i,j の両方が 0 である可能性があり、次に両方が 1 である可能性があります。最後に、k,i は 1 であり、i,j は 0 である可能性があります。ただし、i,j が 1 の場合、k,i は 0 になることはできません。したがって、(k,i) - (i,j) はより大きく、次の値に等しくなければなりません。 0.