weixin_30399821的博客

转载 图论--差分约束

小引入如果一个系统由n个变量和m个约束条件组成，形成如xi-xj<=k（ij∈[1, n]）的不等式，则称其为查分约束系统。写成一个矩阵形式的不等式组的话则系数有且仅有一个1和一个-1。解这种不等式组为何会与图论扯上关系呢？在我们求解最短路或者是最长路时会有松弛操作if(dis[v] > dis[u] + w) { // 求解最短路，移相后为dis[v]...