【差分约束】POJ_1201 Intervals

本文介绍了一种利用最短路径算法解决特定序列问题的方法。通过构建图模型并运用松弛操作,可以高效地找到满足一系列条件的序列最小长度。该方法首先定义了节点间的距离关系,并通过SPFA算法求解最长路径。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题意

给出nnn个形如“a b c”“a\ b\ c”a b c的式子,表示在aaabbb之间至少有ccc个不同的数。求出满足这nnn个条件的序列的最小长度。

思路

d[i]d[i]d[i]0∼i0\sim i0i的数字中有多少个在序列里,由题意得db−da−1≥cd_b-d_{a-1}\geq cdbda1c

我们可以发现,这个式子很像最短路中的松弛操作dv>=du+w(u,v)d_v>=d_u+w(u,v)dv>=du+w(u,v)。那么我们把上面得出的式子移项,变成db≥da−1+cd_b\geq d_{a-1}+cdbda1+c,于是我们就可以在a−1a-1a1bbb中建一条长度为ccc的边。

由于ddd是有联系的,我们还发现两个条件di−di−1>=0;di−1−di>=−1d_i-d_{i-1}>=0;d_{i-1}-d_i>=-1didi1>=0;di1di>=1

按照这样建图后,根据db≥da−1+cd_b\geq d_{a-1}+cdbda1+c,我们就可以跑最长路求出ddd

代码

#include<queue>
#include<cstdio>
#include<cstring>
#include<algorithm>

int n, tot, s = 50000, t;
int head[50001], next[150001], ver[150001], edge[150001], v[50001], d[50001];

void add(int u, int v, int w) {
	ver[++tot] = v;
	next[tot] = head[u];
	edge[tot] = w;
	head[u] = tot;
}

void spfa() {
	std::queue<int> q;
	memset(d, -127 / 3, sizeof(d));
	v[s] = 1;
	d[s] = 0;
	q.push(s);
	while (q.size()) {
		int u = q.front();
		q.pop();
		v[u] = 0;
		for (int i = head[u]; i; i = next[i]) {
			int to = ver[i];
			if (d[to] < d[u] + edge[i]) {
				d[to] = d[u] + edge[i];
				if (!v[to]) {
					v[to] = 1;
					q.push(to);
				}
			}
		}
	}
}

int main() {
	scanf("%d", &n);
	for (int i = 1; i <= n; i++) {
		int x, y, z;
		scanf("%d %d %d", &x, &y, &z);
		s = std::min(s, x - 1);
		t = std::max(t, y);
		add(x - 1, y, z);
	}
	for (int i = s + 1; i <= t; i++) {
		add(i, i - 1, -1);
		add(i - 1, i, 0);
	}
	spfa();
	printf("%d", d[t]);
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值