【线段树 扫描线 二维数点】loj#6276. 果树
路径计数转成二维数点很妙啊
题目描述
NiroBC 姐姐是个活泼的少女,她十分喜欢爬树,而她家门口正好有一棵果树,正好满足了她爬树的需求。
这颗果树有 $N$ 个节点,标号 $1 \ldots N$ 。每个节点长着一个果子,第 $i$ 个节点上的果子颜色为 $C_i$ 。
NiroBC 姐姐每天都要爬树,每天都要选择一条有趣的路径 $(u, v)$ 来爬。
一条路径被称作有趣的,当且仅当这条路径上的果子的颜色互不相同。
$(u, v)$ 和 $(v, u)$ 被视作同一条路径。特殊地, $(i, i)$ 也被视作一条路径,这条路径只含 $i$ 一个节点,显然是有趣的。
NiroBC 姐姐想知道这颗树上有多少条有趣的路径。
输入格式
第一行,一个整数 $N$ ,表示果树的节点数目。
接下来一行 $N$ 个整数 $C_{1 \ldots N}$ ,表示 $N$ 个果子各自的颜色。
再接下来 $N-1$ 行,每行两个整数 $u_i, v_i$ ,表示 $u_i$ 和 $v_i$ 之间有一条边。
数据保证这 $N-1$ 条边构成一棵树。
输出格式
一个整数,有趣的路径的数量。
样例
样例输入 1
3
1 2 3
1 2
1 3
样例输出 1
6
样例输入 2
5
1 1 2 3 3
1 2
1 3
2 4
2 5
样例输出 2
8
样例解释 1
有 $(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)$ 共 $6$ 条路径。
样例解释 2
有 $(1,1)(1,3)(2,2)(2,4)(2,5)(3,3)(4,4)(5,5)$ 共 $8$ 条路径。
数据范围与提示
对于所有数据, $1 \le N \le 10^5$ ,$1 \le C_i \le N$ ,每种颜色在树上出现不超过 $20$ 次。
本题采用打包测试。
各个 Subtask 的特殊限制如下,不填代表该项无特殊限制。
Subtask 编号 | $N$ | 其他限制 | 该 Subtask 分值 |
---|---|---|---|
0 | $\le 100$ | 12 | |
1 | $\le 3000$ | 25 | |
2 | 整棵树形成一条依次为 $1, 2, 3, \ldots , N$ 的链 | 30 | |
3 | 33 |
题目分析
二维数点
注意到每种颜色的出现次数非常小,于是考虑枚举同种颜色。
对于颜色相同的一对点,它们会把树分成三个部分,而两端部分不能够相互连边。这个部分用dfs序把图再构一遍,就方便处理了。至于两种分别是成链不成链的情况,稍微细心点细节就没问题。
点对$(x,y)$可以表示为二维点$(x,y)$,也就是说每一次将非法位置转为二维矩形覆盖,那么最后就是枚举每一个点,对非法矩形差分扫描线处理。
码力还是不够,标记${\rm //HERE}$都是打挂的地方。
#include<bits/stdc++.h>
const int maxn = ;
const int maxm = ;
const int maxLog = ; struct dfn
{
int l,r;
}a[maxn];
struct node
{
int mn,tot,tag;
}f[maxn<<];
struct line
{
int l,r,opt;
line (int a=, int b=, int c=):l(a),r(b),opt(c) {}
};
long long ans;
int n,c[maxn],fa[maxn][maxLog],dep[maxn],chTot;
int edgeTot,head[maxn],nxt[maxm],edges[maxm];
std::vector<int> col[maxn];
std::vector<line> mdf[maxn]; int read()
{
char ch = getchar();
int num = , fl = ;
for (; !isdigit(ch); ch=getchar())
if (ch=='-') fl = -;
for (; isdigit(ch); ch=getchar())
num = (num<<)+(num<<)+ch-;
return num*fl;
}
void addedge(int u, int v)
{
edges[++edgeTot] = v, nxt[edgeTot] = head[u], head[u] = edgeTot;
edges[++edgeTot] = u, nxt[edgeTot] = head[v], head[v] = edgeTot;
}
inline int kfa(int x, int d)
{
if (d==-) return x;
for (int i=; i>=; i--)
if (d>>i&) x = fa[x][i];
return x;
}
void addLine(int l1, int r1, int l2, int r2)
{
if (l1 > r1||l2 > r2) return;
mdf[l1].push_back(line(l2, r2, ));
mdf[r1+].push_back(line(l2, r2, -));
mdf[l2].push_back(line(l1, r1, ));
mdf[r2+].push_back(line(l1, r1, -));
}
inline void split(int x, int y)
{
if (dep[x] > dep[y]) std::swap(x, y);
int anc = kfa(y, dep[y]-dep[x]-); //HERE
if (fa[anc][]!=x||(dep[x]==dep[y]&&x!=y)) addLine(a[x].l, a[x].r, a[y].l, a[y].r);
else{
addLine(, a[anc].l-, a[y].l, a[y].r);
addLine(a[anc].r+, n, a[y].l, a[y].r); //HERE 这里打挂只剩链30pts
}
}
void smcolConnect()
{
register int i,j,k;
for (i=; i<=n; i++)
for (j=; j<col[i].size(); j++)
for (k=j+; k<col[i].size(); k++)
split(col[i][j], col[i][k]); //HERE
}
void dfs(int x, int fat)
{
dep[x] = dep[fat]+, fa[x][] = fat;
a[x].l = ++chTot;
for (int i=head[x]; i!=-; i=nxt[i])
if (edges[i]!=fat) dfs(edges[i], x);
a[x].r = chTot;
}
void build(int rt, int l, int r)
{
f[rt].tot = r-l+;
if (l==r) return;
int mid = (l+r)>>;
build(rt<<, l, mid);
build(rt<<|, mid+, r);
}
void init()
{
for (int j=; j<=; j++)
for (int i=; i<=n; i++)
fa[i][j] = fa[fa[i][j-]][j-];
build(, , n);
}
void pushdown(int rt)
{
int l = rt<<, r = rt<<|, &t = f[rt].tag;
if (t){
f[l].tag += t, f[r].tag += t;
f[l].mn += t, f[r].mn += t, t = ; //HERE
}
}
void pushup(int rt)
{
f[rt].mn = std::min(f[rt<<].mn, f[rt<<|].mn);
f[rt].tot = (f[rt].mn==f[rt<<].mn?f[rt<<].tot:)+(f[rt].mn==f[rt<<|].mn?f[rt<<|].tot:);
}
void modify(int rt, int L, int R, int l, int r, int c)
{
if (L <= l&&r <= R){
f[rt].mn += c, f[rt].tag += c;
return;
}
int mid = (l+r)>>;
pushdown(rt); //HERE
if (L <= mid) modify(rt<<, L, R, l, mid, c);
if (R > mid) modify(rt<<|, L, R, mid+, r, c);
pushup(rt);
}
int main()
{
memset(head, -, sizeof head);
n = read();
for (int i=; i<=n; i++) c[i] = read(), col[c[i]].push_back(i);
for (int i=; i<n; i++) addedge(read(), read());
dfs(, ), init();
smcolConnect();
for (int i=; i<=n; i++)
{
for (unsigned int p=; p<mdf[i].size(); p++)
modify(, mdf[i][p].l, mdf[i][p].r, , n, mdf[i][p].opt);
if (f[].mn==) ans += f[].tot;
}
printf("%lld\n",(ans+n)>>);
return ;
}
DSU做法
还看到一种神奇的dsu+可持久化线段树做法:LibreOJ #6276.果树 dsu on tree+可持久化线段树
END
【线段树 扫描线 二维数点】loj#6276. 果树的更多相关文章
- hdu 2795 线段树(二维问题一维化)
Billboard Time Limit: 20000/8000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total ...
- 6.6 省选模拟赛 线段 二维数点问题 树套树 CDQ分治
LINK:线段 还是太菜了 没看出这道题真正的模型 我真是一个典型的没脑子选手. 考虑如何查询答案. 每次在一个线段x的状态被更改后 可以发现有影响的是 和x相连那段极长连续1子段. 设这个子段左端点 ...
- loj #535. 「LibreOJ Round #6」花火 树状数组求逆序对+主席树二维数点+整体二分
$ \color{#0066ff}{ 题目描述 }$ 「Hanabi, hanabi--」 一听说祭典上没有烟火,Karen 一脸沮丧. 「有的哦-- 虽然比不上大型烟花就是了.」 还好 Shinob ...
- 洛谷 P4088 [USACO18FEB] Slingshot P(线段树+二维数点)
题目链接 题意:有一个数轴,上面有 \(n\) 个传送门,使用第 \(i\) 个传送门,你可以从 \(x_i\) 走到 \(y_i\),花费的时间为 \(t_i\) 秒.你的速度为 \(1\) 格/秒 ...
- 【BZOJ4785】[Zjoi2017]树状数组 树套树(二维线段树)
[BZOJ4785][Zjoi2017]树状数组 Description 漆黑的晚上,九条可怜躺在床上辗转反侧.难以入眠的她想起了若干年前她的一次悲惨的OI 比赛经历.那是一道基础的树状数组题.给出一 ...
- BZOJ4822[Cqoi2017]老C的任务——树状数组(二维数点)
题目描述 老 C 是个程序员. 最近老 C 从老板那里接到了一个任务——给城市中的手机基站写个管理系统.作为经验丰富的程序员,老 C 轻松 地完成了系统的大部分功能,并把其中一个功能交给你来实 ...
- BZOJ1935: [Shoi2007]Tree 园丁的烦恼(树状数组 二维数点)
题意 题目链接 Sol 二维数点板子题 首先把询问拆成四个矩形 然后离散化+树状数组统计就可以了 // luogu-judger-enable-o2 #include<bits/stdc++.h ...
- 【bzoj5173】[Jsoi2014]矩形并 扫描线+二维树状数组区间修改区间查询
题目描述 JYY有N个平面坐标系中的矩形.每一个矩形的底边都平行于X轴,侧边平行于Y轴.第i个矩形的左下角坐标为(Xi,Yi),底边长为Ai,侧边长为Bi.现在JYY打算从这N个矩形中,随机选出两个不 ...
- 线段树扫描线(一、Atlantis HDU - 1542(覆盖面积) 二、覆盖的面积 HDU - 1255(重叠两次的面积))
扫描线求周长: hdu1828 Picture(线段树+扫描线+矩形周长) 参考链接:https://blog.csdn.net/konghhhhh/java/article/details/7823 ...
随机推荐
- 聊聊 Laravel 5.5 的 「自动发现」
ThinkSNS是什么? ThinkSNS(简称TS),一款全平台综合性社交系统,目前最新版本为ThinkSNS+.ThinkSNS V4 ThinkSNS[简]. 看了Taylor Otwell发表 ...
- for循环,递归,函数封装作业
/******求100以内,所有的奇数和,求100以内,所有的偶数积*******/ // for循环方法 var sum=0; var sum1=1; for(var i=1;i<=100 ...
- 洛谷 P3381 【模板】最小费用最大流
题目描述 如题,给出一个网络图,以及其源点和汇点,每条边已知其最大流量和单位流量费用,求出其网络最大流和在最大流情况下的最小费用. 输入输出格式 输入格式: 第一行包含四个正整数\(N.M.S.T\) ...
- ==和equals方法
Java程序中测试两个变量时否相等有两种方法: == 和 equals. ==判断 当使用==来判断两个变量是否相等时,如果两个变量是基本类型变量,且都是数字类型(不一定要求数据类型严格相同),则只要 ...
- render函数和redirect函数的区别+反向解析
render函数和redirect函数的区别+反向解析 1.视图函数:一定是要包含两个对象的(render源码里面有HttpResponse对象) request对象:----->所有的请求 ...
- Codeforces 1175F(哈希后暴力)
要点 官解使用的哈希,给每个数一个二维键值,这样每个排列就有唯一的键值,再预求一下所给数列的前缀键值,暴力寻找有多少个答案即可. #include <cstdio> #include &l ...
- ASP .NET Core 2.1 HTTP Error 502.5 – Process Failure
ASP .NET Core HTTP Error 502.5 – Process Failure https://www.cnblogs.com/loui/p/7826073.html 页面返回错误 ...
- Ubuntu上k8s集群里创建证书
证书: k8s里创建证书(使用证书文件命令创建): kubectl create secret tls scdsc-org-cn --cert=/etc/letsencrypt/live/scdsc. ...
- D. Edges in MST 图论
http://codeforces.com/contest/160/problem/D base on 克鲁斯卡尔, 首先每次都是对权值相同的边进行统一处理,假如加入了当前这条边出现了回路,那就能确定 ...
- cachecloud:Redis云管理平台
https://github.com/sohutv/cachecloud 一.CacheCloud是做什么的 CacheCloud提供一个Redis云管理平台:实现多种类型(Redis Standal ...