我正在处理树上的问题。我试着写一个ILP表述。我有一棵树T =（V，E）V是顶点E是边。我的一个约束是连接，我想制定我的陈述，如果X [i，j] = 1;那么X [parent_i，i] = 1.X是二进制变量，表示我们在解决方案中选择该节点，如果它在解决方案1中，否则为0. i，j是V的元素我如何制定这个？
提前致谢。
答案 0 :(得分：1)
对于A，B在{0,1}中，[A =1⇒B= 1]⇔[A≤B]。
答案 1 :(得分：0)
我带来了一个解决方案，我使用了与节点的父关系。解决方案是：X（父[parent [i]]，parent [i]） - X（Parent [i]，i）＆gt; = 0。假设我们有k - ＆gt; i - ＆gt; j hierachy有3种可能性：fisrtly k，i和i，j都可以是0，其次两者都可以是1;在最后k，我可能是1而i，j可能是0.但是，当i，j为1时，我不能为0.所以（k，i） - （i，j）必须大于等于0