CERC 2012 B Who wants to live forever 分治

题目大意：

给一个20W长的01序列，序列转化规则为a[i]=a[i-1]^a[i+1]。

如果最终序列转化为全0，输出dies否则输出lives。

分析：

对于奇数个，化为0的前一步应该为10101类型。

而对于偶数个，找不到可以化为全0的序列，所以只要是偶数个并且存在1则结果一定为lives。

对于奇数个：

初始：a1        a2         a3         a4             a5            a6         a7

       一轮 ：a2   a1^a3    a2^a4    a3^a5     a4^a6      a5^a7     a6

    二轮： a1^a3     a4      a1^a5    a2^a6     a3^a7        a4       a5^a7

         可以看出 a2 a4 a6 与a1 a3 a5 a7 互不干扰，偶数个时一定不能消成0，奇数时可能，只有两个序列均可以，结果才可以。

另外这种判断显然&&比&优。

由于计算过程中很可能结束与偶数个，所以复杂度是可以允许的。

By cqsh3vj2, contest: 2012-2013 ACM-ICPC, Central Europe Regional Contest (CERC 12), problem: (B) Who wants to live forever?, Accepted, #
 #include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<iostream>
#include<algorithm>
#include<vector>
#include<utility>
#include<queue>
#include<set>
#include<map>
#include<math.h>
#include<string>
#include<bitset>
using namespace std;
#define inf 0x3f3f3f3f
//#pragma warning(disable:4996)
#pragma comment(linker, "/STACK:102400000,102400000")
#define ll long long
#define mp make_pair 
#define pb push_back
#define pii pair<int,int>
#define mem(a,b) memset(a,b,sizeof(a))
#define maxn 110
const double eps = 1e-9;
const ll mod = 1e9 + 7;



int fuck;

bool check(vector<bool>mybit,int n)
{
    if(fuck==1)
        return 1;
    int allo=1;
    for(int i=0;i<n;i++)
        if(mybit[i]==1)
        {
            allo=0;
            break;
        }
    if(allo)
        return 0;
    if(n%2==0)
        return 1;
    int len=(n-1)/2;
    vector<bool>b1;
    vector<bool>b2;
    for(int i=1;i<n;i+=2)
    {
        b1.push_back(mybit[i]);
        b2.push_back(mybit[i-1]^mybit[i+1]);
    }
    bool t1,t2;
    t1=check(b1,len);
    if(t1==1)
        return fuck=1;
    t2=check(b2,len);
    if(t2==1)
        return fuck=1;
    return 0;
}

char ts[200020];

int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        int i,j;
        scanf("%s",ts);
        int n;
        n=strlen(ts);
        fuck=0;
        vector<bool>mybit;
        for(i=0;i<n;i++)
        {
            if(ts[i]=='0')
                mybit.push_back(0);
            else
                mybit.push_back(1);
        }
        if(check(mybit,n)==1)
            printf("LIVES\n");
        else
            printf("DIES\n");
    }
    return 0;
}