题意

给定\(n\)个带权点,第\(i\)个点的权值为\(w_i\),任意两点间都有边,边权为两端点权的异或值,求最小生成树边权和,以及方案数\(\bmod 10^9 + 7\)

\(n \leq 10^5,W = max(w_i) \leq 2^{30}\)

题解

考虑按位贪心,我们从高到低考虑二进制第k位。每次把当前点集\(S\)分成第\(k\)位为\(0\)和第\(k\)位为\(1\)的两个集合,记为\(S_0, S_1\)。

我们递归下去把这两个集合连成生成树,然后再找一条最小的跨集合的边把这两个集合连通。

考虑这么做为啥对:假设有两条跨集合的边,我删去一条,树变成两个部分。然后任意找到一条集合内部边使集合\(S\)连通(既然有跨集合的边存在,我们一定能找到这样的一条边),这样显然更优。

然后考虑问题:找到\(x\in S_0,y\in S_1,x\text{ xor } y\)最小。

这个用类似线段树合并的方法:每次两个结点同时往下走,尽量往一边走。如果能同时往\(0/1\)走,都走一遍,复杂度是对的,每次合并复杂度是子树大小。考虑trie树上一个点只有\(O(\log W)\)个祖先,一共只有\(O(n \log W)\)个结点,所以复杂度\(O(n \log ^2 W)\)

我们再来考虑方案。叶子结点时假设大小为\(n\),也就是说\(n\)个点都是这个权值,生成树的方案数\(n^{n-2}\)(由prufer序列得)。非叶子结点时,方案是分成的两个集合的方案乘最后连边方案。连边会对应trie树上多对叶子\((u, v)\)(这些对结点异或起来都是最小的),若叶子\(u\)上放的数个数用\(cnt[u]\)表示,连边方案就是\(\sum_{(u,v)} cnt[u]*cnt[v]\)。

P.S.:快速幂写错了调了好久,差评

#include <algorithm>
#include <cstdio>
using namespace std;
typedef long long ll;
char gc() {
static char buf[1 << 20], * S, * T;
if(S == T) {
T = (S = buf) + fread(buf, 1, 1 << 20, stdin);
if(S == T) return EOF;
}
return *S ++;
}
template<typename T> void read(T &x) {
x = 0; char c = gc(); bool bo = 0;
for(; c > '9' || c < '0'; c = gc()) bo |= c == '-';
for(; c <= '9' && c >= '0'; c = gc()) x = x * 10 + (c & 15);
if(bo) x = -x;
}
const int N = 1e5 + 10;
const int mo = 1e9 + 7;
int n, id = 1, ch[N * 30][2], cnt[N * 30], w[N * 30];
void insert(int x) {
int u = 1;
for(int i = 29; ~ i; i --) {
int y = x >> i & 1;
if(!ch[u][y]) {
ch[u][y] = ++ id;
w[id] = y << i;
}
u = ch[u][y];
}
cnt[u] ++;
}
ll ans;
int ans2, tot2, tot = 1;
int qpow(int a, int b) {
int ans = 1;
for(; b >= 1; b >>= 1, a = (ll) a * a % mo)
if(b & 1) ans = (ll) ans * a % mo;
return ans;
}
void merge(int u, int v, int now) {
now ^= w[u] ^ w[v];
if(cnt[u] && cnt[v]) {
if(now < ans2) { ans2 = now; tot2 = 0; }
if(now == ans2) tot2 = (tot2 + (ll) cnt[u] * cnt[v]) % mo;
return ;
}
bool tag = 0;
if(ch[u][0] && ch[v][0]) merge(ch[u][0], ch[v][0], now), tag = 1;
if(ch[u][1] && ch[v][1]) merge(ch[u][1], ch[v][1], now), tag = 1;
if(tag) return ;
if(ch[u][0] && ch[v][1]) merge(ch[u][0], ch[v][1], now);
if(ch[u][1] && ch[v][0]) merge(ch[u][1], ch[v][0], now);
}
bool solve(int u) {
if(!u) return 0;
if(cnt[u]) {
if(cnt[u] > 2) tot = (ll) tot * qpow(cnt[u], cnt[u] - 2) % mo;
return 1;
}
bool s = solve(ch[u][1]) & solve(ch[u][0]);
if(s) {
ans2 = 2e9 + 10; tot2 = 1;
merge(ch[u][0], ch[u][1], 0);
ans += ans2; tot = (ll) tot * tot2 % mo;
}
return 1;
}
int main() {
read(n);
for(int i = 1; i <= n; i ++) {
int x; read(x); insert(x);
}
solve(1);
printf("%lld\n%d\n", ans, tot);
return 0;
}

