【NOIP2017提高A组模拟9.7】JZOJ 计数题

题目

Description

Input

Output

Sample Input

5

2 2 3 4 5

Sample Output

8

6

Data Constraint

题解

题意

给出\(a[i]\),有一完全图,\(i\)与\(j\)之间的边的值为\(a[i] \oplus a[j]\)(\(\oplus\)为异或的意思)

求最小生成树及方案数

题解

科普一个东西,\(n\)个点的完全图的生成树个数是\(n^{n-2}\)

这个东西叫做凯莱定理,大家可以自行了解一下

100\(\%\)

看到异或,而且要最小,且\(a[i]\)二进制做多只有30位

想到可以按照最高位往下分治,分成当前这位是0和1的两堆,然后为了取值最小,那么这两堆只能连一条

那么就找到这两堆里面异或值最小的,这是\(trie\)应用的经典问题

然后分治一位一位往下

最后把所有最小值加一起,方案数乘起来即可

Code

#include<cmath>
#include<cstdio>
#include<algorithm>
#define mod 1000000007
using namespace std;
long long n,mx,num,ans,ans1,tot,a[1000001],er[31],c1[1000001],c2[1000001];
struct node
{
long long left,right,size;
}trie[400005];
long long read()
{
long long res=0;char ch=getchar();
while (ch<'0'||ch>'9') ch=getchar();
while (ch>='0'&&ch<='9') res=(res<<1)+(res<<3)+(ch-'0'),ch=getchar();
return res;
}
void insert(long long x)
{
long long now=1;
++trie[now].size;
for (long long i=mx;i>=0;--i)
{
if (x&er[i])
{
if (trie[now].left==0) trie[now].left=++num,trie[num].left=trie[num].right=trie[num].size=0;
now=trie[now].left;
++trie[now].size;
}
else
{
if (trie[now].right==0) trie[now].right=++num,trie[num].left=trie[num].right=trie[num].size=0;
now=trie[now].right;
++trie[now].size;
}
}
}
long long calc(long long x)
{
long long now=1,s=0;
for (long long i=mx;i>=0;--i)
{
if (x&er[i])
{
if (trie[trie[now].left].size>0) now=trie[now].left;
else s+=er[i],now=trie[now].right;
}
else
{
if (trie[trie[now].right].size>0) now=trie[now].right;
else s+=er[i],now=trie[now].left;
}
}
tot=trie[now].size;
return s;
}
long long ksm(long long x,long long y)
{
long long res=1;
while (y)
{
if (y&1) res=res*x%mod;
x=x*x%mod;
y>>=1;
}
return res;
}
long long dg(long long l,long long r,long long d)
{
if (r<=l) return 1;
if (d<0) return ksm(r-l+1,r-l-1);
long long t1=0,t2=0;
for (long long i=l;i<=r;++i)
{
if (a[i]&er[d]) c1[++t1]=a[i];
else c2[++t2]=a[i];
}
for (long long i=1;i<=t1;++i)
a[l+i-1]=c1[i];
for (long long i=1;i<=t2;++i)
a[l+t1+i-1]=c2[i];
long long s1=dg(l,l+t1-1,d-1),s2=dg(l+t1,r,d-1);
long long s3=(s1*s2)%mod,s4=2147483647,s5=0;
if (t1==0||t2==0) return s3;
num=1;
trie[1].left=trie[1].right=trie[1].size=0;
for (long long i=1;i<=t1;++i)
insert(a[l+i-1]);
for (long long i=1;i<=t2;++i)
{
long long sum=calc(a[l+t1+i-1]);
if (sum<s4) s4=sum,s5=tot;
else if (sum==s4) s5=(s5+tot)%mod;
}
ans+=s4;
return (s3*s5)%mod;
}
int main()
{
freopen("jst.in","r",stdin);
freopen("jst.out","w",stdout);
n=read();
for (long long i=1;i<=n;++i)
a[i]=read(),mx=max(mx,a[i]);
mx=log2(mx);
er[0]=1;
for (long long i=1;i<=31;++i)
er[i]=er[i-1]*2%mod;
num=1;
ans1=dg(1,n,mx);
printf("%lld\n%lld\n",ans,ans1);
fclose(stdin);
fclose(stdout);
return 0;
}

