【BZOJ3811】玛里苟斯(线性基)

题面

BZOJ

题解

\(K=1\)很容易吧,拆位考虑贡献,所有存在的位出现的概率都是\(0.5\),所以答案就是所有数或起来的结果除二。

\(K=2\)的情况,我们直接拆开平方式,平方项的贡献直接算,出现的概率还是\(0.5\),然后\(2ab\)这样子的东西出现的概率是\(0.5*0.5=0.25\),然而注意到有一些位直接两两之间存在联系,即选择了第\(i\)位的时候必定会同时选择第\(j\)位,那么此时两位之间的概率就是\(0.5\),这一部分要特殊判断一下。

接下来考虑\(K\ge 3\)的情况。因为答案不会超过\(2^{63}\),所以任何一个数字都不会从超过\(2^{22}\)。我们知道如果一个数可以被线性基中的其他所有数给表示出来,那么这个数出现的概率一定是\(1/{2^{|G|}}\),其中\(|G|\)是线性基内的元素个数。既然数字大小不大,那么线性基中的元素个数也不多,所以可以构建线性基之后直接\(2^{|G|}\)枚举所有可能出现的数字,\(K\)次方之后求和即可。

注意一下,最终答案除掉总的数字个数之后在\(2^{63}\)以内,那么在除之前是可能爆掉的,所以这里可以拆位什么的存一下就好了。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
using namespace std;
#define ll long long
#define ull unsigned long long
inline ull read()
{
ull x=0;bool t=false;char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=true,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return t?-x:x;
}
int n,K;ull a[100100];
namespace Task1
{
void Solve()
{
ull ans=0;
for(int i=1;i<=n;++i)ans|=a[i];
if(ans&1)printf("%llu.5\n",ans>>1);
else printf("%llu\n",ans>>1);
}
}
namespace Task2
{
bool vis[50];
bool check(int x,int y)
{
if(!vis[x]||!vis[y])return false;
for(int i=1;i<=n;++i)
{
if((a[i]&(1ll<<x))&&!(a[i]&(1ll<<y)))return false;
if((a[i]&(1ll<<y))&&!(a[i]&(1ll<<x)))return false;
}
return true;
}
void Solve()
{
ull ans=0;
for(int i=0;i<33;++i)
for(int j=1;j<=n;++j)
if(a[j]&(1ll<<i)){vis[i]=true;break;}
for(int i=0;i<33;++i)if(vis[i])ans+=1ll<<(i+i);
for(int i=0;i<33;++i)
for(int j=i+1;j<33;++j)
if(vis[i]&&vis[j])ans+=1ll<<(i+j);
for(int i=0;i<33;++i)
for(int j=i+1;j<33;++j)
if(check(i,j))ans+=1ll<<(i+j);
if(ans&1)printf("%llu.5\n",ans>>1);
else printf("%llu\n",ans>>1);
}
}
namespace Task3
{
int p[50];
void insert(int x)
{
for(int i=30;~i;--i)
if(x&(1<<i))
{
if(!p[i]){p[i]=x;return;}
x^=p[i];
}
}
int S[55],top;
ull ans=0,r=0;
void Calc(int val)
{
int MOD=1<<top;
ull D=0,R=1;
for(int i=1;i<=K;++i)
{
D*=val;R*=val;
D+=R/MOD;R%=MOD;
}
ans+=D;r+=R;
ans+=r/MOD;r%=MOD;
}
void dfs(int x,int val)
{
if(x==top+1){Calc(val);return;}
dfs(x+1,val);dfs(x+1,val^S[x]);
}
void Solve()
{
for(int i=1;i<=n;++i)insert(a[i]);
for(int i=0;i<=30;++i)if(p[i])S[++top]=p[i];
dfs(1,0);
if(r)printf("%llu.5\n",ans);
else printf("%llu\n",ans);
return;
}
}
int main()
{
n=read(),K=read();
for(int i=1;i<=n;++i)a[i]=read();
if(K==1){Task1::Solve();return 0;}
if(K==2){Task2::Solve();return 0;}
if(K>=3){Task3::Solve();return 0;}
return 0;
}

