【poj 3385】【模板】負環
阿新 • • 發佈：2017-10-11
ios 判斷負環 main 判斷 次數 sin 輸出格式 print front
題目描述
暴力枚舉/SPFA/Bellman-ford/奇怪的貪心/超神搜索
輸入輸出格式
輸入格式：
第一行一個正整數T表示數據組數，對於每組數據：
第一行兩個正整數N M，表示圖有N個頂點，M條邊
接下來M行，每行三個整數a b w，表示a->b有一條權值為w的邊（若w<0則為單向，否則雙向）
輸出格式：
共T行。對於每組數據，存在負環則輸出一行"YE5"(不含引號)，否則輸出一行"N0"(不含引號)。
輸入輸出樣例
輸入樣例#1：2 3 4 1 2 2 1 3 4 2 3 1 3 1 -3 3 3 1 2 3 2 3 4 3 1 -8輸出樣例#1：
N0 YE5
說明
N,M,|w|≤200 000；1≤a,b≤N；T≤10 建議復制輸出格式中的字符串。
此題普通Bellman-Ford或BFS-SPFA會TLE
題解
註意有兩個個坑點，當然我都被坑到了。//臉紅
1.無向邊和雙向邊的問題，所以邊數會需要乘二。
2.輸出的是YE‘5‘和N‘0‘（均不含單引號）。
1.利用BellmanFord判負環。
如果不存在負環的話，那麽最多經過N - 1次叠代就可以得到最短路。因為形成最短路最多N - 1個節點（起點不算），但是如果存在了負環，那麽就可以一直叠代，最短路會越來越小。可以利用這個性質來判斷是否存在負環。（此題會掛）
1 #include<cstdio> 2 #include<iostream> 3 #include<cstring> 4 #include<algorithm> 5 #define maxn 200005 6 using namespace std; 7 int read(){ 8 int x=0,f=1;char ch=getchar(); 9 while(ch<‘0‘||ch>‘9‘){if(ch==‘-‘)f=-1;ch=getchar();} 10 while(ch>=‘0‘&&ch<=‘9‘){x=x*10+ch-‘0‘;ch=getchar();} 11 return x*f; 12 } 13 int t,n,m,d[maxn],cnt; 14 struct node{ 15 int from,to,cost; 16 }e[maxn*2]; 17 bool BF(int sta){ 18 for(int i=1;i<=n;i++) d[i]=0x3f3f3f3f; 19 d[sta]=0; 20 for(int i=1;i<n;i++){ 21 bool flag=false; 22 for(int j=1;j<=cnt-1;j++){ 23 if(d[e[j].to]>(d[e[j].from]+e[j].cost)){ 24 flag=true; 25 d[e[j].to]=d[e[j].from]+e[j].cost; 26 } 27 } 28 if(!flag) break; 29 } 30 for(int i=1;i<=cnt-1;i++) 31 if(d[e[i].to]>(d[e[i].from]+e[i].cost)) 32 return false; 33 return true; 34 } 35 int main(){ 36 t=read(); 37 while(t--){ 38 cnt=1; 39 memset(e,0,sizeof(e)); 40 n=read(),m=read(); 41 for(int i=1;i<=m;i++){ 42 int u=read(),v=read(),w=read(); 43 if(w>=0){ 44 e[cnt].to=v;e[cnt].from=u;e[cnt++].cost=w; 45 e[cnt].to=u;e[cnt].from=v;e[cnt++].cost=w; 46 } 47 else if(w<0)e[cnt].to=v;e[cnt].from=u;e[cnt++].cost=w; 48 } 49 if(BF(1)) printf("N0\n"); 50 else printf("YE5\n"); 51 } 52 return 0; 53 }
2.利用spfa判負環。
1.記錄松弛次數，超過n則證明存在負環。（會TLE）
1 #include<cstdio> 2 #include<iostream> 3 #include<cstring> 4 #include<algorithm> 5 #include<queue> 6 #define maxn 200005 7 #define inf 0x3f3f3f3f 8 using namespace std; 9 int read(){ 10 int x=0,f=1;char ch=getchar(); 11 while(ch<‘0‘||ch>‘9‘){if(ch==‘-‘)f=-1;ch=getchar();} 12 while(ch>=‘0‘&&ch<=‘9‘){x=x*10+ch-‘0‘;ch=getchar();} 13 return x*f; 14 } 15 int t,n,m,d[maxn],cnt,inq[maxn],last[maxn],times[maxn]; 16 struct node{ 17 int next,to,cost; 18 }e[maxn*2]; 19 void add(int u,int v,int w){ 20 e[++cnt].to=v;e[cnt].next=last[u];e[cnt].cost=w;last[u]=cnt; 21 } 22 bool spfa(int s,int t){ 23 queue<int> q; 24 q.push(s); 25 d[s]=0;inq[s]=1;times[s]++; 26 while(!q.empty()){ 27 int u=q.front();q.pop(); 28 inq[u]=0; 29 for(int i=last[u];i;i=e[i].next){ 30 if(d[e[i].to]>d[u]+e[i].cost){ 31 d[e[i].to]=d[u]+e[i].cost; 32 if(!inq[e[i].to]){ 33 inq[e[i].to]=1; 34 q.push(e[i].to); 35 times[e[i].to]++; 36 if(times[e[i].to]>n) return false; 37 } 38 } 39 } 40 } 41 return true; 42 } 43 int main(){ 44 t=read(); 45 while(t--){ 46 n=read(),m=read(); 47 cnt=0; 48 memset(last,0,sizeof(last)); 49 memset(inq,0,sizeof(inq)); 50 memset(d,inf,sizeof(d)); 51 memset(times,0,sizeof(times)); 52 for(int i=1;i<=m;i++){ 53 int u=read(),v=read(),w=read(); 54 if(w>=0) add(u,v,w),add(v,u,w); 55 else if(w<0) add(u,v,w); 56 } 57 if(spfa(1,n)) printf("N0\n"); 58 else printf("YE5\n"); 59 } 60 return 0; 61 }
2.後來想了想，因為我們只需要判斷負環，相當於我們需要找到一條權值和為負的回路，那不妨使距離數組d初始化為0。這樣處理後，第一次拓展只會拓展到與起點相連邊權為負的邊。那麽我們就分別枚舉所有的點作為起點，如果已經找到一個負環就不再繼續枚舉。根據SPFA，我們找到的負環一定包含當前枚舉的這個點（因為這個點出現了兩次）。（AC）
1 #include<cstdio> 2 #include<iostream> 3 #include<cstring> 4 #include<algorithm> 5 #include<queue> 6 #define maxn 200005 7 #define inf 0x3f3f3f3f 8 using namespace std; 9 int read(){ 10 int x=0,f=1;char ch=getchar(); 11 while(ch<‘0‘||ch>‘9‘){if(ch==‘-‘)f=-1;ch=getchar();} 12 while(ch>=‘0‘&&ch<=‘9‘){x=x*10+ch-‘0‘;ch=getchar();} 13 return x*f; 14 } 15 bool flag; 16 int t,n,m,d[maxn],cnt,inq[maxn],last[maxn],vis[maxn]; 17 struct node{ 18 int next,to,cost; 19 }e[maxn*2]; 20 void add(int u,int v,int w){ 21 e[++cnt].to=v;e[cnt].next=last[u];e[cnt].cost=w;last[u]=cnt; 22 } 23 void dfs_spfa(int s){ 24 if(flag) return ; 25 vis[s]=true; 26 for(int i=last[s];i;i=e[i].next){ 27 if(flag) return ; 28 int v=e[i].to; 29 if(d[s]+e[i].cost<d[v]){ 30 d[v]=d[s]+e[i].cost; 31 if(vis[v]){ 32 flag=true; 33 return ; 34 } 35 else dfs_spfa(v); 36 } 37 } 38 vis[s]=false; 39 } 40 int main(){ 41 t=read(); 42 while(t--){ 43 n=read(),m=read(); 44 cnt=0; 45 memset(last,0,sizeof(last)); 46 memset(d,0,sizeof(d)); 47 memset(vis,0,sizeof(vis)); 48 for(int i=1;i<=m;i++){ 49 int u=read(),v=read(),w=read(); 50 if(w>=0) add(u,v,w),add(v,u,w); 51 else if(w<0) add(u,v,w); 52 } 53 flag=false; 54 for(int i=1;i<=n;i++){ 55 dfs_spfa(i); 56 if(flag) break; 57 } 58 if(flag) printf("YE5\n"); 59 else printf("N0\n"); 60 } 61 return 0; 62 }
【poj 3385】【模板】負環