Time Limit: 6 Sec  Memory Limit: 128 MB
Submit: 2254  Solved: 934
[Submit][Status][Discuss]

Description

已知一个长度为n的正整数序列A(下标从1开始), 令 S = { x | 1 <= x <= n }, S 的幂集2^S定义为S 所有子
集构成的集合。定义映射 f : 2^S -> Zf(空集) = 0f(T) = XOR A[t] , 对于一切t属于T现在albus把2^S中每个集
合的f值计算出来, 从小到大排成一行, 记为序列B(下标从1开始)。 给定一个数, 那么这个数在序列B中第1
次出现时的下标是多少呢?

Input

第一行一个数n, 为序列A的长度。接下来一行n个数, 为序列A, 用空格隔开。最后一个数Q, 为给定的数.

Output

共一行, 一个整数, 为Q在序列B中第一次出现时的下标模10086的值.
 

Sample Input

3

1 2 3

1

Sample Output

3

样例解释:

N = 3, A = [1 2 3]

S = {1, 2, 3}

2^S = {空, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

f(空) = 0

f({1}) = 1

f({2}) = 2

f({3}) = 3

f({1, 2}) = 1 xor 2 = 3

f({1, 3}) = 1 xor 3 = 2

f({2, 3}) = 2 xor 3 = 1

f({1, 2, 3}) = 0

所以

B = [0, 0, 1, 1, 2, 2, 3, 3]

HINT

数据范围:

1 <= N <= 10,0000

其他所有输入均不超过10^9

Source

[Submit][Status][Discuss]

题解:
        问题即求子集异或和的某个数的排名;
       线性基的性质:若$A,|A|=n$的线性基为$B$,$|B|=k$,则有$2^k$个不同的子集异或和,且每个会出现$2^{n-k}$次;

由基的线性无关性可以知道有且仅有$^k$个异或和互不相同;

       这k个基是可以从$a_i$里选出来的,只是我们为了好写,一般插入就直接消元到某个数组里;

       考虑他们的子集异或和S1,另外有$n-k$个数,可以被B中的向量唯一表示,考虑子集异或和S2 ;

       S1 ^ S2 也是一种合法的选法;

      这样有$^k * ^{n-k} = ^n$种 ,说明只有$^n$且按照这种方式对应;

如果你关心一个蒟蒻的不太严谨的证明的话

高斯亚当消元求出互相独立的线性基,在线性基上一个一个查找;

注意消元的两个循环(line23 line24 )有顺序;

复杂度;$ O(n log \ a_{i} +  log \ a_{i}) $
      20181030

 #include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<queue>
#include<cmath>
#include<vector>
#include<stack>
#include<map>
#include<set>
#define Run(i,l,r) for(int i=l;i<=r;i++)
#define Don(i,l,r) for(int i=l;i>=r;i--)
#define ll long long
#define inf 0x3f3f3f3f
using namespace std;
const int N= , mod=;
int n,d[],q;
void ins(int x){
for(int i=;~i;i--)if((x>>i)&){
if(!d[i]){
d[i]=x;
for(int j=;j<i;j++)if(d[j]&&((d[i]>>j)&))d[i]^=d[j];
for(int j=;j>i;j--)if((d[j]>>i)&)d[j]^=d[i];
break;
}
else x^=d[i];
}
}
int pw(int x,int y){
int re=;
while(y){
if(y&)re=re*x%mod;
y>>=;x=x*x%mod;
}
return re;
}
int query(int x){
int re=,cnt=;
for(int i=;~i;i--)if(d[i])cnt++;
int tmp=cnt;
for(int i=;~i;i--)if(d[i]){
tmp--;
if((x^d[i])<x){
x^=d[i];
re=(re+pw(,tmp))%mod;
}
}
re=re*pw(,n-cnt)%mod;
return re;
}
int main(){
freopen("in.in","r",stdin);
freopen("out.out","w",stdout);
scanf("%d",&n);
Run(i,,n){
int x;scanf("%d",&x);
ins(x);
}
int x;scanf("%d",&x);
cout<<(query(x)+)%mod<<endl;
return ;
}//by tkys_Austin;

【bzoj2844】albus就是要第一个出场的更多相关文章

  1. BZOJ2844: albus就是要第一个出场

    Description 已知一个长度为n的正整数序列A(下标从1开始), 令 S = { x | 1 <= x <= n }, S 的幂集2^S定义为S 所有子集构成的集合. 定义映射 f ...

  2. BZOJ2844: albus就是要第一个出场(线性基)

    Time Limit: 6 Sec  Memory Limit: 128 MBSubmit: 2054  Solved: 850[Submit][Status][Discuss] Descriptio ...

  3. bzoj千题计划195:bzoj2844: albus就是要第一个出场

    http://www.lydsy.com/JudgeOnline/problem.php?id=2844 题意:给定 n个数,把它的所有子集(可以为空)的异或值从小到大排序得到序列 B,请问 Q 在  ...

  4. 【贪心】【线性基】bzoj2844 albus就是要第一个出场

    引用题解:http://blog.csdn.net/PoPoQQQ/article/details/39829237 注意评论区. #include<cstdio> using names ...

  5. 【线性基】bzoj2844: albus就是要第一个出场

    线性基求可重rank 题目描述 给定 n 个数 $\{ a_i \}$ ,以及数 $x$. 将 $\{ a_i \}$​ 的所有子集(包括空集)的异或值从小到大排序,得到 $\{ b_i \} $. ...

  6. CF895C: Square Subsets && 【BZOJ2844】albus就是要第一个出场

    CF895C: Square Subsets && [BZOJ2844]albus就是要第一个出场 这两道题很类似,都是线性基的计数问题,解题的核心思想也一样. CF895C Squa ...

  7. 【BZOJ2844】albus就是要第一个出场 高斯消元求线性基

    [BZOJ2844]albus就是要第一个出场 Description 已知一个长度为n的正整数序列A(下标从1开始), 令 S = { x | 1 <= x <= n }, S 的幂集2 ...

  8. BZOJ 2844: albus就是要第一个出场 [高斯消元XOR 线性基]

    2844: albus就是要第一个出场 题意:给定一个n个数的集合S和一个数x,求x在S的$2^n$个子集从小到大的异或和序列中最早出现的位置 一开始看错题了...人家要求的是x第一次出现位置不是第x ...

  9. BZOJ 2844: albus就是要第一个出场

    2844: albus就是要第一个出场 Time Limit: 6 Sec  Memory Limit: 128 MBSubmit: 1134  Solved: 481[Submit][Status] ...

  10. 2844: albus就是要第一个出场

    2844: albus就是要第一个出场 链接 分析: 和HDU3949差不多互逆,这里需要加上相同的数. 结论:所有数任意异或,构成的数出现一样的次数,次数为$2^{n-cnt}$,cnt为线性基的大 ...

随机推荐

  1. mysql数据导到本地

    需求: 把mysql查询结果导出到txt(其他格式亦可),放在本地,供下一步使用 首先网上查了下,select * from driver into outfile 'a.txt'; 前面是你的sql ...

  2. Java飞机大战MVC版

    PlaneWar Java飞机大战MVC版 //无聊时偷的雷霆战机素材写了一个飞机大战,本意是练习mvc,但写得还是不清晰 github下载:https://github.com/dejavudwh/ ...

  3. 3星|《科技投资新时代》:TMT行业资讯汇编

    科技投资新时代:TMT投资方法.趋势与热点聚焦 全书共6章,前4章是一些投资与分析的基本方法与技巧,第5章集中讲通信行业的现状与趋势,第6章讲大数据.物联网.全面屏等TMT行业热点. 总体来说数据.信 ...

  4. nginx 源码阅读 core

    ngx_config.h 数据对齐 #define ngx_align(d, a)     (((d) + (a - 1)) & ~(a - 1)) ngx_core.h #define ng ...

  5. 剑指offer-二维数组中的查找01

    题目描述 在一个二维数组中(每个一维数组的长度相同),每一行都按照从左到右递增的顺序排序,每一列都按照从上到下递增的顺序排序.请完成一个函数,输入这样的一个二维数组和一个整数,判断数组中是否含有该整数 ...

  6. ubuntu 设置全局代理

    ubuntu配置shadowsocks全局代理 在mac.window平台下都有shadowsocks客户端,因此这两个平台不叙述太多,现在介绍ubuntu下的配置方法. 1.安装python lin ...

  7. python 读取blob

    for num in range(76802): # if num == 0: # c[num] = imagedata[0:4] # d[num] = struct.unpack('i', c[nu ...

  8. 奥特曼小分队之we are a team

    团队名称:奥特曼小分队 团队博客链接:http://cnblogs.com/ATMXFD 团队负责跑腿的:李全清 http://www.cnblogs.com/QuanQingli/ 团队成员: 孙乐 ...

  9. lintcode-457-经典二分查找问题

    457-经典二分查找问题 在一个排序数组中找一个数,返回该数出现的任意位置,如果不存在,返回-1 样例 给出数组 [1, 2, 2, 4, 5, 5]. 对于 target = 2, 返回 1 或者 ...

  10. IOC与DI(xml 配置)

    Spring可以帮助我们管理软件开发过程中的对象,以及如何创建和维护对象之间的关系. Spring是一个轻量级的控制反转(IoC)和面向切面(AOP)的容器框架,可以将组建的耦合度降至最低,即实现解耦 ...