讨论大佬们看一下差分约束的问题