当X=3时 XA>=XB => XA+0>=XB

当X=5时 XA<=XB => XB+0>=XA

依据差分约束系统

X=3时应该连XA->XB

X=5时应该连XB->XA

但这样做会寄，蒟蒻不是很理解，有大佬能解释一下吗QAQ