题意:
给定一个数轴上的 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
思路:
通过差分约束系统进行解题,在构建图时需要找到进行约束的不等式组,由题意可知,在ai到bi的区间中至少有ci个点,我们通过数组进行不等式的表述,通过dis数组存储在区间中的点数。所以dis[bi]-dis[ai-1]>=ci,即为不等式的约束条件,更严谨一点,dis[i]-dis[i-1]应该在0到1之间,之后通过spfa函数可以求得最短路。
代码:
#include<iostream>
#include<queue>
using namespace std;
const int inf=1e9;
struct node{
int u;
int v;
int w;
int next;
}e[200050];
queue<int> q;
int cm=0,n,dis[50050],vis[50050],head[50050];
int bm=-1,am=inf;
void init()
{
cm=0;
bm=-1;
am=inf;
for(int i=0;i<=n;i++)
{
dis[i]=-inf;
vis[i]=0;
head[i]=0;
}
}
void addedge(int u,int v,int w)
{
e[++cm].u=u;
e[cm].v=v;
e[cm].w=w;
e[cm].next=head[u];
head[u]=cm;
}
void spfa(int x)
{
for(int i=0;i<=n;i++)
{
dis[i]=-inf;
vis[i]=0;
}
q.push(x);
dis[x]=0;
vis[x]=1;
while(!q.empty())
{
int u=q.front();
q.pop();
vis[u]=0;
for(int i=head[u];i!=0;i=e[i].next)
{
if(dis[e[i].v]<dis[u]+e[i].w)
//if(dis[e[i].u]<dis[u]+e[i].w)
{
dis[e[i].v]=dis[u]+e[i].w;
//dis[e[i].u]=dis[u]+e[i].w;
if(!vis[e[i].v])
//if(!vis[e[i].u])
{
q.push(e[i].v);
vis[e[i].v]=1;
//q.push(e[i].u);
//vis[e[i].u]=1;
}
}
}
}
cout<<dis[bm];
}
int main()
{
cin>>n;
init();
for(int i=0;i<n;i++)
{
int u,v,w;
cin>>u>>v>>w;
addedge(u,v+1,w);
if(bm<v) bm=v;
if(am>u) am=u;
}
++bm;
for(int i=am;i<bm;i++)
{
addedge(i,i+1,0);
addedge(i+1,i,-1);
}
spfa(am);
return 0;
}