NOIp2013 Training Series #1 Xor

1、给出无向图G，边（Ai，Bi）的权是Ci，判断下列性质是否成立：对于任意圈C，其边权的异或和是0。
2、这道题看了一点思路都没有，首先什么是异或和？去群里问后，发现就是一系列数的异或。接着就是如何判环。数据量很小，明显dfs可以，但我在实现的过程中犯了三个错误：1、由于是无向图，所以必须记录结点的父亲，否则会循环访问，而且父亲必须是局部变量，是dfs的一个参数。2、异或和sum必须是局部变量，而且不能破坏原始的sum，sum值也是随着每次dfs向下传递。3、成环的充要条件是访问的过程中遇到了“初始结点”，而不是遇到了“路径上的任一非父结点”，所以初始结点的vis值是-1。
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
int T,n,m,a,b;
int G[55][55],vis[55];
bool dfs(int num,int last,int sum){
    int temp=sum;
    for(int i=1;i<=n;i++)
       if(G[num][i]>=0&&i!=last){
           if(sum==-1) temp=G[num][i];
           else temp=sum^G[num][i];
           if(!vis[i]){
             vis[i]=1;
             if(!dfs(i,num,temp)) return false;
             vis[i]=0;
           }
           else if(vis[i]==-1){
             if(temp!=0) return false;
           }
       }
       return true;
}
int main(){
   //freopen("a.txt","r",stdin);
   scanf("%d",&T);
   while(T--){
       scanf("%d%d",&n,&m);
       memset(G,-1,sizeof(G));
       memset(vis,0,sizeof(vis));
       for(int i=0;i<m;i++){
           scanf("%d%d",&a,&b);
           scanf("%d",&G[a][b]);
           G[b][a]=G[a][b];
       }
       bool flag=true;
       for(int i=1;i<=n;i++){
           memset(vis,0,sizeof(vis));
           vis[i]=-1;
           if(!dfs(i,-1,-1)) {printf("No\n");flag=false;break;}
           for(int j=1;j<=n;j++)
              if(G[i][j]>=0||G[j][i]>=0){
                  G[i][j]=G[j][i]=-1;
              }
       }
       if(flag) printf("Yes\n");
   }
   return 0;
}