关于差分约束一些问题(没有代码!)

P3084 [USACO13OPEN] Photo G

..上面公式挂了 $$ (a_i,b_i)=>\begin{cases} x{b_i}-x{a_i}<=1\\ x{b_i}-x{a_i}>=1\ \end{cases} $$ $$ \forall i\in [1,n]=>\begin{cases} x_i-x_{i-1}>=0\\ x_i-x_{i-1}<=1\ \end{cases} $$
by Andrew82 @ 2019-09-02 11:16:11


我天怎么还是挂了
by Andrew82 @ 2019-09-02 11:16:25


![](https://cdn.luogu.com.cn/upload/image_hosting/gfrhja8b.png) 这是原来的不等式组
by Andrew82 @ 2019-09-02 11:19:48


![](https://cdn.luogu.com.cn/upload/image_hosting/og3iuhwe.png) 这是转化后的不等式组(第二个)
by Andrew82 @ 2019-09-02 11:22:49


为什么把原来的化为第二个就会连样例都过不了? 按道理讲第二个不等式组合原来的那个不等式组是可以相互推导的....
by Andrew82 @ 2019-09-02 11:24:36


@[Andrew82](/space/show?uid=109378) 很显然您这两个不等式组是不等的。 针对第二组不等式,我们可以令 $x_1=0,x_2=2$,那么很明显 $x_2-x_1=2>1$。 另外,是 $x_{b_i}-x_{a_i-1}<=1$ 而不是 $x_{b_i}-x_{a_i}<=1$
by JT_kk @ 2019-09-02 11:39:18


@[JT_kk](/space/show?uid=123935) OTZ谢谢巨佬!
by Andrew82 @ 2019-09-02 14:37:17


|