p1216

　　

　　昨天還是前天,我看了一眼題,說:SPFA跑負環!

　　然後看了看我的代碼,發現好像不是很正確.看了看我的時間和穀神的時間,好像很優秀啊.

　　

　　枚舉點進去dfs,對於點x,如果能更新連向的點的dis就更新,並判斷是否"來過"這個點了.如果來過說明是在一個負環裏了,return並輸出"YES",否則dfs這個點.循環結束後回溯.

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
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()
{
    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");
    }
}

　　爲什麼這樣做是正確的.

　　如果不能更新y的dis,那麼也就不能更新y之後的dis,還dfs它有什麼用?

　　如果存在一個負環,那麼負環上一定存在一個點可以一直向外更新y直到回到這個點.

　　如果不存在,說明這個負環是假的...

　　比SPFA快很多.我覺得97ms應該是最快的了吧...