Week8 作业 A - 区间选点 II 差分约束 SPFA POJ - 1201

题目

给定一个数轴上的 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 个区间，要求在数轴上选取最少的点使得第 i 个区间里至少有 𝑐i 个点，这就构成了差分约束。我们记 𝑠𝑢𝑚[𝑖] 表示数轴上 [0, 𝑖] 之间选点的个数，对于第 i 个区间 [𝑎𝑖, 𝑏𝑖] 需要满足 𝑠𝑢𝑚[𝑏𝑖] − 𝑠𝑢𝑚 [𝑎𝑖 − 1] ≥ 𝑐𝑖，而且我们还要保证 sum 要有意义，所以还要加上 0 ≤ 𝑠𝑢𝑚 [𝑖] − 𝑠𝑢𝑚[𝑖 − 1] ≤ 1 这个约束项。我们求该差分约束系统的最小解，可以转化为 ≥ 不等式组跑最长路，答案为 𝑠𝑢𝑚[max{𝑏𝑖}]。

需要注意的是 a𝑖 的值可以为 0 ，如果整体数据不往正向偏移，会导致附加数据测试出现 WA，同时由于数据范围的原因，存储距离不能仅用 int ，需要开大点。

程序源码

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include<stdio.h>
#include<algorithm>
#include<queue>
using namespace std;
struct node {
	int b;
	int c;
	node* next;
	node() {}
	node(int b, int c, node* next) :b(b), c(c), next(next) {}
};

int main() {
	int n;
	while (scanf("%d", &n) != EOF) {
		long long dis[50005] = { 0 };
		int inq[50005] = { 0 };
		node* L[50005] = { 0 };
		int themax = -1;

		int a, b, c;
		queue<int> q;
		for (int i = 0; i < n; i++) {
			scanf("%d%d%d", &a, &b, &c);
			L[a] = new node(b+1, c, L[a]); // sum[b] - sum[a-1] >= c
			if (b+1 > themax) themax = b+1; //同时整体往右偏移一个单位长度
		}
		for (int i = 0; i <= themax; i++) {
			dis[i] = -1e18;
		}
		for (int i = 1; i <= themax; i++) {
			L[i] = new node(i - 1, -1, L[i]); //sum[i] - sum[i-1] >= 0
			L[i - 1] = new node(i, 0, L[i - 1]); //sum[i-1] - sum[i] >= -1
		}
		q.push(0); dis[0] = 0;
		while (q.size()) { // ≥ 不等式组跑最长路
			int u = q.front();
			q.pop();
			inq[u] = 0;
			node* thisnode = L[u];
			while (thisnode != NULL) {
				int v = thisnode->b;
				if ( dis[u] + thisnode->c > dis[v]) { //可松弛
					dis[v] = dis[u] + thisnode->c;
					if (!inq[v]) {
						q.push(v);
						inq[v] = 1;
					}
				}
				thisnode = thisnode->next;
			}
		}
		cout << dis[themax] << endl; //输出结果
	}
}

参考链接

差分约束系统
夜深人静写算法（四） - 差分约束
图论–SPFA算法(单源最短路)