题目传送门(内部题24)


输入格式

第一行有$3$个整数$n,opt$,$opt$的意义将在输出格式中提到。
第二行有$n$个整数,第$i$个整数表示$a_i$。


输出格式

若$opt=1$,输出一行一个整数表示${ans}_1$。
若$opt=2$,输出一行一个整数表示${ans}_2$。
若$opt=3$,输出两行,第一行一个整数${ans}_1$,第二行一个整数${ans}_2$。


样例

样例输入:

3 3
6 1 3

样例输出:

78
6


数据范围与提示

对于所有数据,$1\leqslant n\leqslant {10}^5,1\leqslant opt\leqslant 3,0\leqslant a_i\leqslant {10}^6$。


题解

对于每个数$a_x$,用单调栈找出它作为最大值的区间$[l_x,r_x]$,所有区间只有包含和不相交关系,没有相交关系,而且所以区间构成了一棵二叉树。
对每个区间$[l_x,r_x]$维护一棵$01trie$树$T_x$。
对每个区间$[l_x,r_x]$维护一个数组$f_x$,其中$f_{x,j}$表示该区间中第$j$位为$1$的数有多少个。
所以区间构成了一棵二叉树,可以对区间进行启发式合并,对于$a_x$控制的区间$[l_x,r_x]$,找到它的左右儿子$lch:[l_x,x−1]$和$rch:[x+1,r_x]$,我们只需要考虑所有包含$x$的区间的答案,而且这些区间的最大值都是$a_x$。
若左区间的长度$<$右区间的长度,我们可以枚举左区间中的每个数$a_i$。
对于${ans}_1$,我们可以分别统计每一个二进制位的答案,若$a_i$的第$j$位是$0$,那么第$j$位的贡献就是$2^jf{rch,j}$,若$a_i$的第$j$位是$1$,情况类似。同时,将 $a_i$更新到$f_x$中。
对于${ans}_2$,问题就转化成右区间中有多少个数$v$满足$v\ xor\ a_i>a_x$,可以在$T_{rch}$中查询。同时,将$a_i$插入到$trie$树$T_x$中。
时间复杂度:$\Theta(n\log n\log v)$。
期望得分:$100$分。
实际得分:$100$分。


代码时刻

#include<bits/stdc++.h>
using namespace std;
int n,opt;
int a[100001],c[30],s[100001][30],sta[100001],sum[100001],l[100001],r[100001];
long long flag[30],d[30];
int rt[100001];
int trie[50000000][2],w[50000000],cnt;
long long ans1,ans2;
void add(int x,int y)
{
sum[y]++;
for(int i=0;i<=21;i++)
{
s[y][i]+=x&1;
x>>=1;
}
}
void insert(int x,int l,int r)
{
for(int i=21;i>=0;i--)
{
int p=(x>>i)&1;
w[l]=w[r]+1;
trie[l][p^1]=trie[r][p^1];
trie[l][p]=++cnt;
l=trie[l][p];
r=trie[r][p];
}
w[l]=w[r]+1;
}
int ask(int x,int y,int l,int r)
{
int res=0,ans=0;
for(int i=21;i>=0;i--)
if((y>>i)&1)
if(res+flag[i]>x)
{
ans+=w[trie[r][0]]-w[trie[l][0]];
l=trie[l][1];
r=trie[r][1];
}
else
{
l=trie[l][0];
r=trie[r][0];
res+=flag[i];
}
else
if(res+flag[i]>x)
{
ans+=w[trie[r][1]]-w[trie[l][1]];
l=trie[l][0];
r=trie[r][0];
}
else
{
l=trie[l][1];
r=trie[r][1];
res+=flag[i];
}
return ans;
}
int main()
{
scanf("%d%d",&n,&opt);
for(int i=1;i<=n;i++)
scanf("%d",&a[i]);
flag[0]=1;for(int i=1;i<=21;i++)flag[i]=flag[i-1]<<1;
cnt=n;
for(int i=1;i<=n;i++)
{
rt[i]=i;
add(a[i],i);
insert(a[i],rt[i],rt[i-1]);
while(sta[0]&&a[sta[sta[0]]]<=a[i])
r[sta[sta[0]--]]=i-1;
l[i]=sta[sta[0]]+1;
sta[++sta[0]]=i;
for(int j=0;j<=21;j++)
s[i][j]+=s[i-1][j];
sum[i]+=sum[i-1];
}
while(sta[0])r[sta[sta[0]--]]=n;
for(int i=1;i<=n;i++)
{
long long res1=0,res2=0;
if(i-l[i]<=r[i]-i)
{
for(int j=0;j<=21;j++)
c[j]=s[r[i]][j]-s[i-1][j];
for(int j=l[i];j<=i;j++)
{
for(int k=0;k<=21;k++)
{
if((a[j]>>k)&1)d[k]=sum[r[i]]-sum[i-1]-c[k];
else d[k]=c[k];
res1=(res1+d[k]*flag[k])%1000000007;
}
res2=(res2+ask(a[i],a[j],rt[i-1],rt[r[i]]))%1000000007;
}
}
else
{
for(int j=0;j<=21;j++)
c[j]=s[i][j]-s[l[i]-1][j];
for(int j=i;j<=r[i];j++)
{
for(int k=0;k<=21;k++)
{
if((a[j]>>k)&1)d[k]=sum[i]-sum[l[i]-1]-c[k];
else d[k]=c[k];
res1=(res1+d[k]*flag[k])%1000000007;
}
res2=(res2+ask(a[i],a[j],rt[l[i]-1],rt[i]))%1000000007;
}
}
ans1=(ans1+res1*a[i])%1000000007;
ans2=(ans2+res2*a[i])%1000000007;
}
switch(opt)
{
case 1:printf("%lld",ans1);break;
case 2:printf("%lld",ans2);break;
case 3:printf("%lld\n%lld",ans1,ans2);break;
}
return 0;
}

