p1216
昨天还是前天,我看了一眼题,说:SPFA跑负环!
然后看了看我的代码,发现好像不是很正确.看了看我的时间和谷神的时间,好像很优秀啊.
枚举点进去dfs,对于点x,如果能更新连向的点的dis就更新,并判断是否"来过"这个点了.如果来过说明是在一个负环里了,return并输出"YES",否则dfs这个点.循环结束后回溯.
为什么这样做是正确的.
如果不能更新y的dis,那么也就不能更新y之后的dis,还dfs它有什么用?
如果存在一个负环,那么负环上一定存在一个点可以一直向外更新y直到回到这个点.
如果不存在,说明这个负环是假的...
比SPFA快很多.我觉得97ms应该是最快的了吧...
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
using namespace std; char buf[1<<15],*fs,*ft; inline char getc(){ return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:* fs++; } inline int read(){ int This=0,F=1; char ch=getc(); while(ch<'0'||ch>'9'){ if(ch=='-') F=-1; ch=getc(); } while(ch>='0'&&ch<='9'){ This=(This<<1)+(This<<3)+ch-'0'; ch=getc(); } return This*F; } struct edge { int next,y,v; }e[5500]; int tx,ty,tv,tot; int dis[510],head[510]; bool flag,vis[510]; inline void add(int x,int y,int v) { tot++; e[tot].next=head[x]; e[tot].y=y; e[tot].v=v; head[x]=tot; } inline void dfs(int x) { vis[x]=1; for(register int j=head[x];j;j=e[j].next) { if(dis[e[j].y]>dis[x]+e[j].v) { dis[e[j].y]=dis[x]+e[j].v; if(vis[e[j].y]) { flag=1; break; } else { dfs(e[j].y); if(flag) return ; } } } vis[x]=0; } int main() { //freopen("123.in","r",stdin); //freopen("123.out","w",stdout); for(register int T=read();T;--T) { memset(dis,0,sizeof(dis)); memset(vis,0,sizeof(vis)); memset(head,0,sizeof(head)); tot=0; register int n=read(),m=read(),w=read(); for(;m;--m) { tx=read();ty=read();tv=read(); add(tx,ty,tv); add(ty,tx,tv); } for(;w;--w) { tx=read();ty=read();tv=read(); add(tx,ty,-tv); } flag=0; for(register int i=1;i<=n;++i) { if(flag) break; dfs(i); } if(flag) puts("YES"); else puts("NO"); } }