2014-10-29 29 views
0

我正在研究樹上的問題。我正在嘗試寫一個ILP公式。我有一棵樹T =(V,E)V是頂點E是邊。我的一個約束是關於連通性,我想要制定我的陳述,即:如果X [i,j] = 1;那麼X [parent_i,i] = 1。X是二進制變量,表示我們選擇解決方案中的該節點,如果它在解1中否則爲0.我,j是V的元素我怎樣才能制定這個?整數線性規劃的條件約束

在此先感謝。

+0

X [parent_i,i]> = X [i,j] – 2014-10-30 09:44:47

+0

是的,謝謝你的回答。 – Berkehan 2014-11-04 18:08:13

回答

1

對於A,B在{0,1},[A = 1⇒B = 1]⇔[A≤B]。

+0

感謝您的回答,但這並不能完全解決我的問題。 – Berkehan 2014-10-31 18:40:19

+0

其實當我再次看它時,這與我認爲感謝你的事情是一樣的。 – Berkehan 2014-11-04 18:07:56

0

我用一個解決方案,我用父節點的關係。解決方案是:X(parent [parent [i]],parent [i]) - X(Parent [i],i)> = 0。假設我們有k - > i - > j hierachy有3種可能性:fisrtly k,i和i,j都可以是0,其次兩者都可以是1; (k,i) - (i,j)必須大於等於1,並且i,j可以是0.但是,當i,j是1時,我不能爲0。 0.