A-区间选点

A-区间选点

一、题目描述

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

二、思路与算法

本题核心内容为差分约束系统。
差分约束系统为一种特殊的n元不等式组，包含 n 个变量以及 m 个约束条件。
其中每个约束条件是由两个其中的变量做差构成的，形如xi-xj≤ck（ck是常数）。
我们要解决的问题是：求一组解使得所有的约束条件得到满足，否则判断出无解。

• 想要求解差分约束系统，都可以转化为图论中单源最短路问题。

那如何转化呢？
通过移项，可以得到xi≤xj+ck。这个形式与dis[i]≤dis[j]+w非常相似，所以我们通过这个式子将两者联系起来。
同时，因为求单源路径都是最短路/最长路，只一个最值，所以最终得到的答案都是等于号成立的情况。那么，想要求最大值，跑最短路，求最小值，跑最长路。
其中，求单源最短/长路，我们选用SPFA算法，本题不存在负环等情况，所以没有进行优化，若可能出现负环/无法到达等情况，可以利用优化的SPFA/Bellman算法。

三、代码实现

#include<cstdio>
#include<queue>
#include<math.h>
#include<string.h>
using namespace std;

int T=0,A=0,B=0,C=0,Q=100000,P=0,tot=0;
int a[50500]={
   0};
int head[50500],inq[50500],dis[50500];
queue<