[差分约束] P3275 [SCOI2011] 糖果 & P1993 小K的农场 (洛谷) & poj 3169 Layout
差分约束系统有两种方式可以求解，最短路和最长路。当我们把不等式整理成d[a]+w<=d[b]时，我们求最长路。整理成d[a]+w>=d[b]时，我们求最短路。
最长路 找最小值 <= 数据最低的极限
最短路 找最大值 >= 数据最大的极限
这个是极限是存在得 不能<=-inf 大于 +inf 什么得
注意全部建图方向 都根据题 选取一个符号来决定
ps 对于某些不连通的图 建个0点 联通什么的
https://www.luogu.org/problemnew/show/P1993
P1993 小K的农场
差分约束 跑最短路 看负环就好 <= 不能最大得极限不是 —INF
要有
1：表示农场 a 比农场 b 至少多种植了 c 个单位的作物。即a>=b+c
2：表示农场 a 比农场 b 至多多种植了 c 个单位的作物。即a<=b+c
3：表示农场 a 与农场 b 种植数一样 即a=b 可以表示为 a - b == 0 和 b - a = = 0
以下 有找最短路 最长路 dis数组三角不等式 决定 c(u,v) 便是方向和权值
对于 1 来说
disa>=disb + c(a,b) 所以建边 a->b c的路
大于小于分清 按不等式走
这题也可以跑最长路 这个时候对于 1来说
disb<= disb-c(b,a) 所以建立 b->a -c 的路
#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <queue>
using namespace std;
#define ll long long
const int INF=0x3f3f3f3f;
const int maxn = 1e4+5;
bool vis[maxn];
int dis[maxn];
int to[maxn<<2],val[maxn<<2],head[maxn],nxt[maxn<<2];
int cnt;
void add_edge(int a,int b,int v){
to[++cnt]=b;
nxt[cnt]=head[a];
head[a]=cnt;
val[cnt]=v;
}
bool spfa(int u){
vis[u]=1;
for(int i=head[u];i;i=nxt[i])
if(dis[to[i]]>dis[u]+val[i]){
dis[to[i]]=dis[u]+val[i];
if(vis[to[i]])return 0;
if(!spfa(to[i]))return 0;
}
vis[u]=0;
return 1;
}
int main(){
int n,m;
int v,cmd;
int a,b;
cin>>n>>m;
for(int i=1;i<=n;i++) dis[i]=INF;
for(int i=0;i<m;i++){
cin>>cmd;
switch(cmd){
case 1:
cin>>a>>b>>v;
add_edge(b,a,v);
break;
case 2:
cin>>a>>b>>v;
add_edge(a,b,-v);
break;
case 3:
cin>>a>>b;
add_edge(a,b,0);
add_edge(b,a,0);
break;
}
}
for(int i=1;i<=n;i++) add_edge(0,i,0);
dis[0]=0;
if(spfa(0)) cout<<"Yes\n";
else cout<<"No\n";
return 0;
}
P3275 [SCOI2011]糖果
https://www.luogu.org/problemnew/show/P3275
既然是早最少要多少 就跑最长路 看最小值 答案是每个人到0的距离和
差分约束 跑最长路 看正环就好 >= 不能最底得极限不存在 是+INF
后面那个题 记得开LL 然后 倒这建0到（1，n） 的线 卡SPFAorz
这图建立就容易了 有了上一题
#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <queue>
using namespace std;
#define ll long long
const int INF=0x3f3f3f3f3f3f3f3f;
const int maxn = 1e5+5;
bool vis[maxn];
ll dis[maxn];
int to[maxn<<2],val[maxn<<2],head[maxn],nxt[maxn<<2];
int cnt;
void ade(int a,int b,int v){
to[++cnt]=b;
nxt[cnt]=head[a];
head[a]=cnt;
val[cnt]=v;
}
bool spfa(int u){
vis[u]=1;
for(int i=head[u];i;i=nxt[i])
if(dis[to[i]]<dis[u]+val[i]){
dis[to[i]]=dis[u]+val[i];
if(vis[to[i]])return 0;
if(!spfa(to[i]))return 0;
}
vis[u]=0;
return 1;
}
int main(){
int n,m;
int v,cmd;
int a,b;
cin>>n>>m;
for(int i=0;i<m;i++){
cin>>cmd>>a>>b;
if(cmd==1) ade(a,b,0),ade(b,a,0);
if(cmd==2) ade(a,b,1);
if(cmd==3) ade(b,a,0);
if(cmd==4) ade(b,a,1);
if(cmd==5) ade(a,b,0);
}
for(int i=n;i>=1;i--) ade(0,i,1),dis[i]=-INF;
dis[0]=0;
if(!spfa(0)){
cout<<-1<<endl;
}else{
ll ans=0;
for(int i=1;i<=n;i++) ans+=dis[i];
cout<<ans<<endl;
}
return 0;
}
Layout
http://poj.org/problem?id=3169
数据保证 大的在小的 左边
找 1和n最远距离 跑最短路 数据最大值是上线
#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <queue>
using namespace std;
#define ll long long
const int INF=0x3f3f3f3f;
const int maxn = 1e4+5;
bool vis[maxn];
int dis[maxn];
int to[maxn<<2],val[maxn<<2],head[maxn],nxt[maxn<<2];
int cnt;
void add_edge(int a,int b,int v){
to[++cnt]=b;
nxt[cnt]=head[a];
head[a]=cnt;
val[cnt]=v;
}
bool spfa(int u){
vis[u]=1;
for(int i=head[u];i;i=nxt[i])
if(dis[to[i]]>dis[u]+val[i]){
dis[to[i]]=dis[u]+val[i];
if(vis[to[i]])return 0;
if(!spfa(to[i]))return 0;
}
vis[u]=0;
return 1;
}
int main(){
int n,m1,m2;
int v,cmd;
int a,b;
cin>>n>>m1>>m2;
for(int i=1;i<=n;i++) dis[i]=INF;
for(int i=0;i<m1;i++){
cin>>a>>b>>v;
add_edge(a,b,v);
}
for(int i=0;i<m2;i++){
cin>>a>>b>>v;
add_edge(b,a,-v);
}
// for(int i=1;i<=n;i++) add_edge(0,i,0);
dis[1]=0;
if(!spfa(1)) cout<<-1<<endl;
else if(dis[n]==INF) cout<<-2<<endl;
else cout<<dis[n]<<endl;
//else cout<<"No\n";
return 0;
}
