填坑…
差分約束一般是搞一個不等式組,求xn-x1的最大最小值什麼的,求最大值就轉化成xa<=xb+w這樣的,然後建圖跑最短路(這纔是最終約束的),舉個例子
那麼解出來
結果肯定是
所以直接對於已知條件建邊,大於小於可以互相轉換,注意:相鄰的要保證順序。
#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define M 25000
#define N 1050
using namespace std;
int e=1,head[N];
struct edge{
int u,v,w,next;
}ed[M];
void add(int u,int v,int w){
ed[e].u=u; ed[e].v=v; ed[e].w=w;
ed[e].next=head[u]; head[u]=e++;
}
int dis[N],bo[N],tim[N],n,m1,m2;
int spfa(){
queue<int> q;
memset(dis,0x3f,sizeof dis);
memset(bo,0,sizeof bo);
bo[1]=1;dis[1]=0;q.push(1);
while(!q.empty()){
int x=q.front();q.pop();bo[x]=0;
for(int i=head[x];i;i=ed[i].next){
int v=ed[i].v,w=ed[i].w;
if(dis[v]>dis[x]+w){
dis[v]=dis[x]+w;
if(!bo[v]){
bo[v]=1;
q.push(v);
tim[v]++;
if(tim[v]>n)return -1;
}
}
}
}
if(dis[n]==dis[0])return -2;
return dis[n];
}
int main(){
freopen("layout.in","r",stdin);
freopen("layout.out","w",stdout);
scanf("%d%d%d",&n,&m1,&m2);
int u,v,w;
for(int i=1;i<=m1;i++){
scanf("%d%d%d",&u,&v,&w);
if(u>v)swap(u,v);
add(u,v,w);
}
for(int i=1;i<=m2;i++){
scanf("%d%d%d",&u,&v,&w);
if(u>v)swap(u,v);
add(v,u,-w);
}
for(int i=1;i<n;i++)add(i+1,i,0);
printf("%d\n",spfa());
return 0;
}