差分约束及应用

差分约束用来解决两类问题

【1】 求一组不等式的可行解

【2】求最大值/最小值

不等式的可行解

 

对于绝对关系，需要建一个超级源点0，从零向该点连一条权值为c的边。

求解不等式解的步骤为：

【1】将每个不等式转为一条边

【2】寻找一个源点，此点需要能够到达其他所有边

【3】从源点出发求最短路/最长路

当求最短路时存在负环无解，求最长路时存在正环无解

最大值/最小值

这个最大值指的是可行解的最大值

结论：如果求的是最小值，对图求最长路

           如果求的是最大值，对图求最短路

以求最大值为例：

从xi出发，根据链式法则，最后的式子形如：xi <= 0 + c1 + ……ci，x 的最大值为上界最小值，即求最短路。

362. 区间 - AcWing题库  

题意概括： 题目给出n个需要满足的限制：区间【a,b】内的数的个数 >= c【i】,求一个最小的总个数。

因为要求的是最小值，所以总体思路为求最长路，按照这个思路来构造

然后构造不等关系，这是最核心的一步

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int N=50010,M=150010;
int n;
int h[N],e[M],ne[M],w[M],idx;
int dist[N];
int q[N];
bool st[N];
void add(int a,int b,int c)
{
	e[idx]=b,w[idx]=c,ne[idx]=h[a],h[a]=idx++;
}
void spfa()
{
	int hh=0,tt=1;
	memset(dist,-0x3f,sizeof dist);
	dist[0]=0;
	q[0]=0;
	st[0]=true;
	while(hh!=tt)
	{
		int t=q[hh++];
		if(hh==N)
		hh=0;
		st[t]=false;
		for(int i=h[t];~i;i=ne[i])
		{
			int j=e[i];
			if(dist[j]<dist[t]+w[i])
			{
				dist[j]=dist[t]+w[i];
				if(!st[j])
				{
					q[tt++]=j;
					if(tt==N)
					tt=0;
					st[j]=true;
				}
			}
		}
	}
} 
int main()
{
	scanf("%d",&n);
	memset(h,-1,sizeof h);
	for(int i=1;i<=50001;i++)//先建前两种边 
	{
		add(i-1,i,0);
		add(i,i-1,-1);
	}
	while(n--)
	{
		int a,b,c;
		scanf("%d%d%d",&a,&b,&c);
		a++,b++;
		add(a-1,b,c);
	}
	spfa();
	printf("%d\n",dist[50001]);
	return 0; 
}