题目链接

P9236 [蓝桥杯 2023 省 A] 异或和之和 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)


【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP


思路

1. 暴力求解

直接枚举出所有子数组,求每个子数组的异或和,再对所有的异或和求和

枚举所有子数组的时间复杂度为O(N^2),求每个子数组的异或和又要遍历一次数组,所以总的时间复杂度为O(N^3)

2. 优化

异或中有这么一个性质:a ^ b ^ b = a,即两个相同元素异或后为0,此性质推广到子数组同理

因此我们可以用前缀和的思想来快速得出一个区间的异或和。

此时可以将时间复杂度优化为O(N^2)

基于前缀和,我们进行进一步的优化:拆位法和贡献法

(1)拆位法

拆位法:将一个数转换成二进制形式,并拆分成单独的二进制位来计算

二进制中除了0就是1,由于异或的性质,我们可以得出一个结论:对于二进制位中的第i位而言,如果这一位中1的个数为奇数,那么异或后的结果中这一位就是1,否则为0

例如:

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

拆位法加上前缀和,我们就能计算出某个区间中1的个数,进而得出在该区间中这个二进制位异或后是0还是1

(2)贡献法

贡献法:从区间的角度转换成计算每个二进制位对答案的贡献

某个区间中,这一位异或后的结果为1时,这一位就产生了贡献;异或后的结果为0时这一位就不会产生贡献。

例如:

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

我们以一个二进制位作为一个计算周期,统计该位中1的前缀和

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

例如该位中1的前缀和为偶数,说明对于虚线内的这个区间,异或后该位为0,无贡献

但是如果一个前缀和为偶数的区间减去一个前缀和为奇数的区间,所得到的新的区间的前缀和也为奇数,即新区间中该位异或后的结果为1,有贡献

例如:

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

蓝色虚线的区间前缀和为偶数(2),减去红色虚线前缀和为奇数(1)的区间,所得到蓝色实线区间的1的前缀和为奇数(2 - 1 = 1),则该实线区间异或后也有贡献

通过观察,我们可以得出以下结论:

对于第i个二进制位,如果以第n个数为结尾的区间所对的前缀和为偶数时,该区间能够提供 前面奇数前缀和的个数 个贡献区间

例如对于上面蓝色虚线的区间,其前面有一个奇数前缀和,那么该区间自身就能提供一个贡献区间

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

而该位中1的前缀和为奇数,与上面同理,我们只需要计算出前面所有前缀和为偶数的区间个数,减去这些前缀和为偶数的区间得到的新区间,前缀和都为奇数(奇-偶=奇),则都有贡献

而因为该区间本身的前缀和为奇数,所以能够提供的贡献区间为:1 + 前面偶数前缀和的个数

通过提示我们可以知道所有的数中有效位数不会超过20

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP


代码

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

ll n;

int main()
{
    cin >> n;
    ll *arr = new ll[n];
    for (int i = 0; i < n; i++)
        cin >> arr[i];
    ll pow = 1, sum = 0;  
    for (int i = 0; i < 20; i++) //最多计算20个二进制位 
    {
        ll counti = 0, oddnum = 0, evenum = 0, range = 0; 
		//counti统计1的前缀和,oddnum统计奇数前缀和的个数
        //evenum统计偶数前缀和的个数,range统计有贡献区间个数 
        for (int j = 0; j < n; j++) //遍历n个整数 
        {
            if (arr[j] & 1) //按位与1后结果为1,说明最低位为1,否则为0 
                counti++; //更新前缀和 
            if (counti % 2 == 1) //前缀和为奇数
            {
                range += 1 + evenum; //更新有贡献区间个数 
                oddnum++; //奇数前缀和的个数+1 
            }
            else //前缀和为偶数 
            {
                range += oddnum; //更新有贡献区间个数 
                evenum++; //偶数前缀和的个数+1 
            }
            arr[j] >>= 1; //移位 
        }
        sum += range * pow; //计算位数对结果的贡献值 
        pow *= 2; //更新pow 
    }
    cout << sum;
    return 0;
}

【洛谷】P9236 [蓝桥杯 2023 省 A] 异或和之和-LMLPHP

讲的不够清楚也请大家多多见谅,有错误或问题可以在评论区指出。

04-07 14:07