P10934 西瓜种植 解题报告
题目传送门
这道题也可以用贪心来做,这里讲一下差分约束的做法。
看到题中给出了 \(m\) 条限制性的语句就联想到差分约束(差分约束的题还是很显眼的)。
做差分约束的题首先得把题面抽象成很多个不等式,所以我们先来转化一下题意。
首先发现求最小值,那么先确定转化方向:将所有条件转换成大于或大于等于,然后建边跑最长路。
设 \(x_i\) 表示前 \(i\) 块地共种了多少个西瓜。
那么对于每个关系可以理解为 \(sum_b - sum_{a - 1} \ge c\),就是说 \([a, b]\) 这块地种的西瓜数量要大于等于 \(c\),那么就从 \(a - 1\) 向 \(b\) 连一条长度为 \(c\) 的有向边。
但是光这样建边你会发现根本做不了一点,因为你根本不知道该从哪里开始跑最长路,而且无法正确求解。
这就是这道题非常有意思的一点,因为除了给出的数据需要建边,还有隐藏的建边关系。
注意:
每处最多只能种一个西瓜。
这其实隐藏了一个关系:\(\forall i \in [1,n],0\le x_i - x_{i - 1} \le 1\)。
拆开来看就是:
\[\begin{cases}
x_i - x_{i - 1}\ge 0\\
x_{i - 1} - x_i\ge -1
\end{cases}
\]
所以,要从 \(i - 1\) 向 \(i\) 连一条长度为 \(0\) 的有向边,
从 \(i\) 向 \(i - 1\) 连一条长度为 \(-1\) 的有向边。
综上,再根据刚刚的建图方式,从 \(0\) 号点跑最长路,答案就是 \(x_n\)。
\(\texttt{Code:}\)
#include <queue>
#include <cstring>
#include <iostream>
using namespace std;
const int N = 30010, M = 100010;
int n, m, C;
int h[N], e[M], w[M], ne[M], idx;
int dist[N];
bool vis[N];
void add(int a, int b, int c) {
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}
int ans;
void spfa(int s) {
queue<int> q;
q.push(s);
memset(dist, -0x3f, sizeof dist);
dist[s] = 0;
vis[s] = true;
while(q.size()) {
int t = q.front();
q.pop();
vis[t] = false;
for(int i = h[t]; ~i; i = ne[i]) {
int j = e[i];
if(dist[j] < dist[t] + w[i]) {
dist[j] = dist[t] + w[i];
if(!vis[j]) {
vis[j] = true;
q.push(j);
}
}
}
}
}
int main() {
memset(h, -1, sizeof h);
scanf("%d%d", &n, &m);
for(int i = 1; i <= n; i++) {
add(i - 1, i, 0);
add(i, i - 1, -1);
}
for(int i = 1, a, b, c; i <= m; i++) {
scanf("%d%d%d", &a, &b, &c);
add(a - 1, b, c);
}
spfa(0);
printf("%d", dist[n]);
return 0;
}