差分约束系统 差分约束系统的应用难点在于将实际问题转换为差分约束系统。 简单来说，要构造出一系列满足题意的不等式 形如 Si-Sj<=Ck，且必须含等号。 对于每一个这样的不等式，构造有向边 w(j->i)=Ck。 为保证图的连通，我们引入附加结点Vs。初始化w(s->i)=0，d[Vs]=0 接下来就是求解源点到其他点的单源最短路径。 由于差分约束系统中通常含负值，所以我