问题描述
给定一个数轴上的 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;
}