牛客多校8 OR（或与运算， 巧妙转换，读假题）

2021牛客暑期多校训练营8

D. OR

题意：

​ b[i] = a[i-1] or a[i] , c[i] = a[i-1] + a[i] (i >= 2) ， 现在给你序列 b 和 c， 求满足条件的序列 a 的数量

​ （大无语事件：此题很短，读题的时候很开心，一下就抓住了关键所在 b[i] = a[i] 或 b[i] = a[i-1], 然后求 a 序列中满足条件的元素的个数 … 我可真是个小天才 … 而且我还把样例解释通了 … 然后比赛的时候还和队友讨论，虽然队友提出了要按位处理，我听的很懵逼，这不就是分类讨论， “或” ，读假题的路上没人能阻止我…）

分析：

​ 要做一个巧妙的转换（挺难想到的一个结论，我太菜了）

• a+b = a&b + a or b

• 这样子，c[i] - b[i] 就转换成了 a[i-1] & a[i]

• 因此实际上是给出了相邻两位或、与的结果，询问有多少个 ai 序列满足要求

• 按位来考虑，每一位检查 0 或 1 是否成立

#include <bits/stdc++.h>
using namespace std;

const int N=1e5+5;
int b[N],c[N];
int check(int fg, int k, int n)
{
    for(int i=1;i<n;i++)
    {
        int _or = (b[i]>>k)&1, _and = (c[i]>>k)&1;
        if(!_or && fg) return 0;
        if(!_or && _and) return 0;
        if(_or && _and && !fg) return 0;
        if(_or && !_and) fg ^= 1; 
        // 出现这种情况 a[i+1] 的第 k 位就要改变了 
    }
    return 1;
}

signed main()
{
    ios::sync_with_stdio(false);cin.tie(nullptr);cout.tie(nullptr);
    int n;
    cin>>n;
    for(int i=1;i<n;i++) cin>>b[i];
    for(int i=1;i<n;i++) cin>>c[i];
    for(int i=1;i<n;i++)
    {
        c[i] -= b[i];
        if(c[i]<0) return cout<<"0"<<endl, 0;
    }
    int ans=1;
    for(int i=0;i<31;i++)
    {
        // 检查在当前位取 0 和 1 是否成立
        int fg0 = check(0,i,n), fg1 = check(1,i,n);
        // 都不成立 输出 0
        if(!(fg0 || fg1)) return cout<<"0"<<endl, 0;
        if(fg0 && fg1) ans *= 2;
    }
    cout<<ans<<endl;

    return 0;
}