我被博弈的P-position和N-position的定义限制了思想
实际上我可以先寻找必胜态,然后用定义来证明这个必胜态
这是一个环,题目说至少存在一条边数值为0,先考虑简单问题,整个环只有一个0,那么从起点开始,先手不断取0,“迫使”后手不断往0靠近,可以证明的是先手决定方向,后手不能违背这个方向走
因为先手可以把一条边权值置为0,而后手如果跨过这条0边,到达先手之前在的那个点,如果另一边权值也为0,后手就输了,如果不为0,先手也可以将其置为0,然后又回到刚刚那个点,并且此时仍然是后手行动
那么如果说从起点出发到达的第一个0边时经过了偶数个点,就是先手必胜(先,后,先,后),最后后手到达了被两个0边包围的局面
接着用定义来证明,当起点到第一个0边经历了奇数个点时,先手走一步,后手就面临必胜局面,所以此时是后手必胜
由于是环,要从两个方向各走一遍
#include <algorithm>
#include <iostream>
#include <cstring>
#include <cstdio>
#include <queue>
#include <cmath>
using namespace std;
#define debug(x) cerr << #x << "=" << x << endl;
const int MAXN = 100000 + 10;
const int INF = 1 << 30;
typedef long long ll;
int n,m,a[MAXN];
int main() {
scanf("%d", &n);
for(int i=1; i<=n; i++) {
scanf("%d", &a[i]);
}
bool flg = false;
for(int i=1; i<=n; i++) {
if(a[i] == 0) {
if(i % 2 == 0)
flg = true;
break;
}
}
for(int i=n; i; i--) {
if(a[i] == 0) {
if((n - i + 1) % 2 == 0)
flg = true;
break;
}
}
if(flg) printf("YES");
else printf("NO");
return 0;
}