题意:题目给出a的长度为n - 1,给出b、c序列,要求优美序列的个数,完美序列为当且仅当 ( 2 ≤ i ≤ n ) , b [ i ] = a [ i − 1 ] ∣ a [ i ] , c [ i ] = a [ i − 1 ] + a [ i ] (2≤i≤n), b[i]=a[i−1] | a[i], c[i] = a[i−1] + a [i] (2≤i≤n),b[i]=a[i−1]∣a[i],c[i]=a[i−1]+a[i],题目要求输出可能的优美序列总个数。
注:a、b、c序列里的数都为非负整数, 2 ≤ n ≤ 1 0 5 , 2 ≤ n ≤10^5, 2≤n≤105,0 ≤ bi < 2^30,0 ≤ ci < 2^31
分析:首先要了解的知识是 a + b = a | b + a & b,b序列就相当于或运算序列,c序列为加法序列,我们可以根据这两个序列得到且运算序列。因为a序列中所有相邻元素的与或值都已经确定了,因此我们可以发现:只要a[1]的值确定了,后面的所有数我们都可以通过其相邻元素的值确定下来,即 a [ 1 ] 的种数即为优美序列的个数 。我们枚举a[1]的每一位,为0或1,判断是否可行。若某位上0和1都可以,则答案ans × 2,若只可为0或1,答案总数不变,若0和1都不可以,无解,输出答案为0。
- 注意,在代码中将c序列修改为且运算序列时,每次判断,当 a + b < a & b时,无解,直接输出答案为0。
accode:
#include <bits/stdc++.h>
#define ios std::ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
using namespace std;
typedef long long ll;
const int maxn = 1e5 + 10;
int n;
ll ans = 1;
ll b[maxn], c[maxn];
bool check(int k, int x)
{
int fb, fc;
for(int i = 1; i < n; i++)//通过确定a[1]确定整个a序列
{
fb = (b[i] >> k) & 1;
fc = (c[i] >> k) & 1;
if(fb && !fc) x ^= 1;
if(!x && fc) return false;
if(x && !fb) return false;
}
return true;
}
int main()
{
ios
memset(b, 0, sizeof(b));
memset(c, 0, sizeof(c));
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序列从加法变成a序列相邻元素的且运算结果
{
c[i] -= b[i];
if(c[i] < 0) return puts("0"),0;//a+b < a|b,无解
}
bool f1, f2;
for(int i = 0; i <= 31; i++)
{
f1 = check(i, 0);
f2 = check(i, 1);
if(f1 && f2) ans *= 2;
if(!f1 && !f2) return puts("0"), 0;
}
cout<<ans<<endl;
return 0;
}