码迷,mamicode.com
首页 > 其他好文 > 详细

魔法弹(线性基)

时间:2018-10-05 17:24:30      阅读:204      评论:0      收藏:0      [点我收藏+]

标签:结果   因此   log   break   return   set   har   个性   异或运算   

魔法弹(线性基)

给出n个m位数,问它们张成的异或集合的大小。

关于线性基,这篇博文讲的太好了:

所谓线性基,就是线性代数里面的概念。一组线性无关的向量便可以作为一组基底,张起一个线性的向量空间,这个基地又称之为线性基。这个线性基的基底进行线性运算,可以表示向量空间内的所有向量,也即所有向量可以拆成基底的线性组合。
在ACM领域,线性基主要用来处理有关异或和的极值问题。根据异或按照二进制数位进行的方式,我们可以把一个数字拆成它的二进制表示形式,而这个二进制形式拆成一位一位的,可以用向量来表示。显然,一组线性无关的向量可以张起一个向量空间,我们同样可以考虑构造这样一组数字的二进制形式组成的线性基。在这个线性基里面,我可以通过基底的线性组合、异或运算,表示所有的异或结果。
要构造这样的线性基,首先要满足一个性质:任取向量组中两个向量a、b,把其中一个替换成a xor b,这组向量线性组合得到的线性空间相同。这个性质对于xor来说是显然的,因为xor偶数具有抵消性。有了这个性质,就可以利用它对加入的向量进行修改。基本思路是:对于一个新加入的数字,从最高为考试往后扫,如果某一位该向量是1,但是之前的向量组中没有一个这一位是1,那么这一位就放如这个数字并且break;如果之前已经有该位为1的,那么该数字异或该位之前对应的数字。最后的结果是,新加入的数字x,要么被添加到某一个二进制位,要么变成0,说明这个数字对应的二进制向量不属于极大线性无关组。
线性基构造完毕,我们就要求其极值。很多时候我们需要求一堆数字最大的异或和,这个时候就要用到线性基。线性基构造完毕之后,根据它的定义,任何线性基所张的向量空间的所有向量都能够表示为其线性组合。所以我们只需要找,这个线性基中最大的向量即可。做法就是,从高位开始取线性基的每一个基底,如果异或能够使得结果变大,那么就异或。同时,这个还支持有初始值的最大值,因为线性基可以表示所有的向量,所以即使有一个初始值也是能够一起计算最大值的。

补充一下:n个的线性基能张成\(2^n\)个不同的元素,同时,有\(2^{n-1}\)个元素满足第i位为1(当然前提是线性基中有第i位为1的数)。可以这样考虑:找到一个第i位为1的线性基x,那么剩下n-1个元素随便异或,能张成\(2^{n-1}\)个数。为了让第i位为1,这些数中第i位为0的数需要异或x,否则就不用异或x。因此,这\(2^{n-1}\)个数都一一对应一个第i位为1的数。

对于这道题,尝试按位考虑。对于一个位,由于在线性基张成的空间中有\(2^{n-1}\)个数这个位为1,因此它对总和的贡献是\(x2^{n-1}\),x表示这个位的权值。

#include <cstdio>
#include <cstring>
using namespace std;

typedef long long LL;
const int maxn=405, mod=1e9+7;
int n, m, A[maxn];
struct Bigint{
    int a[maxn];  //从低到高
    bool empty(){
        int flag=1;
        for (int i=0; i<=m; ++i) if (a[i]) flag=0;
        return flag;
    }
    Bigint(){ memset(a, 0, sizeof(a)); }
    Bigint(char *s):Bigint(){
        for (int i=0; i<m; ++i) a[m-i-1]=s[i]-48;
        for (int i=0; i<m; ++i) A[i]|=a[i]; }
    int& operator[](int x){ return a[x]; }
    int value(){
        int re=0;
        for (int i=m; ~i; --i)
            re=(re*2+a[i])%mod;
        return re;
    }
}p[maxn];
Bigint operator ^(const Bigint &a, const Bigint &b){
    Bigint ans;
    for (int i=0; i<=m; ++i) ans[i]=a.a[i]^b.a[i];
    return ans; }

int fpow(int a, int x){
    LL base=a, ans=1;
    for (; x; x>>=1, (base*=base)%=mod)
        if (x&1) (ans*=base)%=mod;
    return ans; }

int main(){
    scanf("%d%d", &n, &m);
    char s[maxn]; Bigint t;
    for (int i=1; i<=n; ++i){
        scanf("%s", s);
        t=Bigint(s);
        for (int j=m; ~j; --j){
            if (!t[j]) continue;
            if (p[j].empty()) p[j]=t;
            t=t^p[j];
        }
    }
    LL ans=0, cnt=0, mi=1;
    for (int i=0; i<=m; ++i) if (!p[i].empty()) ++cnt;
    for (int i=0; i<=m; ++i){
        if (i) mi<<=1; mi%=mod;
        if (!A[i]) continue;
        ans+=fpow(2, cnt-1)*mi; ans%=mod;
    }
    printf("%lld\n", ans);
    return 0;
}

魔法弹(线性基)

标签:结果   因此   log   break   return   set   har   个性   异或运算   

原文地址:https://www.cnblogs.com/MyNameIsPc/p/9744980.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!