51Nod 1577 异或凑数（线性基）

最新推荐文章于 2020-05-19 17:41:09 发布

v5zsq

最新推荐文章于 2020-05-19 17:41:09 发布

阅读量598

点赞数

分类专栏： 51Nod 高斯消元

本文链接：https://blog.csdn.net/V5ZSQ/article/details/78870862

版权

高斯消元同时被 2 个专栏收录

33 篇文章 0 订阅

订阅专栏

51Nod

2 篇文章 0 订阅

订阅专栏

Description

从左到右一共 $n$ 个数，数字下标从 $1$ 到 $n$ 编号。

一共 $m$ 次询问，每次询问是否能从第 $L$ 个到第 $R$ 个数中（包括第 $L$ 个和第 $R$ 个数）选出一些数使得他们异或为 $K$ 。

数据量比较大。

输入请用挂

int read(){

    int ans=0;

    char last=' ',ch=getchar();



    while(ch>='0' && ch<='9')ans=ans*10+ch-'0',ch=getchar();

    return ans;

}

输出请用 $puts$

Input

单组测试数据。
第一行一个整数 $n(0<n\le500,000)$ 。
第二行 $n$ 个整数， $0$ <每个数< $2^{30}$ 。
第三行一个数 $m$ ，表示询问次数 $(0<m\le 500,000)$ 。
接下来 $m$ 行每行三个数， $L,R,K(0<L\le R\le n,0<K<2^{30})$ 。

Output

$M$ 行，每行为 $YES$ 或 $NO$

Sample Input

5
1 1 2 4 6
3
1 2 1
2 4 8
3 5 7

Sample Output

YES
NO
NO

Solution

只要 $K$ 可以被区间 $[L,R]$ 的线性基表出则 $YES$ ，问题在于如何预处理每个区间的线性基，考虑固定左端点的线性基，那么问题变为求从 $L$ 开始的字典序最小的线性基，从 $n$ 到 $1$ 枚举 $L$ ，如果当前数和已有线性基无关则直接加入到线性基中，否则判断这个数的位置和其对应的基编号大小，如果当前数编号较小则将当前数加入基中，把原先的基拿出来继续消元即可

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
namespace fastIO 
{
    #define BUF_SIZE 100000
    //fread -> read
    bool IOerror=0;
    inline char nc() 
    {
        static char buf[BUF_SIZE],*p1=buf+BUF_SIZE,*pend=buf+BUF_SIZE;
        if(p1==pend) 
        {
            p1=buf;
            pend=buf+fread(buf,1,BUF_SIZE,stdin);
            if(pend==p1) 
            {
                IOerror=1;
                return -1;
            }
        }
        return *p1++;
    }
    inline bool blank(char ch) 
    {
        return ch==' '||ch=='\n'||ch=='\r'||ch=='\t';
    }
    inline void read(int &x) 
    {
        char ch;
        while(blank(ch=nc()));
        if(IOerror)return;
        for(x=ch-'0';(ch=nc())>='0'&&ch<='9';x=x*10+ch-'0');
    }
    #undef BUF_SIZE
};
using namespace fastIO;
typedef pair<int,int>P;
const int maxn=500005;
int n,m,a[maxn];
struct node
{
    int val,pos;
    node(){};
    node(int _val,int _pos){val=_val;pos=_pos;}
}base[maxn][30];
int main()
{
    read(n);
    for(int i=1;i<=n;i++)read(a[i]);
    for(int l=n;l>=1;l--)
    {
        for(int i=0;i<=29;i++)base[l][i]=base[l+1][i];
        node temp=node(a[l],l);
        for(int i=29;i>=0;i--)
            if((temp.val>>i)&1)
            {
                if(!base[l][i].val)
                {
                    base[l][i]=temp;
                    break;
                }
                else
                {
                    if(temp.pos<base[l][i].pos)swap(base[l][i],temp);
                    temp.val^=base[l][i].val;
                } 
            }
    }
    read(m);
    while(m--)
    {
        int l,r,k;
        read(l);read(r);read(k);
        for(int i=29;i>=0;i--)
            if((k>>i)&1)
            {
                if(base[l][i].val==0||base[l][i].pos>r)break;
                k^=base[l][i].val;
            }
        if(k)puts("NO");
        else puts("YES");
    }
    return 0;
}