【NOIP2017提高A组模拟9.7】JZOJ 计数题的更多相关文章

  1. JZOJ 【NOIP2017提高A组模拟9.14】捕老鼠

    JZOJ [NOIP2017提高A组模拟9.14]捕老鼠 题目 Description 为了加快社会主义现代化,建设新农村,农夫约(Farmer Jo)决定给农庄里的仓库灭灭鼠.于是,猫被农夫约派去捕 ...

  2. JZOJ 100029. 【NOIP2017提高A组模拟7.8】陪审团

    100029. [NOIP2017提高A组模拟7.8]陪审团 Time Limits: 1000 ms  Memory Limits: 131072 KB  Detailed Limits   Got ...

  3. JZOJ 5328. 【NOIP2017提高A组模拟8.22】世界线

    5328. [NOIP2017提高A组模拟8.22]世界线 (File IO): input:worldline.in output:worldline.out Time Limits: 1500 m ...

  4. JZOJ 5329. 【NOIP2017提高A组模拟8.22】时间机器

    5329. [NOIP2017提高A组模拟8.22]时间机器 (File IO): input:machine.in output:machine.out Time Limits: 2000 ms M ...

  5. JZOJ 5307. 【NOIP2017提高A组模拟8.18】偷窃 (Standard IO)

    5307. [NOIP2017提高A组模拟8.18]偷窃 (Standard IO) Time Limits: 1000 ms Memory Limits: 262144 KB Description ...

  6. JZOJ 5286. 【NOIP2017提高A组模拟8.16】花花的森林 (Standard IO)

    5286. [NOIP2017提高A组模拟8.16]花花的森林 (Standard IO) Time Limits: 1000 ms Memory Limits: 131072 KB Descript ...

  7. JZOJ 5305. 【NOIP2017提高A组模拟8.18】C (Standard IO)

    5305. [NOIP2017提高A组模拟8.18]C (Standard IO) Time Limits: 1000 ms Memory Limits: 131072 KB Description ...

  8. 【NOIP2017提高A组模拟9.17】信仰是为了虚无之人

    [NOIP2017提高A组模拟9.17]信仰是为了虚无之人 Description Input Output Sample Input 3 3 0 1 1 7 1 1 6 1 3 2 Sample O ...

  9. 【NOIP2017提高A组模拟9.17】猫

    [NOIP2017提高A组模拟9.17]猫 题目 Description 信息组最近猫成灾了! 隔壁物理组也拿猫没办法. 信息组组长只好去请神刀手来帮他们消灭猫.信息组现在共有n 只猫(n 为正整数) ...

随机推荐

  1. 对于RBAC与shiro的一些思考

    一.什么是RBAC模型 RBAC模型是一个解决用户权限问题的设计思维. 在最简单的RBAC模型中,将用户表设计为如下几个表 1.用户 2.角色 3.权限 以及这三张表衍生出来的两张中间表 4.用户_角 ...

  2. XJOI 7191 Genius ACM

    二分+倍增 题目 题目中的最大校验值应由数组排序后,取出最大值和最小值,次大值和次小值--进行做差平方取和 所以在加入一个新的数时,校验值是不会下降的 那么可以发现,校验值是单调递增的,所以可以用二分 ...

  3. I am coming back

    时隔两年,我回来了,回到这个我梦开始的地方,带着一个新的身份--研究生!

  4. 【开发板试用报告】学习GPIO编程

    温湿度传感器 参考许老师教程:https://gitee.com/hihopeorg/ 下载源码git clone https://github.com/xusiwei/harmonyos-aht20 ...

  5. 记一次ns3的安装过程

    官方安装教程:https://www.nsnam.org/wiki/Installation 推荐使用Ubuntu18.04,Ubuntu20.04有些依赖无法下载. 准备工作 # 如果下载速度很慢, ...

  6. mysql权限管理命令

    #创建用户 create user 'songwp' IDENTIFIED BY '1234' #用户授权 GRANT ALL ON DB01.* TO 'songwp' #撤销权限 REVOKE A ...

  7. 三:redis启动后的基础知识

    Redis启动后的杂项基础知识 1.单进进程 单进程模型来处理客户端的请求.对读写等事件的响应是通过对epoll函数的包装来做到的.Redis的实际处理速度完全依靠主进程的执行效率       Epo ...

  8. linux文件的3个时间和7种文件类型

    linux文件的三个时间:  atime: access time --最近访问时间. ctime: change time --最近改变时间. mtime:modify time --最近修改时间. ...

  9. http服务器文件名大小写忽略

    问题 文件从windows里面放到nginx里面去的时候,文件在windows下面是大小写忽略,也就是不论大小写都可以匹配的,而到linux下面的时候,因为linux是区分大小写的,也就是会出现无法忽 ...

  10. asyncio多进程+pyppeteer浏览器控制+pyquery解析实现爬虫demo

    import asyncio from pyppeteer import launch from pyquery import PyQuery as pq async def main(): brow ...