盲猜是差分约束但是不会做。