差分约束系统.pptVIP

差分约束系统 引例 国王 很久以前，在某个国家，王子出生了 但是，王子有一点弱智…… 老国王去世后，王子登基了 但是，大臣们不买王子的账，要弹劾他…… 皇后向ACM班的你求助——只有你才能救他！ 救救孩子啊~~~ 引例 国王 引例 国王 引例 国王 原问题转化为一个关于 的不等式组有没有整数解的问题 差分约束系统 差分约束系统： 若一个系统由n个变量和m个约束条件组成，且每个约束条件有如下形式，则称为一个有n个变量和m个约束条件的差分约束系统。 差分约束系统 矩阵形式 约束图 约束图 约束图 约束图 结论 若图中有负权回路，即 ，则系统无可行解 否则，有可行解，解为 引理 三角形不等式 G = (V, E)是加权有向图,任取一点s，则对于所有(u,v)∈E,有如下不等式成立： 证明：反证法 对结论的证明（1） 1。不存在负权回路 考虑约束条件 有 对结论的证明（2） 2。存在负权回路，不妨设为c 差分约束系统 如何求最短路呢？ Dijkstra Bellman-Ford … Bellman-Ford for each v ?V do d[v] ? ?; d[s] ? 0 Relaxation for i =1,...,|V|