2014-10-29 30 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.