前言
差分约束:通过建图来判断一组(或多组)式子是否可以同时成立
尽管在NOIP中并不是经常考到,但我觉得它建图的思想很重要,值得学习
关于建图
如果题中有一些变量关系显然,则可以直接建图
但如果关系不明了,就需要自己动笔理一理(注意表达式的排列,这样有助于找到规律),注重前缀和,差分
关于建图的基本规律
1.如x=y,则add(x,y,0), add(y,x,0)
2.如x>y,则add(y,x,1)
3.如x≤y,则add(x,y,0)
4.如x<y,则add(u,v,1)
5.如x≥y,则add(v,u,0)
(其中边权根据题目而定)
add:
inline void add(int id,int to,int dis){//前向心存图
e[++cnt[=(E){head[id],to};
head[id]=cnt;
}
关于跑图
如何判定是否有解
注意,如果图中有环,则必定无解!
为什么?如果有环,则说明一定有x>y且y>x,这显然矛盾,于是无解
具体判环过程请参见判环
是跑最长路还是最短路
这就要根据自己加的边权的正负了
根据上面作者给出的加边规则应该跑最长路
当然也可以把所有边的边权取反,改成最短路
狡猾的商人:
#include<stdio.h>
#define N 1007
#define INF 0x3f3f3f3f
struct E{
int next,to,dis;
}e[2*N];
int T,n,a,head[N],in[N],Q[10*N],cnt=0,dis[N],m;
bool vis[N];
inline void add(int id,int to,int dis){//存图
cnt++;
e[cnt].next=head[id];
e[cnt].to=to;
e[cnt].dis=dis;
head[id]=cnt;
}
inline bool SPFA(int s){//判环并跑最长路
for(int i=0;i<=n;i++) dis[i]=INF,vis[i]=false;//初始化
int tou=0,wei=0;
dis[s]=0;
Q[++wei]=s;
in[s]++;
vis[s]=true;
while(tou<=wei){
int u=Q[++tou];
vis[u]=false;
for(int i=head[u];i;i=e[i].next){
int v=e[i].to;
if(dis[v]>dis[u]+e[i].dis){
dis[v]=dis[u]+e[i].dis;
in[v]++;//统计访问次数
if(in[v]>n+1) return true;//标准的bfs-SPFA判环
if(!vis[v]){
vis[v]=true;
Q[++wei]=v;
}
}
}
}
return false;
}
int main(){
scanf("%d",&T);
while(T--){
scanf("%d%d",&n,&m);
cnt=0;
for(int i=0;i<=n;i++) head[i]=in[i]=0;
for(int i=1;i<=m;i++){//建图
int x,y,val;
scanf("%d%d%d",&x,&y,&val);
add(y,x-1,val);
add(x-1,y,-val);
}
bool flag=false;
for(int i=0;i<=n;i++)//访问整个图,注意图不一定是联通的
if(!in[i]){
flag=SPFA(i);
if(flag) break;
}
if(!flag) printf("true\n");
else printf("false\n");
}
}