模板整理——图论·最短路·spfa

思想：每次取出队首u，弹出队首，松弛它的出边，并把u本次松弛的出边连接的未入队的点入队，若一个点入队次数超过n，说明有负权圈

时间复杂度：O(m*k)[k是常数，听说是2or3，然而我并不清楚] 那就假设是对的吧……

queue <int> q;
bool spfa(int s)
{
    for (int i=1; i<=n; i++) dis[i]=oo; 
    dis[s]=0;
    memset(in,0,sizeof(in));
    memset(vis,0,sizeof(vis));
    q.push(s);  
    vis[s]=1; 
    in[s]=1;
    while(!q.empty())
    {
        int u=q.front();
        q.pop();  
        vis[u]=0;
        for (int i=head[u]; i; i=next[i])
        {
            int v=vet[i];
            if (dis[v]>dis[u]+val[i])
            {
                dis[v]=dis[u]+val[i];
                if (!vis[v])
                {
                    vis[v]=1;
                    in[v]++;
                    q.push(v);
                    if (in[v]>n) return 1;
                }
            }
        }
    }
    return 0;
}