搬砖（贪心微扰 + 01背包）

第十三届蓝桥杯国赛

Problem

有 $n$ 个物品，第 $i$ 个物品的体积和价值分别为 $v_i,w_i$ 。现在从这n个物品中取出一些物品，排成一行，使得每一个物品的价值大于等于其前面的物品 总体积。求取出的物品最大的价值。

Solution

贪心微扰有点玄学呀。。可以先做做 《国王游戏》这道题目，了解一下 “微扰” 法分析题目的过程。

1. 首先，考虑到怎么保证某件物品其前面的物品总体积小于该物品的价值时，就会很没有头绪。然而，正难则反嘛。
   所以，可以先处理前面的物品，然后先处理后面的物品。

2. 之后就是选择物品。
   思考后可以发现，物品的选择顺序可以影响到结果，直接01背包貌似不妥。（本人不太理解为什么对物品排序会影响到01背包的dp过程，希望有大佬可以在评论区讲解一下，感谢[doge]）

3. 如何排序：按照物品的价值与体积的和从小到大排序。
   证明方法是：微扰法。
   如下是证明过程

   1. 在满足题目中的条件下：
      假设取出的这些物品中第 $i$ 个物品和 第 $i+1$ 个物品的体积和价值分别为 ($v_i,w_i$)( $v_{i+1},w_{i+1}$)
      设前 $i-1$ 件物品的总体积为 $sum$

   2. 根据题目中的条件可得： $$sum+v_i\le w_{i+1}$$

   3. 交换第 $i$ 件物品和第 $i+1$ 件物品的位置：其他物品和第 $i+1$ 件物品依旧满足题目中的条件。(简单思考分析可知)

   4. 而第i件物品是否满足条件，存在如下关系：
      假如交换后第 $i$ 个物品 不满足题目中的条件，那么总价值减小，即结果变差。那么有：$$sum+v_{i+1}>w_i$$
      两个不等式合并可得：$$w_i-v_{i+1}<sum\le w_{i+1}-v_i$$
      即 $w_i-v_{i+1}<w_{i+1}-v_i$， 化简后为 ：$w_i+v_i<w_{i+1}+v_{i+1}$

   5. 由以上分析可知：当第 $i$ 件物品的价值与体积的和 小于 第 $i+1$ 件物品的价值与体积的和时，交换后结果 变差。
      也就是说：如果原来所有的物品是按照价值与体积的和从小到大排序的，
      打乱顺序后，存在的逆序对越多，则结果越差。

Code

#define ft first
#define sd second
#define pii pair<int, int>
const int N = 2e3 + 5;
pii s[N];
int f[20100];//最大体积：20 + 20000

int main()
{
	IOS;
	int n; cin >> n;

	for (int i = 1; i <= n; i++)
		cin >> s[i].ft >> s[i].sd;//first为体积，second为价值
	sort(s + 1, s + n + 1, [&](pii &a, pii &b) {
		return a.ft + a.sd < b.ft + b.sd;
		});

	//dp[i][v]:前i个物品，总体积为v时，所能容纳的最大价值
	//选择第i件物品，要求前i - 1件物品总体积小于第i件物品的价值
	//选择第i件物品时，最大体积 = s[i].ft + s[i].sd （前i - 1件物品的总体积再加上第i件物品的体积v[i]）
	//选择第i件物品时，最小体积 = s[i].ft （前面没有物品，i就是第一件物品）
	for (int i = 1; i <= n; i++)
		for (int v = s[i].ft + s[i].sd; v >= s[i].ft; v--)
			f[v] = max(f[v], f[v - s[i].ft] + s[i].sd);

	cout << *max_element(f, f + 20021) << endl;


	return 0;
}

Over