題目描述有點(diǎn)復(fù)雜，前面講了一大堆廢話。

題目大意：對(duì)一個(gè)含n個(gè)整數(shù)的序列進(jìn)行一些約束：

1、整數(shù)序列中連續(xù)的一段的和大于某個(gè)整數(shù)；

2、整數(shù)序列中連續(xù)的一段的和小于某個(gè)整數(shù)。

問(wèn)滿足以上約束的整數(shù)序列是否存在。

分析：首先利用前綴和進(jìn)行轉(zhuǎn)換，然后將>化為>=,將<化為<=,然后就基本是裸的差分約束系統(tǒng)了。

需要注意的是，建立的約束圖可能并不是無(wú)向連通的，所以需要另外加一個(gè)結(jié)點(diǎn)作為源點(diǎn)，由于加了一個(gè)點(diǎn)，所以判斷是否有負(fù)環(huán)時(shí)要注意，條件是某個(gè)點(diǎn)進(jìn)隊(duì)次數(shù)大于n+1

View Code #include <stdio.h> #include <string.h> #include <queue> using namespace std; #define N 110 #define M 210 #define INF 0x3fffffff int n,m; int d[N]; int inq[N],cnt[N]; int first[N],v[M],next[M],w[M]; int e; void init() {e=0;memset(first,-1,sizeof(first)); } void insert(int a,int b,int c) {v[e]=b;w[e]=c;next[e]=first[a];first[a]=e++; } void spfa() {queue<int> q;int a,b;bool loop=false;memset(inq,0,sizeof(int)*(n+5));memset(cnt,0,sizeof(int)*(n+5));for(int i=0;i<=n;i++) d[i]=INF;d[n+1]=0;inq[n+1]=1;q.push(n+1);cnt[n+1]++;while(!q.empty()){a=q.front(),q.pop();if(cnt[a]>n+1) { loop=true; break; }inq[a]=0;for(int i=first[a];i!=-1;i=next[i]){b=v[i];if(d[b]>d[a]+w[i]){d[b]=d[a]+w[i];if(inq[b]==0) inq[b]=1,q.push(b),cnt[b]++;}}}if(loop) puts("successful conspiracy");else puts("lamentable kingdom"); } int main() {int i;int a,b,c;char s[5];while(scanf("%d",&n),n){init();scanf("%d",&m);for(i=0;i<m;i++){scanf("%d%d%s%d",&a,&b,s,&c);if(s[0]=='g'){insert(a+b,a-1,-c-1);}else{insert(a-1,a+b,c-1);}}for(i=0;i<=n;i++) insert(n+1,i,0);spfa();}return 0; }

轉(zhuǎn)載于:https://www.cnblogs.com/algorithms/archive/2012/07/24/2606894.html

總結(jié)

以上是生活随笔為你收集整理的POJ 1364 King （差分约束系统）的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。