题意
给定一个数轴上的 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[bi]-sun[ai-1]>=ci;
- 根据差分约束,这是取下界,所以跑最长路即可;
- 即可将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;
}