[UOJ#122][NOI2013]树的计数
[UOJ#122][NOI2013]树的计数
试题描述
我们知道一棵有根树可以进行深度优先遍历(DFS)以及广度优先遍历(BFS)来生成这棵树的 DFS 序以及 BFS 序。两棵不同的树的 DFS 序有可能相同,并且它们的 BFS 序也有可能相同,例如下面两棵树的 DFS 序都是 1 2 4 5 3,BFS 序都是 1 2 3 4 5。
现给定一个 DFS 序和 BFS 序,我们想要知道,符合条件的有根树中,树的高度的平均值。即,假如共有 K 棵不同的有根树具有这组 DFS 序和 BFS 序,且他们的高度分别是 h1,h2,…,hK,那么请你输出:
输入
第一行包含 1 个正整数 n,表示树的节点个数。
第二行包含 n 个正整数,是一个 1∼n 的排列,表示树的 DFS 序。
第三行包含 n 个正整数,是一个 1∼n 的排列,表示树的 BFS 序。
输入保证至少存在一棵树符合给定的两个序列。
输出
输入示例
输出示例
3.500
数据规模及约定
100% 的测试数据,满足:2≤n≤200000。
题解
首先自己 YY 了一个 90 分的做法。
我们给树重标号,使得它的 DFS 序变成 1~n(BFS 序也随之改变)。
那么在这里发现:如果 BFS 序中两个数 i 和 i+1,i+1 的位置在 i 后面,并且 i 和 i+1 不相邻,那么意味着 i+1 一定是 i 的儿子(性质1),并且在 BFS 序中,处在 i 和 i+1 位置中间的节点要么是 i 的兄弟并且在 i 的右边,要么是 i+1 的兄弟并且不是 i 的儿子并且在 i+1 的左边(这里的左右指的是树上同一层节点的左右关系)。
然后,对于 BFS 序中相邻两个数 B[i] 和 B[i+1],如果 B[i] > B[i+1] 那么,节点 B[i] 和 B[i+1] 一定在不同层,更确切地,B[i+1] 在 B[i] 的下一层(因为会先 DFS 到 B[i] 这个节点)。(性质2)
注意到如果我们给每个节点确定了深度,树的形态一定确定了。
给个例子:
DFS 序:1 2 3 4 5 6 7 8 9
BFS 序:1 2 6 7 3 4 5 8 9
那么发现 (2, 3) 和 (7, 8) 这两对数满足性质1,(B[4]=7, B[5]=3) 这对数满足性质2。
那么我们怎么给它们安排深度呢?注意到深度按照 BFS 序排列从左往右是不下降的。
节点 1 深度一定是 1,节点 2 深度一定为 2;由 (2, 3) 和 (B[4]=7, B[5]=3) 这两个条件知道节点 6 和 7 深度都是 2,节点 3 的深度为 3;由 (7, 8) 得知节点 8 深度为 3,那么节点 4 和 5 的深度也就自然都是 3 了;节点 9 的深度无所谓,可以是 3 或者 4。
深度序列:1 2 2 2 3 3 3 3 (3 or 4)
差分一下这个序列,即 dep[i] = dep[i+1] - dep[i](舍去最后一个位置的数),得到:1 0 0 1 0 0 0 (0 or 1)
于是问题变成了,在这个差分后的新序列中,给每个位置上确定 0 或 1,有些位置上必须是 1,然后有一些区间,每个区间内的 1 的个数不能多于 1,求期望有多少个 1。
在这个例子中,必须填 1 的位置是 1 和 4,区间为 [2, 4] 和 [4, 7]。
那么就可以 dp 了。f[i] 表示考虑前 i 个位置,并且第 i 位填 1 的方案数;g[i] 表示考虑前 i 个位置,第 i 为填 1 的所有方案中 1 的个数之和;那么 f[i] 和 g[i] 都可以从【上一个必填 1 的位置】到【包含位置 i 的所有区间中最小的左端点 - 1】这一段区间中转移过来,线段树维护即可。如果 f 和 g 都用 long double,可以蹭到 90 分。
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
#include <vector>
#include <queue>
using namespace std; int read() {
int x = 0, f = 1; char c = getchar();
while(!isdigit(c)){ if(c == '-') f = -1; c = getchar(); }
while(isdigit(c)){ x = x * 10 + c - '0'; c = getchar(); }
return x * f;
} #define maxn 200010
#define double long double
#define pdd pair <double, double> int n, dfn[maxn], bfn[maxn], id[maxn], pos[maxn];
bool tag[maxn];
vector <int> add[maxn], del[maxn];
priority_queue <int> Q, delQ; int lft[maxn];
void Addi(int l, int r) {
add[l].push_back(l); del[r+1].push_back(l);
return ;
} double sf[maxn<<2], sumv[maxn<<2];
void update(int o, int l, int r, int x, double f, double v) {
if(l == r) sf[o] = f, sumv[o] = v;
else {
int mid = l + r >> 1, lc = o << 1, rc = lc | 1;
if(x <= mid) update(lc, l, mid, x, f, v);
else update(rc, mid + 1, r, x, f, v);
sf[o] = sf[lc] + sf[rc];
sumv[o] = sumv[lc] + sumv[rc];
}
return ;
}
pdd query(int o, int l, int r, int ql, int qr) {
if(ql > qr) return make_pair(0.0, 0.0);
if(ql <= l && r <= qr) return make_pair(sf[o], sumv[o]);
int mid = l + r >> 1, lc = o << 1, rc = lc | 1;
pdd ans = make_pair(0.0, 0.0), tmp;
if(ql <= mid) tmp = query(lc, l, mid, ql, qr), ans.first += tmp.first, ans.second += tmp.second;
if(qr > mid) tmp = query(rc, mid + 1, r, ql, qr), ans.first += tmp.first, ans.second += tmp.second;
return ans;
} int main() {
n = read();
for(int i = 1; i <= n; i++) id[dfn[i] = read()] = i;
for(int i = 1; i <= n; i++) bfn[i] = id[read()], pos[bfn[i]] = i; // for(int i = 1; i <= n; i++) printf("%d%c", bfn[i], i < n ? ' ' : '\n');
tag[1] = 1;
for(int i = 2; i < n; i++) if(bfn[i] > bfn[i+1]) tag[i] = 1;
for(int i = 1; i <= n; i++) if(pos[bfn[i]+1] > i + 1) Addi(i, pos[bfn[i]+1] - 1);
for(int i = 1; i <= n; i++) {
for(int j = 0; j < del[i].size(); j++) {
delQ.push(-del[i][j]);
while(!Q.empty() && Q.top() == delQ.top()) Q.pop(), delQ.pop();
}
for(int j = 0; j < add[i].size(); j++) Q.push(-add[i][j]);
if(Q.empty()) lft[i] = i; else lft[i] = -Q.top();
}
// for(int i = 1; i <= n; i++) printf("%d%c", lft[i], i < n ? ' ' : '\n'); int lst = 1;
update(1, 1, n, 1, 1, 1);
for(int i = 2; i < n; i++) {
pdd info = query(1, 1, n, lst, lft[i] - 1);
update(1, 1, n, i, info.first, info.first + info.second);
// printf("%d: %.3lf %.3lf\n", i, info.first, info.first + info.second);
if(tag[i]) lst = i;
}
double Sumv = 0, Sf = 0;
for(int i = n - 1; i; i--) {
pdd info = query(1, 1, n, i, i);
Sf += info.first; Sumv += info.second;
// printf("record: %d %.3lf\n", i, info.second);
if(tag[i]) break;
}
printf("%.3Lf\n", (Sumv + Sf) / Sf); return 0;
}
更简单的做法就是让 BFS 序变成 1~n 的排列,DFS 序随之变化,然后分情况讨论节点 i 和 i-1 必定不在同一层,可以在同一层也可以不在同一层,必定在同一层,贡献分别是 1、0.5 和 0。
以下省略条件:对于节点 i 和节点 i-1。令 pos[i] 表示节点 i 在 DFS 序中的位置。
必定不在同一层:节点 i 必定在 i-1 的下一层,需要满足 pos[i] < pos[i-1],即先 DFS 到节点 i;
可以在同一层,也可以不在:pos[i] = pos[i-1] + 1,并且如果节点 i 放在了节点 i-1 那一层,则节点 i 是当前层的最靠右的节点,即 pos[1], pos[2], ... , pos[i-1] 标记上了 DFS 序中的开头和结尾;
必定在同一层:其余情况。
并查集判判就好了。
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
#include <vector>
#include <queue>
using namespace std; int read() {
int x = 0, f = 1; char c = getchar();
while(!isdigit(c)){ if(c == '-') f = -1; c = getchar(); }
while(isdigit(c)){ x = x * 10 + c - '0'; c = getchar(); }
return x * f;
} #define maxn 200010 int n, dfn[maxn], bfn[maxn], id[maxn], pos[maxn], fa[maxn], siz[maxn];
int findset(int x) { return x == fa[x] ? x : fa[x] = findset(fa[x]); } int main() {
n = read();
for(int i = 1; i <= n; i++) dfn[i] = read();
for(int i = 1; i <= n; i++) id[bfn[i] = read()] = i;
for(int i = 1; i <= n; i++) dfn[i] = id[dfn[i]], pos[dfn[i]] = i; double sum = 0;
for(int i = 1; i <= n; i++) fa[i] = i;
for(int i = 1; i <= n; i++) {
if(i == 1 || i == 2) sum++;
else if(pos[i] < pos[i-1]) sum++;
else if(pos[i] == pos[i-1] + 1 && siz[findset(1)] + siz[findset(n)] == i - 1) sum += 0.5;
siz[pos[i]] = 1;
int u = findset(pos[i]), v;
if(pos[i] > 1) {
v = findset(pos[i] - 1);
if(siz[v]) fa[v] = u, siz[u] += siz[v];
}
if(pos[i] < n) {
v = findset(pos[i] + 1);
if(siz[v]) fa[v] = u, siz[u] += siz[v];
}
} printf("%.3lf\n", sum); return 0;
}
[UOJ#122][NOI2013]树的计数的更多相关文章
- 【BZOJ3244】【UOJ#122】【NOI2013]树的计数
NOI都是酱的题怎么玩啊,哇.jpg 原题: 我们知道一棵有根树可以进行深度优先遍历(DFS)以及广度优先遍历(BFS)来生成这棵树的DFS序以及BFS序.两棵不同的树的DFS序有可能相同,并且它们的 ...
- 【uoj122】 NOI2013—树的计数
http://uoj.ac/problem/122 (题目链接) 题意 给出一棵树的dfs序和bfs序,保证一定可以构成一棵树.问构成的树的期望深度. Solution 这是一个悲伤的故事,我YY的东 ...
- NOI2013 树的计数
题目:http://uoj.ac/problem/122 85%做法: 动态规划. 首先重编号,BFS序变成1...n,然后DFS序相应重编号. 记pos[i]为i号点在DFS中的位置,即pos[d[ ...
- 3244: [Noi2013]树的计数 - BZOJ
Description 我们知道一棵有根树可以进行深度优先遍历(DFS)以及广度优先遍历(BFS)来生成这棵树的DFS序以及BFS序.两棵不同的树的DFS序有可能相同,并且它们的BFS序也有可能相同, ...
- bzoj 3244: [Noi2013]树的计数
Description 我们知道一棵有根树可以进行深度优先遍历(DFS)以及广度优先遍历(BFS)来生成这棵树的DFS序以及BFS序.两棵不同的树的DFS序有可能相同,并且它们的BFS序也有可能相同, ...
- BZOJ3244 NOI2013树的计数(概率期望)
容易发现的一点是如果确定了每一层有哪些点,树的形态就确定了.问题变为划分bfs序. 考虑怎样划分是合法的.同一层的点在bfs序中出现顺序与dfs序中相同.对于dfs序中相邻两点依次设为x和y,y至多在 ...
- [BZOJ3244][NOI2013]树的计数
这题大家为什么都写O(NlogN)的算法呢?…… 让本蒟蒻来写一个O(N)的吧…… 首先还是对BFS序和DFS序重编号,记标好的DFS序为d[1..n].令pos[x]为x在d[]中出现的位置,即po ...
- [bzoj3244][noi2013]树的计数 题解
UPD: 那位神牛的题解更新了,在这里. ------------------------------------------------------------------------------- ...
- BZOJ3244/UOJ122 [Noi2013]树的计数
本文版权归ljh2000和博客园共有,欢迎转载,但须保留此声明,并给出原文链接,谢谢合作. 本文作者:ljh2000 作者博客:http://www.cnblogs.com/ljh2000-jump/ ...
随机推荐
- IP-XACT IP IEEE交换格式
1 What is IP-XACT? IP-XACT is an XML format that defines and describes electronic components a ...
- IOS生成UUID
/** * 生成GUID */ + (NSString *)generateUuidString{ // create a new UUID which you own CFUUIDRef uuid ...
- c#网站对服务器的数据库的备份与还原
在网站上备份数据库 1.前台页面 <div> 需要备份的文件名:<asp:TextBox ID="bfFile" runat="server" ...
- ios UnitTest 学习笔记1
一.运行第一个单元测试: 1.在Xcode 5中新建一个工程默认自带一个单元测试的文件夹,IDE自动生成了一个实现XCTestCase的.m文件,里面有一个失败测试(早期版本中实现的是SenTestC ...
- Python 学习日志9月18日
今天早晨学习了<Head First HTML and CSS>,第10章“div and span”. 看完并且做了练习也算是对div和span扫了个盲,需要在实践练习中加强理解与掌握. ...
- Luogu P5351 Ruri Loves Maschera
先ORZ\(Owen\)一发.感觉是个很套路的题,这里给一个蒟蒻的需要特判数据的伪\(n\log^2 n\)算法,真正的两只\(\log\)的还是去看标算吧(但这个好想好写跑不满啊) 首先这种树上路径 ...
- Scrapy-架构
Scrapy架构(各组件的功能)及Scrapy引擎控制数据流的过程 1. Scrapy架构图(绿线是数据流向): □ Scrapy引擎(Engine):引擎负责控制数据流在系统的所有组件中流动,并在相 ...
- webpack devserver的说明
一般我们在项目中 如果用webpack的话,基本都会用到webpack-dev-server,配置大致如下: devServer={ contentBase: basePath, historyApi ...
- Jordan 标准型定理
将学习到什么 就算两个矩阵有相同的特征多项式,它们也有可能不相似,那么如何判断两个矩阵是相似的?答案是它们有一样的 Jordan 标准型. Jordan 标准型定理 这节目的:证明每个复矩阵都与一 ...
- end和sep的使用方法
end: 默认是换行'\n',表示以什么结尾,比如以, | \n 等 方法: 默认end = '\n' a b c 如果end = ' ' a b c sep: 默认是空格' ' 表示两个字符之间用什 ...