NOIP2023模拟7联测28 B. 异或

最新推荐文章于 2024-11-03 17:23:52 发布

2020fzy

最新推荐文章于 2024-11-03 17:23:52 发布

阅读量143

点赞数 4

分类专栏： dp 文章标签：算法 noip模拟 c++

本文链接：https://blog.csdn.net/fzyyyyyyyy/article/details/134146750

版权

dp 专栏收录该内容

27 篇文章 1 订阅

订阅专栏

文章讲述了如何解决NOIP2023模拟测试中的问题，通过计算数组的差分并构造连通块图来确定将数组变为全零所需的最小操作次数，关键在于找到最多可以划分成异或和为0的连通块数量。

摘要由CSDN通过智能技术生成

NOIP2023模拟7联测28 B. 异或

题目大意

给定一长度为 $n$ 的由非负整数组成的数组 $a$ ，你需要进行一系列操作，每次操作选择一个区间 $[l, r]$ ，将 $a_i ,i\in[l , r]$ 异或上 $w$ 。你需要将 $a$ 全部变为 $0$ 。

求最小操作次数。

思路

先搞个差分， $d_i = a_i \oplus a_{i - 1}$

我们可以发现把前 $i$ 个 $d$ 异或起来就等于 $a_i$

那么我们就可以把区间异或操作变成一种类似于差分的双点修改操作：如果想把区间 $[l, r]$ 异或 $w$ 那么就等价于 $d_l \oplus w , d_{r + 1} \oplus w$

我们可以把 $n$ 个数抽象为 $n$ 个点，将修改操作抽象为两个点之间连无向边，这样的一组操作方案就是可以把整个序列分成若干个连通块的图。

那么每个连通块的操作次数就是边数。

一个大小为 $x$ 的连通块的的边数为 $x$ 或 $x - 1$ ，只有当序列中所有 $d$ 的异或和为 $0$ 时边数才为 $x - 1$ ，否则都是 $x$

所以一个子序列 $s$ 的答案就是把 $s$ 的大小减去 $s$ 划成最多的异或和为 $0$ 的数量。

设 $f_s$ 为能够把 $s$ 划分成最多的异或和为 $0$ 的数量
$f_s = \max f_t + f_{s \oplus t} , (s \& t = 0)$

code

#include <bits/stdc++.h>
#define fu(x , y , z) for(int x = y ; x <= z ; x ++)
#define LL long long
using namespace std;
int n , f[1 << 18] , g[1 << 18];  
LL a[25] , d[25] , sum;
int main () {
    freopen ("xor.in" , "r" , stdin);
    freopen ("xor.out" , "w" , stdout);
    scanf ("%d" , &n);
    fu (i , 1 , n) scanf ("%lld" , &a[i]);
    fu (i , 1 , n) d[i] = a[i] ^ a[i - 1];
    fu (i , 1 , (1 << n) - 1) {
        sum = 0;
        fu (j , 1 , n) {
            if (i & (1 << j - 1)) {
                sum ^= d[j];
            }
        }
        if (!sum) f[i] = 1;
    }
    fu (s , 1 , (1 << n) - 1) {
        g[s] = f[s];
        for (int t = (s - 1) & s ; t ; t = (t - 1) & s) {
            if (f[t])
                g[s] = max (g[s] , g[s ^ t] + 1);
        }
    }
    printf ("%d" , n - g[(1 << n) - 1]);
    return 0;
}