hdu1217(SPFA判负环)

题目

给出几个点之间的路径，求是否有边权相乘大于1的环

题解

之前听说SPFA可以判负环，以为只能真的判边权和为负的环，但是今天这个题打破了我的认知，边权和大于1的环也能用SPFA来判
首先得明白SPFA判负环的原理，就是因为求最短路，所以假如我一直走这个负环，我可以一直刷新最短路径，无穷尽的刷，今天这个之所以也能用SPFA来判是因为他的这个环也属于 可以反复刷，无穷尽的增长的，因为大于1的数的乘积必比原来的数大，所有出现边权乘积大于1时，就相当于边权和为负的负环，其实是一个道理

第一次还是错了，原因是数据范围，我真的不能理解，明明写着节点数最多30个，难道边还能多到那里去
我错了，计算了一下，30个节点的边有向图里最多可以达到30的30次方，下次不能想当然了，数组开大点总归没错

#include<bits/stdc++.h>
using namespace std;
const int nn=20100;
const int mm=30100;
int t,n,m;
int num=0;
int vis[nn],r[nn],v[nn];
double d[nn];

map<string,int> Map;

struct edge
{
    int fr,to,nex;
    double ver;
}e[2*mm];
int last[nn];

void add(int x,int y,double z)
{
    e[++num].fr=x; e[num].to=y; e[num].ver=z;
    e[num].nex=last[x]; last[x]=num;
}

bool spfa(int xx)
{
    queue<int> q;
    memset(d,0,sizeof(d));
    memset(vis,0,sizeof(vis));
    memset(r,0,sizeof(r));
    d[xx]=9999999,vis[xx]=1;v[xx]=1;
    q.push(xx);
    while(q.size())
    {
        int x=q.front(); q.pop();
        vis[x]=0;
        for(int i=last[x];i;i=e[i].nex)//遍历 
        {
            int y=e[i].to;
            double z=e[i].ver;
            v[y]=1;
            //cout<<d[y]<<endl;
            if(d[y]<d[x]*z)
            {
                //cout<<"x:"<<x<<"  y:"<<y<<endl;
				d[y]=d[x]*z;
                r[y]=r[x]+1;//r[i]数组保存的是i节点被更新的次数
                if(!vis[y])
                    vis[y]=1,q.push(y);
            }
            if(r[y]>=n)		return true;
        }
    }
    return false;
}
void init()
{
	Map.erase(Map.begin(),Map.end());
	memset(e,0,sizeof(e));
	memset(v,0,sizeof(v));
	memset(last,0,sizeof(last));
}
int main()
{
	int m1,m2,x1,x2;
	double m3;
	char t1[100],t2[100];
	bool flag;
	int cnt=0;
	while(scanf("%d",&m1)==1 && m1){
		n=m1;cnt++;
		init();
		for(int i=1;i<=m1;i++){
			scanf("%s",&t1);
			Map[t1]=i;
		}
		scanf("%d",&m2);
		for(int i=1;i<=m2;i++){
			scanf("%s %lf %s",&t1,&m3,&t2);
			x1=Map[t1];x2=Map[t2];
			add(x1,x2,m3);
		}
		for(int i=1;i<=m1;i++){
			if(!v[i]){
				flag = spfa(i);
				if(flag==true) break;
			}
		}
		if(flag==true)
		cout<<"Case "<<cnt<<": Yes"<<endl;
		else
		cout<<"Case "<<cnt<<": No"<<endl;
	}
}