「51Nod 1601」完全图的最小生成树计数 「Trie」的更多相关文章

  1. 51Nod 1601 完全图的最小生成树计数

    题目链接 分析: 这是一张完全图,并且边的权值是由点的权值$xor$得到的,所以我们考虑贪心的思想,考虑$kruskal$的过程选取最小的边把两个连通块合并,所以我们可以模仿$kruskal$的过程, ...

  2. 51Nod1601 完全图的最小生成树计数

    传送门 我居然忘写题解啦!(记忆废) 不管怎么说,这题还算是一道好题啊……你觉得敦爷出的题会有水题么 …… 这题比较容易把人误导到Boruvka算法之类的东西上去(我们机房去刚D题的人一开始大多也被误 ...

  3. 51Nod1601 完全图的最小生成树计数 Trie Prufer编码

    原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1601.html 题目传送门 - 51Nod1601 题意 题解 首先我们考虑如何求答案. 我们将所有 ...

  4. 最小生成树计数 bzoj 1016

    最小生成树计数 (1s 128M) award [问题描述] 现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树中至少有一 ...

  5. 树的Prufer 编码和最小生成树计数

      Prufer数列 Prufer数列是无根树的一种数列.在组合数学中,Prufer数列由有一个对于顶点标过号的树转化来的数列,点数为n的树转化来的Prufer数列长度为n-2.它可以通过简单的迭代方 ...

  6. 【bzoj1016】 JSOI2008—最小生成树计数

    http://www.lydsy.com/JudgeOnline/problem.php?id=1016 (题目链接) 题意 求图的最小生成树计数. Solution %了下题解,发现要写矩阵树,15 ...

  7. [BZOJ]1016 JSOI2008 最小生成树计数

    最小生成树计数 题目描述 现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树中至少有一条边不同,则这两个最小生成树就是不同 ...

  8. bzoj1016 [JSOI2008]最小生成树计数

    1016: [JSOI2008]最小生成树计数 Time Limit: 1 Sec  Memory Limit: 162 MBSubmit: 3517  Solved: 1396[Submit][St ...

  9. 【翻译】西川善司的「实验做出的游戏图形」「GUILTY GEAR Xrd -SIGN-」中实现的「纯卡通动画的实时3D图形」的秘密,后篇

    http://www.4gamer.net/games/216/G021678/20140714079/     连载第2回的本回,  Arc System Works开发的格斗游戏「GUILTY G ...

随机推荐

  1. Dubbo#编译动态扩展类

    这篇排版有问题 后面修改....**** 以ExtensionLoader.getExtensionLoader(Protocol.class).getAdaptiveExtension();为例 - ...

  2. SAS学习笔记3 输入输出格式(format、informat函数)

    format函数:定义输出格式 informat函数:定义输入格式 proc format:定义输出格式 从外部读取文件 proc format过程步

  3. 怎样理解数组的空元素empty与undefined的区别

    数组的空元素empty表示空位, 它不是一种数据类型, 而是由于人为修改arr.length 或者写入时多写了逗号造成的. var arr = [1,2,3,4,,,5]; arr.length; a ...

  4. 轻松搭建CAS 5.x系列(5)-增加密码找回和密码修改功能

    概述说明 CAS内置了密码找回和密码修改的功能: 密码找回功能是,系统会吧密码重置的连接通过邮件或短信方式发送给用户,用户点击链接后就可以重置密码,cas还支持预留密码重置的问题,只有回答对了,才可以 ...

  5. docker网络相关

    1.网卡有namespace的概念,不同的俩个namesp之间的网卡不能直接通信 为了俩个namespace的网卡相互通信,可以通过veth pair(一对)来实现.不同容器之间,便是通过veth p ...

  6. MYSQL编码转换的问题latin1转utf8

    1.先导出 mysqldump --default-character-set=latin1 --create-options=false --set-charset=false  -u root - ...

  7. JS 百度地图 地图线路描绘

    JS 百度地图 地图线路描绘 <script type="text/javascript" src="http://api.map.baidu.com/api?v= ...

  8. SOAP与restful webservice

    SOAP 什么是SOAP,我想不用多说,google一把满眼都是.其实SOAP最早是针对RPC的一种解决方案,简单对象访问协议,很轻量,同时作为应用协议可以基于多种传输协议来传递消息(Http,SMT ...

  9. 07_Azkaban工作流调度器简介及其安装

    Azkaban介绍 Azkaban是一个Linkedin开源的一个批量工作流任务调度器.用于在一个工作流内以一个特定的顺序运行一组工作和流程. Azkaban定义了一种KV文件格式来建立任务之间的依赖 ...

  10. linux(centos)下安装supervisor进程管理工具

    在接触supervisor进程管理工具之前,使用springboot打包部署到linux服务器的流程是这样子的,如下图所示: 上图展示的就是最一般的流程,如果项目是小项目或者demo可以这样子去部署, ...