【BZOJ3811】玛里苟斯(线性基)的更多相关文章

  1. UOJ#36. 【清华集训2014】玛里苟斯 线性基

    原文链接https://www.cnblogs.com/zhouzhendong/p/UOJ36.html 题解 按照 $k$ 分类讨论: k=1 : 我们考虑每一位的贡献.若有至少一个数第 $i$ ...

  2. BZOJ.3811.玛里苟斯(线性基)

    BZOJ UOJ 感觉网上大部分题解对我这种数学基础差的人来说十分不友好...(虽然理解后也觉得没有那么难) 结合两篇写的比较好的详细写一写.如果有错要指出啊QAQ https://blog.csdn ...

  3. [清华集训2015 Day1]玛里苟斯-[线性基]

    Description Solution 考虑k=1的情况.假设所有数中,第i位为1的数的个数为x,则最后所有的子集异或结果中,第i位为1的个数为$(C_{k}^{1}+C_{k}^{3}+...)$ ...

  4. BZOJ3811 玛里苟斯(线性基+概率期望)

    k=1的话非常好做,每个有1的位都有一半可能性提供贡献.由组合数的一些性质非常容易证明. k=2的话,平方的式子展开可以发现要计算的是每一对位提供的贡献,于是需要计算每一对位被同时选中的概率.找出所有 ...

  5. 【BZOJ 3811】玛里苟斯 大力观察+期望概率dp+线性基

    大力观察:I.从输出精准位数的约束来观察,一定会有猫腻,然后仔细想一想,就会发现输出的时候小数点后面不是.5就是没有 II.从最后答案小于2^63可以看出当k大于等于3的时候就可以直接搜索了 期望概率 ...

  6. uoj#36. 【清华集训2014】玛里苟斯(线性基+概率期望)

    传送门 为啥在我看来完全不知道为什么的在大佬们看来全都是显然-- 考虑\(k=1\)的情况,如果序列中有某一个\(a_j\)的第\(i\)位为\(1\),那么\(x\)的第\(i\)位为\(1\)的概 ...

  7. bzoj 3811: 玛里苟斯【线性基+期望dp】

    这个输出可是有点恶心啊--WA*inf,最后抄了别人的输出方法orz 还有注意会爆long long,要开unsigned long long 对于k==1,单独考虑每一位i,如果这一位为1则有0.5 ...

  8. UOJ #36 -【清华集训2014】玛里苟斯(线性基+暴搜)

    UOJ 题面传送门 看到 \(k\) 次方的期望可以很自然地想到利用低次方和维护高次方和的套路进行处理,不过.由于这里的 \(k\) 达到 \(5\),直接这么处理一来繁琐,二来会爆 long lon ...

  9. 洛谷P3389 高斯消元 / 高斯消元+线性基学习笔记

    高斯消元 其实开始只是想搞下线性基,,,后来发现线性基和高斯消元的关系挺密切就一块儿在这儿写了好了QwQ 先港高斯消元趴? 这个算法并不难理解啊?就会矩阵运算就过去了鸭,,, 算了都专门为此写个题解还 ...

随机推荐

  1. git 提交新增文件到网站

    git add -A 是将所有的修改都提交.你可以用git status查看当前的变化,然后通过git add xxx有选择的提交.git commit 是将变化先提交到本地.git commit - ...

  2. Task 异步编程测试案例及基础应用说明

    对于多线程,我们经常使用的是Thread.在我们了解Task之前,如果我们要使用多核的功能可能就会自己来开线程,然而这种线程模型在.net 4.0之后被一种称为基于“任务的编程模型”所冲击,因为tas ...

  3. 【JVM.8】类加载及执行子系统的案例与实战

    一. 案例分析 1. Tomcat:正统的类加载器架构 主流的Java Web服务器,如Tomcat.Jetty.WebLogic.WebSphere或其他服务器,都实现了自己定义的类加载器(一般都不 ...

  4. go陷阱

    必看的题目:https://blog.csdn.net/weiyuefei/article/details/77963810 1.关于值传递.引用传递与指针传递 当一个变量或者新值被创建时, 如果没有 ...

  5. [UWP 自定义控件]了解模板化控件(6):使用附加属性

    1. 基本需求 之前的ContentView2添加了PointerOver等效果,和TextBox等本来就有Header的控件放在一起反而变得鹤立鸡群. 为了解决这个问题,这次把ContentView ...

  6. 【下一代核心技术DevOps】:(六)Rancher集中存储及相关应用

    1. 前言 为什么要使用集中存储? 使用集中存储有个很大的优势是数据安全和统一管理,和集群完美配合. 产品集成存储经历过几个阶段: 1.单机本机存储. 系统使用本地硬盘存储 2.单网络集中存储. 局域 ...

  7. C#_根据银行卡卡号判断银行名称

    /// <summary> /// 银行信息 /// </summary> public class BankInfo { #region 数组形式存储银行BIN号 /// & ...

  8. Aop笔记

    参考: https://blog.csdn.net/bombSKLK/article/details/79143145 示例 拦截的 注解的方法 @Around("@annotation(c ...

  9. Redis+Keepalived高可用环境部署记录

    Keepalived 实现VRRP(虚拟路由冗余)协议,从路由级别实现VIP切换,可以完全避免类似heartbeat脑裂问题,可以很好的实现主从.主备.互备方案,尤其是无状态业务,有状态业务就需要额外 ...

  10. Charles使用详解

    前言: Charles是在 Mac 下常用的网络封包截取工具,在做移动开发时,我们为了调试与服务器端的网络通讯协议,常常需要截取网络封包来分析. 一.主界面介绍       二.网页抓包 启动 Cha ...