https://vjudge.net/problem/UVA-11478
给定一个有向图，每条边都有一个权值。每次你可以选择一个结点v和一个整数d,把所有以v为终点的边的权值减小d,把所有以v为起点的边的权值增加d,最后让所有边的权值的最小值大于零且尽量大。
该死书上翻译错了 >0不是非负 WA好几次因为这个
考虑每条边的约束，di表示i的halum量
w-dv+du>0
dv-du<w
但求解这个差分约束系统只是让这组不等式成立，最长路和最短路控制的都是单个d的最值而不是最小值最大
那如何最小值最大呢？
二分答案......
那么不等式变为dv-du<w-mid，成立的话说明经过操作后边权可以都比mid大
无解的话就是mid=1,无界的话就是mid=最大边权(不能用1e9，溢出)的时候也成立
#include <iostream> #include <cstdio> #include <algorithm> #include <cstring> using namespace std; typedef long long ll; const int N=505,M=3005,INF=1e9; inline int read(){ char c=getchar();int x=0,f=1; while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();} while(c>='0'&&c<='9'){x=x*10+c-'0';c=getchar();} return x*f; } int n,m,u,v,w; struct edge{ int v,ne; double w; }e[M]; int h[N],cnt=0; inline void ins(int u,int v,int w){ cnt++; e[cnt].v=v;e[cnt].w=w;e[cnt].ne=h[u];h[u]=cnt; } int q[N],head,tail,inq[N],num[N],d[N]; inline void lop(int &x){if(x==N) x=1;else if(x==0) x=N-1;} bool spfa(int mid){ head=tail=1; memset(inq,0,sizeof(inq)); memset(num,0,sizeof(num)); for(int i=1;i<=n;i++) q[tail++]=i,inq[i]=1,d[i]=0; while(head!=tail){ int u=q[head++];inq[u]=0;lop(head); for(int i=h[u];i;i=e[i].ne){ int v=e[i].v,w=e[i].w-mid; if(d[v]>d[u]+w){ d[v]=d[u]+w; if(!inq[v]){ inq[v]=1; if(++num[v]>n) return true; if(d[v]<d[q[head]]) head--,lop(head),q[head]=v; else q[tail++]=v,lop(tail); } } } } return false; } int main(){ while(scanf("%d%d",&n,&m)!=EOF){ cnt=0;memset(h,0,sizeof(h)); int l=1,r=0,ans=0; for(int i=1;i<=m;i++) u=read(),v=read(),w=read(),ins(u,v,w),r=max(r,w); if(spfa(l)){puts("No Solution");continue;} else if(!spfa(r)){puts("Infinite");continue;} else{ while(l<=r){ int mid=(l+r)>>1; if(!spfa(mid)) ans=mid,l=mid+1; else r=mid-1; } printf("%d ",ans); } } }