CF EDU 136 总结

合集 - NOIP2024(12)

1.『NOIP2024』花落，你却身处花海；花开，你却归于人间2024-12-072.NOIP2024集训 Day32 总结2024-09-183.NOIP2024集训 Day33 总结2024-09-194.NOIP2024模拟赛9 赛后总结2024-09-295.CF EDU 138 略解2024-09-286.CF EDU 139 略解2024-09-287.NOIP2024集训 Day37 总结2024-09-248.NOIP2024集训 Day51 略解2024-10-14

9.CF EDU 136 总结2024-10-10

10.NOIP2024集训 Day47 总结2024-10-0811.CF EDU 137 总结2024-10-0812.NOIP2024集训 Day44-45 略解2024-10-06

收起

E

如此唐氏的 DP 我居然想了这么久我是不是废了。

我们先思考一下什么情况下会崩溃。

观察到对于一个脏格子 $(i,j)$ 如果 $(3-i,j-1)$ 是脏的，那么如果扫地机移动到了 $(i,j-1)$ ，它就会崩溃。

这指向我们去维护一下下一行上下两个格子的状态，即他们是否被清理。

故我们定义 $d{p}_{i,0/1,0/1,0/1}$ 表示当前停留在 $(j,i)$ 上，且 $(3-j,i)$ 如果是脏的，已被清理，第 $i+1$ 列上下两个格子是否被清理的状态。

你考虑直接枚举 $i-1$ 的 $0/1$ 状态判断合法直接转移即可，细节见代码。

个人认为有一篇比较好的解释

#include <bits/stdc++.h>
using namespace std;
#define maxn 200005
int n;
int a[2][maxn];
int dp[maxn][2][2][2];
bool check(int x, int y, int s0, int x0, int s1, int x1)
{
	if(!x)
	{
		if(!y) return !x0;
		else return !(x0 && s1) && x0;
	}
	else
	{
		if(!y) return !(x1 && s0) && s0;
		else return !s0;
	}
}
int main()
{
	scanf("%d", &n);
	int sum = 0;
	for (int i = 0; i < 2; ++i) for (int j = 1; j <= n; ++j) scanf("%1d", &a[i][j]), sum += a[i][j];
	memset(dp, 0x3f, sizeof(dp));
	dp[0][0][0][0] = 0, dp[0][0][0][1] = dp[0][0][1][0] = 1, dp[0][0][1][1] = 2;
	for (int i = 1; i <= n; ++i)
	{
		for (int j = 0; j < 2; ++j)
		{
			for (int k = 0; k < 2; ++k)
			{
				for (int l = 0; l < 2; ++l)
				{
					for (int J = 0; J < 2; ++J)
					{
						for (int K = 0; K < 2; ++K)
						{
							for (int L = 0; L < 2; ++L)
							{
								if(check(j, J, (k ? 0 : a[0][i]), (l ? 0 : a[1][i]), (K ? 0 : a[0][i + 1]), (L ? 0 : a[1][i + 1])))
								dp[i][J][K][L] = min(dp[i][J][K][L], dp[i - 1][j][k][l] + K + L);
							}
						}
					}
				}
			}
		}
	}
	cout << sum - min(dp[n][0][0][0], dp[n][1][0][0]) << endl;
	return 0;
}