week8作业A 区间选点 spfa 差分约束

题目：
给定一个数轴上的 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

·构造不等式组：

·记sum[i]表示数轴上[0,i]之间选点的个数

	·对于第i个区间[ai,bi]需要满足sum[bi]-sum[ai-1]>=ci

需要保证sum是有意义的，则

	·0<=sum[i]-sum[i-1]<=1

通过不等式构造出边，再用spfa求出最后答案。
因为spfa将<=号化成了=号，我们求出的最短路径实际上是不等式组的最大解，如果不等式是>=，则我们用spfa求最长路径，求出来的就是不等式的最小解。
spfa求最长路，只需要在初始化的时候将距离初始化为-inf，松弛的判断条件改为dis[y]<dis[x]+w即可。
此外，当i=0时，i-1=-1，下标无法表示，所以将整个区间右移一位。
以下是完整代码：

#include<iostream>
#include<vector>
#include<queue>
#include<algorithm> 
#define inf 5000000000
using namespace std;
struct edge{
 int u,v,w;
 edge(int x=0,int y=0,int z=0)
 {
  u=x;
  v=y;
  w=z;
 }
};
int n;
int a,b,c;
long long dis[51000];
int vis[51000];
int maxx=0,minn=51000; 
vector<edge> v[51000];
void spfa()
{
 for(int i=minn;i<=maxx;i++)
 {
  dis[i]=-inf;//与求最短路时相反 
  vis[i]=0;
 }
 queue<int> q;
 q.push(minn);
 dis[minn]=0;
 vis[minn]=1;
 while(!q.empty())
 {
  int x=q.front();
  q.pop();
  vis[x]=0;
  for(int i=0;i<v[x].size();i++)
  {
   int y=v[x][i].v;
   if(dis[y]<dis[x]+v[x][i].w)//松弛 
   {
    dis[y]=dis[x]+v[x][i].w;
    if(vis[y]!=1)
    {
     vis[y]=1;
     q.push(y); 
    }
   }
  }
 }
}
int main()
{
 cin>>n;
 for(int i=0;i<n;i++)
 {
  scanf("%d%d%d",&a,&b,&c);
  edge e(a,b+1,c);
  v[a].push_back(e); 
  minn=min(minn,a);//minn存储最小的点，作为起点 
  maxx=max(maxx,b+1);//maxx存储最大的点，作为终点 
 }
 for(int i=minn;i<maxx;i++)//加入新边 
 {
  edge e1(i+1,i,-1);
  edge e2(i,i+1,0);
  v[i+1].push_back(e1);
  v[i].push_back(e2);  
 }
 spfa();
 cout<<dis[maxx];
}