week8 A - 区间选点 II（差分约束）

一、题目描述

给定一个数轴上的 n 个区间，要求在数轴上选取最少的点使得第 i 个区间 [ai, bi] 里至少有 ci 个点
使用差分约束系统的解法解决这道题

Input
输入第一行一个整数 n 表示区间的个数，接下来的 n 行，每一行两个用空格隔开的整数 a，b 表示区间的左右端点。1 <= n <= 50000， 0 <= ai <= bi <= 50000 并且 1 <= ci <= bi - ai+1。

Output
输出一个整数表示最少选取的点的个数

Sample Input
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

Sample Output
6

二、思路概述

• 记sum[i]表示数轴上[0,i]之间选点的个数。对于第i个区间[ai,bi]需要满足sum[b+1]-sum[a]>=C，即sum[b+1]>=C+sum[a]，且要满足0<=sum[i+1]-sum[i]<=1
• 所以放到图里的边有(a,b+1,c); (i+1,i,-1);(i,i+1,0);这三种。
• 要求最小解，所以要用spfa跑最长路，
• SPFA遍历后，获得dis[最右边界]即总共最少要选的点

三、细节

1. 这题的主要难点就是把这题和查分约束联系起来，而且不能使用贪心算法。
2. 查分约束就适合这种，可以有很多个不等式的题目。

四、完整代码

#include<iostream>
#include<queue>
using namespace std;

const int maxn=5e4+10; 
const int maxm=2e5;
const int inf=1e8;
//链式前向星 
struct edge{
	int to,w,next;
}e[maxm];

int head[maxn],dis[maxn],cnt[maxn],inq[maxn];//dis[i]表示数轴上0，i之间选点的个数 
int num;

void init()
{
	num=0;
	for(int i=0;i<maxn;i++)
	{
		head[i]=-1;
		dis[i]=-inf;
		inq[i]=0;
		cnt[i]=0;
	}
} 

void addedge(int from,int to,int w)
{	
	e[num].to=to;
	e[num].w=w;
	e[num].next =head[from];
	head[from]=num;
	num++;
}

//求最长路 
void spfa(int s)
{	
	dis[s]=0;
	
	queue<int>q;
	q.push(s);
	
	while(!q.empty())
	{		
		int u=q.front();
		q.pop();
	
		inq[u]=0;		
	
		for(int i = head[u]; i!=-1; i = e[i].next)
		{
			
			int w=e[i].w;
			int v=e[i].to;
			
			if(dis[v]<dis[u]+w)
			{				
				dis[v]=dis[u]+w;
				
				if(!inq[v])
				{
					q.push(v);
					inq[v]=1;
				} 
			}
		}
	}
}

int main()
{
	int n;// n表示区间的个数
	cin>>n;//1 <= n <= 50000
	
	init();//初始化 
	
	int maxl=0;
	int minl=inf;
	while(n--)//接下来的n行，每一行两个用空格隔开的整数a，b表示区间的左右端点
	{
		int a,b,c;
		cin>>a>>b>>c;
		addedge(a,b+1,c); //sum[bi+1]-sun[ai]>>ci
		//视为图中从a到b+1有一条长度为c的有向边	
		if(maxl<b+1)maxl=b+1;
		if(minl>a)minl=a;
	}
	for(int i=minl;i<=maxl;i++)
	{
		addedge(i+1,i,-1);
		addedge(i,i+1,0);
	}

	spfa(minl);
	
	cout<<dis[maxl]<<endl;
	
	
 }