题目
给出几个点之间的路径,求是否有边权相乘大于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;
}
}