洛谷线性动态规划训练（2）：P1280 尼克的任务

P1280 尼克的任务

题目描述
尼克每天上班之前都连接上英特网，接收他的上司发来的邮件，这些邮件包含了尼克主管的部门当天要完成的全部任务，每个任务由一个开始时刻与一个持续时间构成。

尼克的一个工作日为N分钟，从第一分钟开始到第N分钟结束。当尼克到达单位后他就开始干活。如果在同一时刻有多个任务需要完成，尼克可以任选其中的一个来做，而其余的则由他的同事完成，反之如果只有一个任务，则该任务必需由尼克去完成，假如某些任务开始时刻尼克正在工作，则这些任务也由尼克的同事完成。如果某任务于第P分钟开始，持续时间为T分钟，则该任务将在第P+T-1分钟结束。

写一个程序计算尼克应该如何选取任务，才能获得最大的空暇时间。

输入格式
输入数据第一行含两个用空格隔开的整数N和K(1≤N≤10000，1≤K≤10000)，N表示尼克的工作时间，单位为分钟，K表示任务总数。

接下来共有K行，每一行有两个用空格隔开的整数P和T，表示该任务从第P分钟开始，持续时间为T分钟，其中1≤P≤N，1≤P+T-1≤N。

输出格式
输出文件仅一行，包含一个整数，表示尼克可能获得的最大空暇时间。

输入输出样例
输入 #1复制
15 6
1 2
1 6
4 11
8 5
8 1
11 5
输出 #1复制
4

分析

这个问题从正向来思考比较难，因为正向的决策是必定会影响后续的决策的，因此常规定义dp[i]为1-i分钟的最大空余时间不太妥当。这题比较有意思的就是，可以考虑从后往前来定义状态。 值得注意的是，本题中，在第i分钟，如果没有开始的任务，那么第i分钟就是空闲的！也就是说，任务如果已经发给别人去做了，你就不用插手了！

现在定义dp[i]为：从i到n分钟的空余时间。

CASE 1:

那么思考计算顺序，如果我们想知道i-n分钟的空余时间，我们可能知道后面的时间是有用的。如果第i分钟没有开始的任务，那么和第i+1分钟相比，它就比第i+1分钟一定多了1分钟的空闲时间！多出来的就是第i分钟的空闲时间。注意到，时间永远是正着走的（虽然是废话，但是这里很重要！）

CASE 2:

如果第i分钟有任务，那么我们就需要选一个能够让我们的空间时间最多的任务。我们很容易遍历所有任务（遍历k次），找到第i分钟要开始的任务，然后进行选择。那么dp[i]究竟是什么呢？考虑到如果执行一个任务，那么时间是持续增长的，那么从第i分钟到第i+last-1分钟都在工作，那么在这种情况下第i分钟到i+last-1的空闲时间都没有改变，那么真正的空闲时间其实就是dp[i+last]，它的意义是从第i+last到第n分钟的空余时间。

因此，简单来说，如果接了这个任务，那么从第i分钟到第n分钟的空余时间其实是和从第i+last分钟到第n分钟的空余时间是一样的,即dp[i]=dp[i+last] 但是在程序里不能写dp[i+last-1]，我的理解是因为i+last-1这个时间已经被占有了，它不能被分配任务，或者说如果dp[i+last-1]的最大是通过i+last-1时间的空闲得到的（即dp[i+last-1]=dp[i+last]+1），那么就隐藏了i+last-1必定是空闲的，就产生了矛盾。

代码

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;

struct event{
	int start;
	int last;
};

bool cmp(event a, event b) {
	return a.start < b.start;
}

int main() {
	int n, k;
	cin >> n >> k;
	event s[10005];//读取信息
	int cnt[10005];//用于记录事件的数量
	memset(cnt, 0, sizeof(cnt));
	for (int i = 1; i <= k; i++) {
		cin >> s[i].start >> s[i].last;
		cnt[s[i].start]++;
	}
	int dp[10005];//定义dp[i]为从第i时刻到n时刻的空间时间的最大值
	memset(dp, 0, sizeof(dp));
	dp[n + 1] = 0;//初始条件，没有空闲时间
	for (int i = n; i >= 1; i--) {
		if (cnt[i] == 0) {
			dp[i] = dp[i + 1] + 1;//i时刻没有要开始的任务，空间时间比i+1时刻会多1分组，多的就是第i分钟
		}
		else if (cnt[i] != 0) {//第i分钟必须有开始的任务,那就挑一个最好的来做
			for (int j = 1; j <=k; j++) {
				if (s[j].start == i) {//搜索所有k个方案中从第i分钟开始的方案
					dp[i] = max(dp[i], dp[i + s[j].last]);
				}
			}
		}
	}
	cout << dp[1];

	return 0;
}