线性基（洛谷P3812）

最新推荐文章于 2022-11-21 18:57:04 发布

forezxl

最新推荐文章于 2022-11-21 18:57:04 发布

阅读量251

点赞数 1

分类专栏：洛谷算法/总结/游记线性代数---线性基蒟蒻zxl的Blog专栏文章标签：线性基洛谷

本文链接：https://blog.csdn.net/a1799342217/article/details/79867398

版权

蒟蒻zxl的Blog专栏同时被 3 个专栏收录

460 篇文章 6 订阅

订阅专栏

洛谷

292 篇文章 1 订阅

订阅专栏

算法/总结/游记

62 篇文章 1 订阅

订阅专栏

本文介绍了线性基的概念，定义为一个数集通过异或操作形成的集合，并阐述了线性基的维护方法，包括插入和查询操作。在插入时，从高位到低位检查并更新线性基；在查询时，根据线性基进行异或操作以找到最大值或判断某个数是否可由集合异或得到。此外，还提供了线性基在洛谷P3812问题中的应用模板。

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

~~东学学西学学~~

定义

设一个数集 $S$ 通过异或可以组成的集合为 $V$ ，那么 $S$ 的线性基是 $S$ 的一个子集 $A=\{p_1,p_2,\dots,p_n\}$ ，满足 $p_x$ 的最高位1的位置为 $x$ ，且A中的数通过异或组成的数集也为 $V$ 。

线性基的维护

插入

每当需要插入一个数 $x$ 时，从高位到低位扫一遍。当扫到有一位为1时，如果此位线性基 $p_i$ 为0（就是还没有），就把 $x$ 赋给 $p_i$ 并退出扫描，否则 $x=x\ xor\ p_i$ ，继续扫描。

代码实现：

for (int i=1;i<=n;i++){
    LL x; scanf("%lld",&x);
    for (int j=50;~j;j--)
        if ((x>>j)&1)
            if (!p[j]) { p[j]=x; break; }
            else x^=p[j];
}

查询

1.查询原数集能异或得到的最大值：

从线性基高位往低位扫，如果异或上当前值能变大就异或。

代码实现：

for (int i=50;~i;i--) if ((ans^p[i])>ans) ans^=p[i];

2.判断 $x$ 能否被异或出来：

从高位往低位扫，如果 $x$ 的这一位为1就异或上对应的 $p_i$ 。如果最后得到的数为0就可行。当然要特判 x <script type="math/tex" id="MathJax-Element-19">x</script>为0的情况。

代码实现：

bool f=false;
if (x){
    for (int i=50;~i;i--) if (1&(x>>i)) x^=p[i];
    if (!x) f=true;
}
puts(f?"Yes":"No");

模板

以洛谷P3812为例：

#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 55
using namespace std;
typedef long long LL;
int n;
LL p[N],ans;
int main(){
    scanf("%d",&n);
    for (int i=1;i<=n;i++){
        LL x; scanf("%lld",&x);
        for (int j=50;~j;j--)
            if ((x>>j)&1)
                if (!p[j]) { p[j]=x; break; }
                else x^=p[j];
    }
    for (int i=50;~i;i--)
        if ((ans^p[i])>ans) ans^=p[i];
    return printf("%lld\n",ans),0;
}