应该是我理解的有问题:
只用一个 xa≤xb+cx_a \leq x_b+cxa≤xb+c 就行了。脑残加了个 xb≤xa+0x_b \leq x_a + 0xb≤xa+0。。。不用一定保证农场 aaa 比农场 bbb 多?