rp++

[CSP-S模拟测试]:english(可持久化Trie+启发式合并)的更多相关文章

  1. 【JZOJ5363】【NOIP2017提高A组模拟9.14】生命之树 Trie+启发式合并

    题面 45 在比赛中,我只想到了45分的暴力. 对于一个树中点对,相当于在他们的LCA及其祖先加上这个点对的贡献. 那么这个可以用dfs序+树状数组来维护. 100 想法 我想到了可能要用trie树来 ...

  2. 【bzoj2741】[FOTILE模拟赛]L 可持久化Trie树+分块

    题目描述 FOTILE得到了一个长为N的序列A,为了拯救地球,他希望知道某些区间内的最大的连续XOR和. 即对于一个询问,你需要求出max(Ai xor Ai+1 xor Ai+2 ... xor A ...

  3. [CSP-S模拟测试]:Race(数学+Trie树)

    题目描述 一年一度的运动会开始了.有$N$个选手参赛,第$i$个选手有一个能力值(保证$A[i]$两两不同),比赛一共进行了天.在第$j$天($0\leqslant j\leqslant 2^{m-1 ...

  4. 【csp模拟赛6】树上统计-启发式合并,线段树合并

    30%:暴力 40%:枚举L,R从L~n枚举,R每增大一个,更新需要的边(bfs实现)60%:枚举每条边, 计算每条边的贡献另外20%的数据:枚举每条边,计算每条边的贡献100%:对于每一条边统计 有 ...

  5. Codeforces 965 枚举轮数贪心分糖果 青蛙跳石头最大流=最小割思想 trie启发式合并

    A /*#include<cstring>#include<algorithm>#include<queue>#include<vector>#incl ...

  6. 6402. 【NOIP2019模拟11.01】Cover(启发式合并)

    题目描述 Description 小 A 现在想用

  7. bzoj 2741: 【FOTILE模拟赛】L 分塊+可持久化trie

    2741: [FOTILE模拟赛]L Time Limit: 15 Sec  Memory Limit: 162 MBSubmit: 1116  Solved: 292[Submit][Status] ...

  8. 【BZOJ2741】【FOTILE模拟赛】L 分块+可持久化Trie树

    [BZOJ2741][FOTILE模拟赛]L Description FOTILE得到了一个长为N的序列A,为了拯救地球,他希望知道某些区间内的最大的连续XOR和. 即对于一个询问,你需要求出max( ...

  9. 【BZOJ2741】【块状链表+可持久化trie】FOTILE模拟赛L

    Description FOTILE得到了一个长为N的序列A,为了拯救地球,他希望知道某些区间内的最大的连续XOR和. 即对于一个询问,你需要求出max(Ai xor Ai+1 xor Ai+2 .. ...

随机推荐

  1. 【转载】Spring boot学习记录(三)-启动原理解析

    前言:本系列文章非本人原创,转自:http://tengj.top/2017/04/24/springboot0/ 正文 我们开发任何一个Spring Boot项目,都会用到如下的启动类 @Sprin ...

  2. DbWrench001--简介

    DbWrench--简介 mac下载地址:http://www.dbwrench.com/ DbWrench 工具等价于powerdesigner 均为数据库原型设计工具 DbWrench 详细介绍 ...

  3. java调用数据库中的函数和存储过程

    1.调用函数 {?= call <procedure-name>[(<arg1>,<arg2>, ...)]} {call <procedure-name&g ...

  4. spring-第十八篇之spring AOP基于XML配置文件的管理方式

    1.在XML配置文件中配置切面.切入点.增强处理.spring-1.5之前只能使用XML Schema方式配置切面.切入点.增强处理. spring配置文件中,所有的切面.切入点.增强处理都必须定义在 ...

  5. indexOf与includes的区别

    indexOf与includes的区别:https://blog.csdn.net/gtLBTNq9mr3/article/details/78700118 includes和indexOf相比较:相 ...

  6. Linux文件目录可视化远程软件winscp的使用

    这个软件不是必须的,一般有命令行就可以操作文件目录,但winscp有图形界面,双击文件就可以编辑和保存,使用方式更接近windows Winscp是开源软件,安装包可以自行下载获取找有关人士获取 要新 ...

  7. 在vue中运用mt-loadmore 实现上拉加载,下拉刷新(完整源码)

    <template> <div class="serverList"> <ul class="scrollModeBox" :st ...

  8. ECharts 图表导出

    Echarts图形是由Javascript亲自在前端网页上绘制的 1.用ECharts配置项手册中的toolbox.feature.saveAsImage toolbox: { show: true, ...

  9. 使用logstash同步MongoDB数据到es

    input{ mongodb{ codec => "json" uri => 'mongodb://127.0.0.1:27017/kuaibao' placehold ...

  10. ed-tue-robotics

    https://github.com/tue-robotics/ed ubuntu16.04 安装libsdformat4-dev ,libsdformat4 1./usr/include/sdfor ...