【Codeforces 1191 E. Tokitsukaze and Duel】乱搞

CF573E
题意 有n长度的01串 你一次能把k长度的连续01串变成 0 或者 1 能把所有串变相同者赢
sjf先操作 q老师后操作 问你谁赢
首先要知道一个事情
如果sjf第一步或者不用操作就可以把串变成相同串 那么sjf肯定赢
我们怎么判呢 用两个vector 存 0 和 1 的下标 如果这两个vector有任何一个为空 那么原串肯定相同
或者不空但是最大下标减最小下标+1 <= k 那么sjf也直接赢了

然后这题还有个猜的就是 k*2<n 那么肯定是无限继续 因为哪个人快输了他就不会让对手进入必赢态

然后代码中判断q老师赢的那步flag 这样理解 给出下图

看图中第一句话怎么理解 我们发现 0 和 1的最大下标减去最小下标加 1 是 7 ，而 k 是 6
只要你 i 从 2开始 到 i+k<n 也就是左到右右到左判一下是不是分别和左右相等
第一个 2 3 和 1 ,8 9 和 10 他们颜色都是相同的 那么你无论如何怎么操作 都会使得 0 或者 1 最大下标减去最小下标+1 变小 从而q老师再操作一步就赢了
否则你就能构造出下图的那种情况 使得一串全变0的时候两边各有1 为什么能保证呢 就是for循环确定的flag确定这种情况会不会出现

/*
    if you can't see the repay
    Why not just work step by step
    rubbish is relaxed
    to ljq
*/
#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
#include <cmath>
#include <map>
#include <stack>
#include <set>
#include <sstream>
#include <vector>
#include <stdlib.h>
#include <algorithm>
using namespace std;

#define dbg(x) cout<<#x<<" = "<< (x)<< endl
#define dbg2(x1,x2) cout<<#x1<<" = "<<x1<<" "<<#x2<<" = "<<x2<<endl
#define dbg3(x1,x2,x3) cout<<#x1<<" = "<<x1<<" "<<#x2<<" = "<<x2<<" "<<#x3<<" = "<<x3<<endl
#define max3(a,b,c) max(a,max(b,c))