【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. CSS中的position属性笔记

    一般有5个属性,分别是:static,absolute,relative,fixed,inherit static 自然定位:这个是默认值,没有定位,再设置top,rignt,bottom,left会 ...

  2. linux 查看和设置主机名

    1.设置主机名 通过编辑/etc/sysconfig/network文件中的HOSTNAME字段就可以修改主机名.如下所示: [root@zijuan /]# vim /etc/sysconfig/n ...

  3. git rebase的时候捅娄子了,怎么办?在线等……

    大家在使用git的过程当中有闯过祸吗? 我闯过,我闯的第一个祸就是使用git rebase造成的,虽然后来最终还是解决了,但是还是给我吓得不轻.当时的事情是这样的. 我们来看下这张图: 简单解释一下这 ...

  4. flex与bison的学习

    获取bison http://www.gnu.org/software/bison 获取flex http://flex.sourceforge.net/ 本书的范例 ftp://ftp.iecc.c ...

  5. [python学习手册-笔记]001.python前言

    001.python前言 ❝ 本系列文章是我个人学习<python学习手册(第五版)>的学习笔记,其中大部分内容为该书的总结和个人理解,小部分内容为相关知识点的扩展. 非商业用途转载请注明 ...

  6. leetcode73:minmum-window-substring

    题目描述 给出两个字符串S和T,要求在O(n)的时间复杂度内在S中找出最短的包含T中所有字符的子串. 例如: S ="ADOBECODEBANC" T ="ABC&quo ...

  7. 【Mycat】Mycat核心开发者带你看尽Mycat三大核心配置文件

    写在前面 在分布式数据库中间件领域,Mycat和ShardingSphere可以说是在开源界有着相当重要的位置,不少小伙伴也在问我:Mycat和sharding-jdbc哪个好呀!其实,就我本身而言, ...

  8. tomcat 404报错 问题可能之一

    一个tomcat下多个应用:我的应用xxx启动不起来,页面报错404: May 29, 2015 5:58:37 PM org.apache.catalina.core.StandardContext ...

  9. CSS选择器组合符号

    组合连接符号 无连接符 多项条件 空格符 后代节点 > 子节点 + 兄弟节点 ~ 兄弟节点 这里要注意+和~之间的区别 +是后面紧邻兄弟 ~是后面所有兄弟

  10. 自动化测试_移动端测试(一) ----- Appium环境搭建

    一. 安装node.js 因为Appium是使用nodejs实现的,所以node是解释器,首先需要确认安装好 官网下载node.js:https://nodejs.org/en/download/ 安 ...