差分约束应用——区间选点

问题描述

给定一个数轴上的 n 个区间，要求在数轴上选取最少的点使得第 i 个区间 [ai, bi] 里至少有 ci 个点
【输入】
输入第一行一个整数 n 表示区间的个数，接下来的 n 行，每一行两个用空格隔开的整数 a，b 表示区间的左右端点。1 <= n <= 50000， 0 <= ai <= bi <= 50000 并且 1 <= ci <= bi - ai+1。
【输出】
输出一个整数表示最少选取点的个数
【样例输入】
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1
【样例输出】
6

问题分析

关于差分约束系统
求解差分约束系统，都可以转换为图论中单源最短路问题，对于差分约束中的每一个不等式xi-xj<=ck都可以移项变形成xi<=ck+xj

本题中构造不等式组，记dis【i】表示数轴上【0，i】之间选点的个数，对于第i个区间【xi，yi】需要满足dis【yi】-dis【xi-1】>=ci,同时保证dis是有意义的满足0<=dis[i]-dis[i-1]<=1
求解差分约束系统的最小解，转化为>=不等式组跑最长路，答案为sum【max（bi）】

因为存在0<=dis【0】-dis【-1】<=1，所以将区间整体右移一个单位

#include<iostream>
#include<queue> 
#include<cstring>
const int inf=5*1e8;
using namespace std;

struct edge
{
	int u,v,w,nxt;
}edges[3*50010];

int head[50010],tot=1,maxb,dis[50010],inq[50010]; 
void addEdge(int u,int v,int w)
{
	edges[tot].u=u;
	edges[tot].v=v;
	edges[tot].w=w;
	edges[tot].nxt=head[u];
	head[u]=tot;
	tot++;
}

queue<int> q;
void spfa()
{
	while(q.size()) q.pop();
    memset(dis,2000,sizeof(dis));
	dis[0]=0;
	inq[0]=1;//入队 
	q.push(0);
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		inq[u]=0; 
		for(int i=head[u];i!=-1;i=edges[i].nxt)
		{
			int v=edges[i].v;
			int w=edges[i].w;
			if(dis[v]<dis[u]+w)//松弛
			{
			 	dis[v]=dis[u]+w;
			 	if(!inq[v])//不在队列里，入队 
			    {   
					inq[v]=1; 
					q.push(v);
				}  
			}
			
		} 
	}
}

int main()
{
	int n,a,b,c;
	cin>>n;
	memset(head,-1,sizeof(head)); 
	memset(inq,0,sizeof(inq));
	for(int i=1;i<=n;i++)
	{
		cin>>a>>b>>c;
		addEdge(a,b+1,c);
		maxb=max(maxb,b+1);
	}
	for(int i=1;i<=maxb;i++)
	{
		addEdge(i-1,i,0);
		addEdge(i,i-1,-1);
	}
	spfa();
	int e=dis[maxb];
	cout<<e<<endl;
}