week-8-A-区间选点

题意

给定一个数轴上的 n 个区间，要求在数轴上选取最少的点使得第 i 个区间 [ai, bi] 里至少有 ci 个点

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

样例：
input:
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1
output:
6

思路

• 此题使用差分约束系统进行计算；
• 首先得到约束条件 sum[b_i]-sun[a_i-1]>=c_i;
• 根据差分约束，这是取下界，所以跑最长路即可；
• 即可将SPFA中，松弛操作dis[j]>dis[i]+w(i,j)改为dis[j]>dis[i]+w(i,j)；
• 最后求sum[max{_i}]即可；
• 另外一个需要注意的点是：在图的构建过程中，我们需要将所有的相邻的点连起来（加边）,保证0<=sum[i]-sum[i-1]<=1且-1<=sum[i-1]-sum[i]<=0

for (int i = 1; i <=max_n; i++)
	{//保证0<=dis[i]<=1;
		add(i - 1, i, 0);
		add(i, i - 1, -1);
	}

• 此题边的存储采用链式前向星的方式，具体后面会对前向星写一篇博客

总结

• 此题是利用差分约束系统和求最短路的松弛操作很类似，然后将其转化为求最长路问题，此题非常关键的一个地方就是构建图，根据区间特点，加边使得满足（0<=sum[i]-sum[i-1]<=1)这个条件；

错误分享

此题将数组开小了，由于要加三次边，所以数组的大小应该是数据范围的三倍；

代码

#include<iostream>
#include<queue>
#include<string>
using namespace std;
struct node//链式前向星
{
	int next;
	int to;
	int w;
}Edge[150002];
int cnt = 0;
int head[150002];

void add(int u,int v,int w)
{
	Edge[cnt].to = v;
	Edge[cnt].next = head[u];
	Edge[cnt].w = w;
	head[u] = cnt++;
}
int dis[150002];
int exist[150002];//判断在队列中是否存在
int vis[150002];//标记dfs过程中访问的点

void init()
{
	memset(head, -1, sizeof head);
}
void spfa(int s, int n)
{
	queue<int> q;
	for (int i = 0; i <=n; i++) {
		dis[i] = -1;//初始化距离数组
		exist[i] = 0;
	}
	dis[s] = 0;
	exist[s] = 1;
	q.push(s);
	while (!q.empty())
	{
		int u = q.front();
		q.pop();
		exist[u] = 0;
		for (int i = head[u]; i!=-1;i = Edge[i].next)
		{
			int v_ = Edge[i].to;
			int vat = Edge[i].w;
			if (dis[v_] < dis[u] + vat)
			{
				
				dis[v_] = dis[u] + vat;
				if (exist[v_] == 0)
				{
					q.push(v_);
					exist[v_] = 1;
				}
			}
		}
	}
}
int main()
{
	int n,count=0;
	cin >> n;
	init();
	int max_n=0;//最大顶点
	for (int i = 0; i < n; i++)
	{//图的构建
		int a, b, c;
		scanf("%d%d%d", &a, &b, &c);
		if (max_n < b)
			max_n=b;
		add(a-1, b, c);
	}
	for (int i = 1; i <=max_n; i++)
	{//保证0<=dis[i]<=1;
		add(i - 1, i, 0);
		add(i, i - 1, -1);
	}
	spfa(0, max_n);
	cout << dis[max_n];
	return 0;
}