嘛,虽然是一道水题+模板题,不过还是学到了很多东西的,记录一下。
首先题目给出的不等式是小于,但是差分约束系统只能处理小于等于的情况,所以要转化成小于等于的进行处理。对于整数处理方法非常简单= =
然后是找负环的情况,其实不需要考虑图连不连通,只要一开始就把所有的点的d置成0,然后都push进队列里面就好了。
PS:这种方法同样可以用在处理多源点最短路问题上。
#include <cstdio> #include <cstring> #include <cmath> #include <algorithm> #include <climits> #include <string> #include <iostream> #include <map> #include <cstdlib> #include <list> #include <set> #include <queue> #include <stack> using namespace std; typedef long long LL; const int maxn = 105; const int maxm = 5005; int first[maxn],nxt[maxm],v[maxm],w[maxm]; int d[maxn],n,m,ecnt,cnt[maxn]; bool inq[maxn]; void adde(int _u,int _v,int _w) { v[ecnt] = _v; w[ecnt] = _w; nxt[ecnt] = first[_u]; first[_u] = ecnt; ecnt++; } void solve() { bool bad = false; queue<int> q; for(int i = 0;i <= n;i++) { d[i] = 0; cnt[i] = 1; inq[i] = true; q.push(i); } while(!q.empty() && !bad) { int x = q.front(); q.pop(); inq[x] = false; for(int i = first[x];i != -1;i = nxt[i]) { if(d[v[i]] > d[x] + w[i]) { if(!inq[v[i]]) { inq[v[i]] = true; cnt[v[i]]++; q.push(v[i]); if(cnt[v[i]] > n + 2) { bad = true; break; } } d[v[i]] = d[x] + w[i]; } } } if(bad) puts("successful conspiracy"); else puts("lamentable kingdom"); } int main() { while(scanf("%d",&n),n) { ecnt = 0; char sig[16]; scanf("%d",&m); memset(first,-1,sizeof(first)); memset(nxt,-1,sizeof(nxt)); for(int i = 0;i < m;i++) { int a,b,c; scanf("%d %d %s %d",&a,&b,sig,&c); if(sig[0] == ‘g‘) adde(b + a,a - 1,-c - 1); else adde(a - 1,b + a,c - 1); } /* for(int i = 1;i <= n;i++) { adde(i,i - 1,0); } */ solve(); } return 0; }
POJ 1364 King 差分约束 找负环,布布扣,bubuko.com
原文地址:http://www.cnblogs.com/rolight/p/3858658.html