DFS -检查周期

目的是找出一个无向的、未加权的图是否是树，即检查它是否包含后边。我正在使用一种修改形式的白-灰-黑DFS算法(这是在Cormen和这里提到的说明:http://www.cs.cornell.edu/~wdtseng/icpc/notes/graph_part1.pdf)

但不知何故，它不起作用。它工作了一次，但在SPOJ (http://www.spoj.com/problems/PT07Y/)导致运行时错误。

更新:我现在得到了这个问题的错误答案。但是，代码适用于示例测试用例。

失败测试用例:

10 9
1 2
2 3
3 4
4 5
5 6
6 4
6 7
7 8
8 9

#include <iostream>
#include <cstdio>
#include <stdio.h>
#include <vector>
#include <cstdlib>
using namespace std;
bool  M[10001][10001] = { 0 } ;
int color[10001] = { 0  };
long long int n;
bool answer=false;
void condition()
{
    cout<<"NO"<<endl;
    exit(0);
}
void condition2()
{
    cout<<"YES"<<endl;
    exit(0);
}
void dfs(int u, int p)
{
    color[u] = 1;
    for(int v=0; v < n; v++)
        {
            if(M[u][v] && v != p)
                {
                    if (color[v] == 0)
                        dfs(v, u);
                    else if (color[v]==1)
                    {
                         condition(); /* It has a backedge so it is not a tree, so print No */
                    }
                }
        }
    condition2(); /* It does not have backedge so it is not a tree so print YES */

}
int main()
{

long Z;
cin>>n>>Z;

// for(int i=0; i<n; i++) /* **Removed THIS nested loop to reduce runtime, successfully eliminated TLE** */
//     for(int j=0; j<n;j++)
//        M[i][j]=0;
for(int i=0; i < Z; i++)
{
    long temp1, temp2;
    cin>>temp1;
    cin>>temp2;
    temp1--;
    temp2--;
    M[temp1][temp2]=1;
    M[temp2][temp1]=1;
}

if(Z==n-1)
    dfs(0, -1);
else cout<<"NO"<<endl;
return 0;
}