题意:
两个帝国打仗了,B帝国的南北线上有n个防御站,帝国A大概知道帝国B的布防情况,但是不一定对,给出两种他们之间的位置关系的信息要你判断是否存在这样一种布置关系。两种关系如下:
P A B X 表示A在B北边X光年的位置。
V A B 表示A在B北边至少1光年位置。
题解:
把上面的关系弄成式子,可以得到以下的情况:
P的时候,A-B==X,
V的时候,A-B>=1.
其中因为差分约束系统适用于大于等于(>=),小于等于(<=)的关系的,不适用于等于(=)的关系,那么我们可以让P的时候的式子变一下,得到A-B<=X,A-B>=X两个式子,然后把它们全部换成同一个关系即得到:B-A>=-X,A-B>=X,A-B>=1。就可以用最长路得出结果了,才怪。你弄例子的时候会发现跟答案不对,因为图没联通。SPFA做差分约束的时候,要求图是联通的,但是题目中已经没有其他条件可以来约束了,怎么办?这时候就可以用到超级源点这个东西了,让所有的点与超级源点这个点相连接,就可以使图相连通了,再使用SPFA就可以求出答案了。具体怎么弄,看代码。
#include<stdio.h>
#include<string.h>
#include<iostream>
#include<algorithm>
#include<queue>
using namespace std;
#define INF 0x3f3f3f3f
const int MAXN=1e3+7;
const int MAXM=1e5*3+7;
struct node
{
int to,next,w;//其中edge[i].to表示第i条边的终点,edge[i].next表示与第i条边同起点的下一条边的存储位置,edge[i].w为边权值.
}Edge[MAXM];//Edge保持m条边的个数
int head[MAXM];
int dis[MAXN];
int num[MAXN];
bool vis[MAXN];
int n,m,tot;//head和dis保持n个点
void add_edge(int a,int b,int c)
{
Edge[++tot].to=b;
Edge[tot].w=c;
Edge[tot].next=head[a];
head[a]=tot;
}
int SPFA(int s)
{
queue<int>q;
int k,to,w;
memset(num,0,sizeof(num));
memset(vis,false,sizeof(vis));
for(int i=0;i<=1000;i++)
dis[i]=-INF;
dis[s]=0;
q.push(s);
vis[s]=true;//加入队列并标记
while(!q.empty())
{
k=q.front();
q.pop();
vis[k]=0;//弹出队列并取消标记
for(int i=head[k];i!=-1;i=Edge[i].next)
{
to=Edge[i].to;
w=Edge[i].w;
if(dis[k]+w>dis[to])
{
dis[to]=dis[k]+w;
if(!vis[to])//判断这个点是否在队列里面,如果不在加入队列
{
vis[to]=true;
q.push(to);
num[to]++;
if(num[to]>n)//判断是否成环
return -1;
}
}
}
}
return 1;
}
int main()
{
while(~scanf("%d%d",&n,&m))
{
memset(head,-1,sizeof(head));
tot=0;
for(int i=1;i<=n;i++)//如果图实在找不到条件联通,就弄个虚拟节点联通
{
add_edge(0,i,0);
}
for(int i=1;i<=m;i++)
{
int u,v,w;
char c[5];
scanf("%s",&c);
if(c[0]=='P'){
scanf("%d%d%d",&u,&v,&w);
add_edge(v,u,w);
add_edge(u,v,-w);
}
else{
scanf("%d%d",&u,&v);
add_edge(v,u,1);
}
}
int ans=SPFA(0);
if(ans==-1)
printf("Unreliable\n");
else
printf("Reliable\n");
}
return 0;
}