Wormholes POJ 3259 SPFA 判断是否出现了负权值回路

这个题是判断有没有一条权值为负的回路，用SPFA是OK的，如果某个顶点重复入队列N次，就证明存在负权值回路。如果这个图是一个连通图，那么
任意选择一点开始搜都行，但是如果该图不连通，那么我认为从从所有虫洞的起点都搜一遍是个不错的选择。不过是不是我应该默认一个农场嘛，应该会是连通的。。。。。
但是我只从顶点1开始判断，也AC了，只是老感觉不严谨，也许是测试数据弱吧
希望能用邻接表存，邻接矩阵存的话，复杂度提高了，顶点有500个，边只有2500+200条，算稀疏图了吧
如果一定要用邻接矩阵存的话，注意一下重边的情形，选择时间花费最少的应该总是正确答案。
贴代码：

#include <cstdio>
#include <cstring>
#include <queue>
#define MAXN 505
#define INF 1000000
using namespace std;
struct ArcNode
{
    int v,time;
} edge[MAXN][MAXN];
int timemin[MAXN];
bool s[MAXN];
int n;
int arcnum[MAXN];
int num[MAXN];
bool SPFA(int vo)
{
    int i,j;
    queue<int>Q;
    memset(num,0,sizeof(num));
    memset(s,false,sizeof(s));
    for(i=1; i<=n; i++)
        timemin[i] = INF;
    timemin[vo] = 0;
    Q.push(vo);
    s[vo] = true;
    num[vo] = 1;
    while(!Q.empty())
    {
        for(j=1; j<=n ; j++)
            if(num[j] > n) return true;
        int t = Q.front();
        Q.pop();
        s[t] = false;
        for(j=0; j< arcnum[t]; j++)
        {
            if(timemin[t] + edge[t][j].time < timemin[edge[t][j].v])
            {
                timemin[edge[t][j].v] = timemin[t] + edge[t][j].time;
                if(!s[edge[t][j].v])
                {
                    s[edge[t][j].v] = true;
                    Q.push(edge[t][j].v);
                    num[edge[t][j].v]++;
                }
            }
        }
    }
    return false;
}
int main()
{
//    freopen("in.cpp","r",stdin);
    int f;
    scanf("%d",&f);
    while(f--)
    {
        int i,j;
        int m,w;
        scanf("%d%d%d",&n,&m,&w);
        int u,v,time;
        memset(arcnum,0,sizeof(arcnum));
        for(i=0; i<m; i++)
        {
            scanf("%d%d%d",&u,&v,&time);
            edge[u][arcnum[u]].v = v;
            edge[u][arcnum[u]].time  = time;
            arcnum[u]++;
            edge[v][arcnum[v]].v  = u;
            edge[v][arcnum[v]].time  = time;
            arcnum[v]++;
        }
        int cur = 0;
        int l[MAXN];
        for(i=0; i<w; i++)
        {
            scanf("%d%d%d",&u,&v,&time);
            for(j=0; j < cur && l[j] != u; j++);
            if(j == cur) l[cur++] = u;
            edge[u][arcnum[u]].v = v;
            edge[u][arcnum[u]++].time = -time;
        }
        for(i=0; i<cur; i++)
        {
            if(SPFA(l[i]))
            {
                printf("YES\n");
                break;
            }
        }
        if(i == cur)printf("NO\n");
    }
    return 0;
}