[CF1527B]Palindrome Game

最新推荐文章于 2022-06-22 22:32:21 发布

OneInDark

最新推荐文章于 2022-06-22 22:32:21 发布

阅读量197

点赞数

分类专栏： C++ 博弈动态规划

本文链接：https://blog.csdn.net/qq_42101694/article/details/117155729

版权

C++ 同时被 3 个专栏收录

547 篇文章 3 订阅

订阅专栏

动态规划

220 篇文章 2 订阅

订阅专栏

博弈

27 篇文章 0 订阅

订阅专栏

题目

传送门 to CF

思路

很容易写出一个 $\mathcal O(n^2)$ 的 $\tt dp$ 。然后把表输出。然后发现了美妙的规律。注明：下面所说的并不包含一开始游戏就结束了的情况。~~那样还玩个屁~~。

当长度是偶数（或者长度为奇数，但是中间的位置已经是 $1$ 了）时：

如果有 $i\;(i>0)$ 个位置不对称，那么 $\tt Alice$ 会比 $\tt Bob$ 少用 $i$ 元。
如果原本就是回文串，那么 $\tt Bob$ 会比 $\tt Alice$ 少用 $2$ 元。

当长度是奇数（并且中间的位置为零）时：

如果对称的位置存在 $00$ 组合，记 $i$ 为不对称位置的个数，那么 $\tt Alice$ 比 $\tt Bob$ 少用 $i + 1$ 元。
如果对称的位置不存在 $00$ 组合，记 $i$ 为不对称位置的个数，那么 $\tt Alice$ 比 $\tt Bob$ 少用 $i - 1$ 元（是的， $i = 0$ 可以让 $\tt Bob$ 获胜，这种情况其实就是单个 $0$ 啊……）。

解释起来，~~感性理解一下~~，也很简单。由于总的 “零变一” 操作次数是固定的，所以只需要尽可能翻转。而不公平的操作机制——对手翻转后，不能立即翻转——导致 先手可以一直只翻转。

什么时候为止呢？只有一个位置不对称。这时候，如果仍然翻转， $\tt Bob$ 操作后得到对称串，我无法翻转，主动权就落入了 $\tt Bob$ 手中。不好！干脆就开始对称操作，保持串的对称性，让 $\tt Bob$ 永远不能执行翻转操作。

然而这是不是最优呢？不是。剩下最后一个 $00$ 型对称时， $\tt Bob$ 操作一次，我们可以翻转。然后 $\tt Bob$ 又操作完，得到 $11$ ，对称了，游戏也结束了。他赚不到便宜。——这也说明了，为什么我们要对称操作：一旦 $\tt Bob$ 掌握主动权，他至少可以用这一招牟取 $2$ 元的利润，而当时我们仍然翻转，无非让 $\tt Bob$ 多填了一个 $0$ 。

如果有 $x$ 个位置不对称，那么 $x - 1$ 个位置都是 $\tt Bob$ 操作为对称的，最后 $1$ 个是 $\tt Alice$ 填好的，剩下的多数都是一人填一下，除了最后 $\tt Bob$ 又多操作两次。所以 $\tt Alice$ 赚到 $x$ 。

如果串原本没有 $00$ 型对称呢？那么，只要把所有不对称的位置搞定，游戏就结束了。所以 $\tt Alice$ 会一直翻转，永远不花一分钱。这种情况 $\tt Alice$ 也赚到 $x$ 元，恰好与上面的可以合并在一起。

显然 $x = 0$ 时上面的结论不太对。因为此时 $\tt Alice$ 一来就没办法翻转，而 $\tt Bob$ 就会用这招倒打一耙。然后 $\tt Bob$ 赚到两元，赢了。

如果正中间还有一个零呢？那么 $\tt Bob$ 即使操作为对称串，我也还有这一步可以操作。当然，也可能 $\tt Bob$ 提前填好。无论哪种情况，反正相当于 $\tt Alice$ 多赚到一个。即赚到 $x - 1$ 元。

可是我们要注意一下，没有 $00$ 型对称的情况。此时 $\tt Alice$ 不能在最后倒打一耙。因为此时 $\tt Bob$ 不会主动把中间填上，最终 $\tt Alice$ 会把它填好，然后游戏就结束了。只能赚 $x - 1$ 元了。

把上面所说的综合起来，就是开头的结论了。一个问题是，我似乎没有说明这是最优的？其实你可以自己揣摩一下。如果 $\tt Alice$ 不抢占翻转能力，那么 $\tt Bob$ 相当于新局面的先手，他可以赚不少（就用上面的策略），所以 $\tt Alice$ 不得不这么做。

当然，如果你只想判断谁能赢，就只需要找到这种必胜策略就够了。时间复杂度 $\mathcal O(n)$ 。

代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
# define drep(i,a,b) for(int i=(a); i>=(b); --i)
typedef long long int_;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

const int MaxN = 100005;
char str[MaxN];

int main(){
	for(int T=readint(); T; --T){
		int n = readint();
		scanf("%s",str);
		int x = 0; bool f = false;
		for(int i=0; i<n-1-i; ++i)
			if(str[i] != str[n-1-i])
				++ x; // not Palindrome
			else if(str[i] == '0')
				f = true; // both zero
		if(!(n&1) || str[n>>1] == '1')
			puts(x ? "ALICE" : "BOB");
		else if(f || x >= 2)
			puts("ALICE"); // n is odd
		else puts(x ? "DRAW" : "BOB");
	}
	return 0;
}