【洛谷刷题笔记】POJ 1201 Intervals

m0_66420734

已于 2022-09-10 12:39:50 修改

阅读量281

点赞数 5

分类专栏：洛谷刷题笔记文章标签：差分约束系统最长路 SPFA算法图论优化问题

于 2022-07-23 20:37:29 首次发布

本文链接：https://blog.csdn.net/m0_66420734/article/details/125952026

版权

洛谷刷题笔记专栏收录该内容

5 篇文章 0 订阅

订阅专栏

题目传送门https://vjudge.net/problem/POJ-1201

100 pts

思路

设 $s_k$ 表示 $0\sim k$ 最少选出整数的个数，根据题意，便有 $s_{b_i} - s_{a_i-1}\geq c_i$ ，这显然是一个差分约束系统的模型。

其次，可以想到 $s_{i+1}-s_i \geq 0$ 和 $s_{i+1}-s_i \le 1$ ，后者可以变形为 $s_i-s_{i+1}\geq -1$ 。

这样，我们就把其转化成了差分约束问题，上述建图之后跑一遍最长路即可。

代码演示

#include <iostream>
#include <queue>
using namespace std;
#define MAXN 50010
#define MAXM 150010
const int INF = 1e9;
int cnt = 0, head[MAXN];
struct edge {
	int nxt, v, w;
} e[MAXM];
void addedge(int u, int v, int w) {
	e[++cnt].nxt = head[u];
	e[cnt].v = v;
	e[cnt].w = w;
	head[u] = cnt;
} 
const int n = 5e4;
int dis[MAXN];
bool book[MAXN];
bool SPFA(int s) {
	for (int i = 0; i <= n; i++) dis[i] = -INF;
	dis[s] = 0;
	book[s] = true;
	queue<int> q;
	q.push(s);
	while (!q.empty()) {
		int u = q.front(); q.pop();
		book[u] = false;
		for (int i = head[u]; i; i = e[i].nxt) {
			int v = e[i].v, w = e[i].w;
			if (dis[u] + w > dis[v]) {
				dis[v] = dis[u] + w;
				if (book[v]) continue;
				book[v] = true;
				q.push(v);
			} 
		} 
	}
	return false;
}
int main() {
	int m;
	cin >> m;
	for (int i = 1; i <= m; i++) {
		int a, b, c;
		cin >> a >> b >> c;
		addedge(a - 1, b, c);
	} 
	for (int i = 0; i < n; i++)
		addedge(i, i + 1, 0), addedge(i + 1, i, -1);
	SPFA(0);
	cout << dis[n] << endl;
	return 0;
}