POJ-1201Intervals(差分约束入门)

差分约束中的两类问题：
$1.$某某条件下(不等式)最小值
一般是将不等式化为$x_i-x_j>=k$的形式，建边的时候是$j\to i$的有向边，权值为$k$，给定起点终点然后跑一遍最长路。
$2.$某某条件下(不等式)最大值
一般是将不等式化为$x_i-x_j<=k$的形式，建边的时候是$j\to i$的有向边，权值为$k$，给点起点终点然后跑一遍最短路。

题意：

给你$n$个区间$[a_i,b_i]$和对应的$c_i$，$c_i$表示在这个区间内必须有至少$c_i$个整点，整点不能重复。最后问一个最短的区间长度能使得这些条件满足。

分析：

假定$d[i]$表示从题目给定的最小值点到$i$点用几个整点。
那么有
$I.$ $d[b]-d[a-1]>=c$
$II.$ $d[i+1]-d[i]<=1$$($再转化成$x_i-x_j>=k$的形式)
$III.$ $d[i+1]-d[i]<=0$
假设输入$a,b,c$，建图就是$addedge(a-1,b,c)$，因为$a-1$可能是$-1$，所以平移移位$addedge(a,b+1,c)$即可。

#include <queue>
#include <stack>
#include <cmath> 
#include <cstdio>
#include <string>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int, int> pii;
typedef pair<LL, LL> pll;

const int maxn  = 5e5 + 5;
const int maxm  = 100 + 5;
const int inf   = 0x3f3f3f3f;
const LL  mod   = 1e9 + 7;//19260817
const double pi = acos(-1.0); 

int n, a, b, c, cnt, MIN, MAX, head[maxn], dis[maxn], vis[maxn];

struct node{
	int to, val, next;
}edge[maxn * 20];

void addedge(int u, int v, int w){
	edge[++cnt].to = v;
	edge[cnt].val = w;
	edge[cnt].next = head[u];
	head[u] = cnt;
}

void spfa(int st){
	memset(dis, -inf, sizeof dis);
	dis[st] = 0;
	queue<int> q;
	q.push(st);
	while(!q.empty()){
		int u = q.front();
		q.pop();
		vis[u] = 0;
		for(int i = head[u]; i; i = edge[i].next){
			int v = edge[i].to, w = edge[i].val;
			if(dis[v] < dis[u] + w){
				dis[v] = dis[u] + w;
				if(!vis[v]){
					q.push(v);
					vis[v] = 1;
				}
			}
		}
	}
	printf("%d\n", dis[MAX]);
}

int main(){
	scanf("%d", &n);
	MIN = inf, MAX = -inf;
	for(int i = 1; i <= n; i++){
		scanf("%d %d %d", &a, &b, &c);
		addedge(a, b + 1, c);
		MIN = min(MIN, a);
		MAX = max(MAX, b + 1);
	}
	for(int i = MIN; i < MAX; i++){
		addedge(i, i + 1, 0);
		addedge(i + 1, i, -1);
	}
	spfa(MIN);
    return 0;
}