差分约束

以前学过但是现在忘了重新学一遍$qwq$
就是用图论的思想来解决一些不等式求解问题
形如$f[i]-f[j]\le a[k]$的一些不等式，可以看成$f[i]\le f[j]+w(j,i)$
从$j$到$i$连一条边权为$a[k]$的边
把求$f[n]-f[0]$的最大值转化成求$0$到$n$的最短路

根据不同的题目可以有不同的不等式，对于$f[i]-f[j]\ge a[k]$这样的
可以转化成求最长路，也可以变成$f[j]-f[i]\le -a[k]$这样的还是求最短路
对于$f[i]-f[j]<a[k]$这样的，可以变成$f[i]-f[j]\le a[k]-1$

然后是两个小水题当例子$qwq$
luogu1250

将区间转化成前缀和形式用差分约束

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#define maxn 30005
#define maxm 100005
#define inf 0x3f3f3f3f
using namespace std;
int n,m,dis[maxn],mx,mn,cnt,head[maxn];
queue<int> q;
bool vis[maxn];

inline int rd(){
	int x=0,f=1;char c=' ';
	while(c<'0' || c>'9') f=c=='-'?-1:1,c=getchar();
	while(c<='9' && c>='0') x=x*10+c-'0',c=getchar();
	return x*f;
}
inline int max(int x,int y){return x>y?x:y;}

struct EDGE{
	int to,nxt,w;
}edge[maxm];
inline void add(int x,int y,int z){
	edge[++cnt].to=y; edge[cnt].nxt=head[x]; head[x]=cnt; edge[cnt].w=z;
}

inline void spfa(int s){
	q.push(s); vis[s]=1;
	memset(dis,0x3f,sizeof dis); dis[s]=0;
	while(!q.empty()){
		int u=q.front(); q.pop();
		for(int i=head[u];i;i=edge[i].nxt){
			int v=edge[i].to;
			if(dis[v]>dis[u]+edge[i].w){
				dis[v]=dis[u]+edge[i].w;
				if(!vis[v]) vis[v]=1,q.push(v);
			}
		}
		vis[u]=0;
	} return;
}

int main(){
	n=rd(); m=rd(); mn=inf;
	for(int i=1;i<=m;i++){
		int x=rd(),y=rd(),z=rd();
		add(y,x-1,-z);//sum[y]-sum[x-1]<=-z
	}
	for(int i=0;i<=n;i++)
		add(n+1,i,0);
	for(int i=1;i<=n;i++)
		add(i-1,i,1),add(i,i-1,0);//sum[i]-sum[i-1]<=1,sum[i-1]-sum[i]<=0
	spfa(n+1); int mn=inf;
	for(int i=0;i<=n;i++) mn=min(dis[i],mn);
	printf("%d\n",dis[n]-mn);
	return 0;
}

poj1716
和上一个题差不多，就是边权都是2，求最长路

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#define maxn 20005
#define inf 0x3f3f3f3f
using namespace std;
int n,cnt,head[maxn],dis[maxn],S,mn,mx,ans;
bool vis[maxn];
queue<int> q; 

inline int rd(){
	int x=0,f=1;char c=' ';
	while(c<'0' || c>'9') f=c=='-'?-1:1,c=getchar();
	while(c<='9' && c>='0') x=x*10+c-'0',c=getchar();
	return x*f;
}

struct EDGE{
	int to,nxt,w;
}edge[maxn<<2];
inline void add(int x,int y,int z){
	edge[++cnt].to=y; edge[cnt].nxt=head[x]; edge[cnt].w=z; head[x]=cnt;
}

inline void spfa(int s){
	memset(dis,0xcf,sizeof dis); vis[s]=1; dis[s]=0;
	while(!q.empty()) q.pop();
	q.push(s);
	while(!q.empty()){
		int u=q.front(); q.pop();
		for(int i=head[u];i;i=edge[i].nxt){
			int v=edge[i].to;
			if(dis[v]<dis[u]+edge[i].w){//最长路 
				dis[v]=dis[u]+edge[i].w;
				if(!vis[v]) vis[v]=1,q.push(v);
			}
		} vis[u]=0;
	} return;
}

inline int min(int x,int y){return x<y?x:y;}
inline int max(int x,int y){return x>y?x:y;}

int main(){
//	freopen("in.txt","r",stdin);
//	freopen("out2.txt","w",stdout);
	n=rd(); mn=inf;
	for(int i=1;i<=n;i++){
		int l=rd(),r=rd(); l++,r++;//sum[r]-sum[l-1]>=2
		add(l-1,r,2); mn=min(mn,l-1); mx=max(mx,r);
	}
	S=mx+1;
	for(int i=mn;i<=mx;i++)
		add(S,i,0);
	for(int i=mn+1;i<=mx;i++)
		add(i,i-1,-1),add(i-1,i,0);//sum[i-1]-sum[i]>=-1,sum[i]-sum[i-1]>=0 
	spfa(S); ans=inf;
	for(int i=mn;i<=mx;i++)
		ans=min(dis[i],ans);
	printf("%d\n",dis[mx]-ans);
	return 0;
}