[工学]ACM图论基础算法.ppt

差分约束系统简介 问题模型：线性规划矩阵A的每一行只有一个1和一个-1，其他元素均为0.由AX ≤b给出多个xi-xj≤bk的关系，求向量x可行解。 一般情况下问题要求我们求得一组最优解。 解决方案是建立一个有向图，然后用Bellman Ford或是spfa来解决 有两种建图方法，两种建图只要会一种即可 差分约束例题(POJ 1201) 问题描述：已知n (1 = n = 50000)个区间，每个区间范围在[a , b] (0 ≤ a ≤ b ≤ 50000),对于第i个每个区间要求有ci个整数在当前区间内。问：要将每个区间要求全部满足，至少要选多少个整数。(a , b , c都是整数类型) 差分约束例题(POJ 1201) 首先第一个转化，是找到一个合理的表示。用ti表示每一个数，如果有用就是1，否则是0。吧S(i+1)定义成S(i+1)=∑ tj (1=j=i)也就是。S[i+1]表示从0到i有多少个数是需要的。 因此，题目中的条件可以表示成S[bi+1]=S[ai]+Ci，就可以将ai到bi+1连一条有向边，边权为Ci。 若S[bi+1] S[ai]+Ci 则要做松弛，即S[bi+1]=S[ai]+Ci 这里只有这些条件还是不够的，还要加上两个使其满足整数性质的条件1=s[i+1]-s[i]=0，将这个条件加入其中，同理建好一个图 用spfa算法得到一个最长路，第一个到最后一个节点的最长路即是需要求的值。 差分约束例题(POJ 1201) 12 11 10 9 8 7 1 2 3 4 5 6 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 -1 3 3 1 1 1 求的从起始点到终点的最长路径即可 代码示例(1) 这里代码是按照上述思路建图求解,也可以建成其他的图然后最短路求解 #include iostream #include cstdio #include cstring #include queue #include vector using namespace std; int n , mmin , mmax; int dist[51000]; bool visit[51000]; struct Node{ int s , e , v; Node(int a , int b , int c){ s = a ,e = b , v = c; } }; vector Node G[51000]; 代码示例(2) int spfa(){ queue int Q; if(!Q.empty()) Q.pop(); int i; for(i = mmin;i = mmax; ++ i) dist[i] = -0x3fffffff; dist[mmin] = 0; Q.push(mmin); while(!Q.empty()){ int temp = Q.front(); Q.pop(); visit[temp] = false; for(i = 0;i G[temp].size(); ++ i){ if(dist[G[temp][i].e] dist[temp]+G[temp][i].v){ dist[G[temp][i].e] = dist[temp]+G[temp][i].v; if(!visit[G[temp][i].e]){ visit[G[temp][i].e] = true;