p1216

　　

　　昨天还是前天,我看了一眼题,说:SPFA跑负环!

　　然后看了看我的代码,发现好像不是很正确.看了看我的时间和谷神的时间,好像很优秀啊.

　　

　　枚举点进去dfs,对于点x,如果能更新连向的点的dis就更新,并判断是否"来过"这个点了.如果来过说明是在一个负环里了,return并输出"YES",否则dfs这个点.循环结束后回溯.

　　为什么这样做是正确的.

　　如果不能更新y的dis,那么也就不能更新y之后的dis,还dfs它有什么用?

　　如果存在一个负环,那么负环上一定存在一个点可以一直向外更新y直到回到这个点.

　　如果不存在,说明这个负环是假的...

　　比SPFA快很多.我觉得97ms应该是最快的了吧...

　　

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");
    }
}