差分约束

一定要把约束条件全部转化为图上的边！比如：

如果是 a >= b * k 的形式，取对数变为普通的差分约束！！！