洛谷P4630 铁人两项--圆方树
一道很好的圆方树入门题
感谢PinkRabbit巨佬的博客,讲的太好啦
首先是构建圆方树的代码,也比较好想好记
void tarjan(int u) {
dfn[u] = low[u] = ++dfn_clk; //初始化dfn和low数组
stk[++tp] = u; //把u加入栈中
for(int i = head[u]; i; i = e[i].next) {
int v = e[i].to;
if(!dfn[v]) { //v还未访问
tarjan(v); //先访问
low[u] = min(low[u], low[v]); //然后更新u的信息
if(low[v] == dfn[u]) { //找到一个以u为顶点的点双
++tot; //新建一个方点
for(int x = 0; x != v; --tp) { //把栈中在v及其之前的点都向方点连边并弹出
x = stk[tp];
G[tot].push_back(x);
G[x].push_back(tot);
}
G[tot].push_back(u); //注意不能把u弹出
G[u].push_back(tot); //因为u可能在多个点双中
}
}
else low[u] = min(low[u], dfn[v]);
}
}
注释写的还算详细\(QWQ\)
考虑这一题怎么做
题目大意
给你一张无向图,让你求这样的有序三元组\(<s,c,f>\)的个数,使得存在一条简单路径依次经过\(s,c,f\)
Solution
首先我们把圆方树建出来
考虑如下性质,对于在同一个点双中的两点\(s,t\),还有一个给定的也在这个点双中的点\(c\),一定存在一条简单路径依次经过\(s,c,t\),貌似挺显然的
在这题中,假设钦定了路径的两个端点\(s,t\),由上面的性质,那么能作为中间点的点集就是在圆方树上\(s\)到\(t\)的路径所经过的方点所代表的点双的并集(不包括\(s,t\))。这句话是本题的突破点,虽然有点拗口
然后是一个很套路的处理,把方点的点权设为点双的大小,圆点的点权设为\(-1\),这样的话上面要求的值就转化为\(s\)到\(t\)路径上的点权之和了
直接枚举\(s\)和\(t\)显然不行,考虑枚举每个点对答案的贡献,即
\]
然后用树形\(dp\)就可以\(O(n)\)的统计答案了
另外,注意图不一定联通,所以需要单独统计每个联通块中的答案
#include <bits/stdc++.h>
using namespace std;
#define N 500000
#define M 200000
int n, m, tot;
int head[N+5], eid;
int dfn[N+5], low[N+5], dfn_clk;
int stk[N+5], tp, val[N+M+5], vis[N+M+5], cnt[N+M+5], sz[N+M+5], S;
long long ans;
vector<int> G[N+5];
struct Edge {
int next, to;
}e[2*M+5];
void addEdge(int u, int v) {
e[++eid].next = head[u];
e[eid].to = v;
head[u] = eid;
}
void tarjan(int u) {
dfn[u] = low[u] = ++dfn_clk; //初始化dfn和low数组
stk[++tp] = u; //把u加入栈中
for(int i = head[u]; i; i = e[i].next) {
int v = e[i].to;
if(!dfn[v]) { //v还未访问
tarjan(v); //先访问
low[u] = min(low[u], low[v]); //然后更新u的信息
if(low[v] == dfn[u]) { //找到一个以u为顶点的点双
++tot; //新建一个方点
for(int x = 0; x != v; --tp) { //把栈中在u之前的点都向方点连边并弹出
x = stk[tp];
G[tot].push_back(x);
G[x].push_back(tot);
}
G[tot].push_back(u); //注意不能把u弹出
G[u].push_back(tot); //因为u可能在多个点双中
}
}
else low[u] = min(low[u], dfn[v]);
}
}
void getcnt(int u, int fa) {
if(u <= n) cnt[u] = 1;
for(int i = 0; i < G[u].size(); ++i) {
int v = G[u][i];
if(v == fa) continue;
getcnt(v, u);
cnt[u] += cnt[v];
}
}
void dp(int u, int fa) {
vis[u] = 1;
if(u <= n) sz[u] = 1;
long long sum = 1LL*cnt[u]*(S-cnt[u]);
for(int i = 0; i < G[u].size(); ++i) {
int v = G[u][i];
if(v == fa) continue;
dp(v, u);
sum += 1LL*sz[u]*sz[v];
sz[u] += sz[v];
}
ans += 1LL*val[u]*sum;
}
int main() {
scanf("%d%d", &n, &m);
tot = n;
for(int i = 1, x, y; i <= m; ++i) {
scanf("%d%d", &x, &y);
addEdge(x, y), addEdge(y, x);
}
for(int i = 1; i <= n; ++i)
if(!dfn[i]) tarjan(i);
for(int i = 1; i <= n; ++i) val[i] = -1;
for(int i = n+1; i <= tot; ++i) val[i] = G[i].size();
for(int i = 1; i <= tot; ++i)
if(!vis[i]) {
getcnt(i, 0);
S = cnt[i];
dp(i, 0);
}
printf("%lld\n", ans*2);
return 0;
}
洛谷P4630 铁人两项--圆方树的更多相关文章
- [APIO2018] Duathlon 铁人两项 圆方树,DP
[APIO2018] Duathlon 铁人两项 LG传送门 圆方树+简单DP. 不会圆方树的话可以看看我的另一篇文章. 考虑暴力怎么写,枚举两个点,答案加上两个点之间的点的个数. 看到题面中的一句话 ...
- [APIO2018]铁人两项 --- 圆方树
[APIO2018] 铁人两项 题目大意: 给定一张图,问有多少三元组(a,b,c)(a,b,c 互不相等)满足存在一条点不重复的以a为起点,经过b,终点为c的路径 如果你不会圆方树 ------- ...
- [APIO2018]铁人两项 [圆方树模板]
把这个图缩成圆方树,把方点的权值设成-1,圆点的权值设成点双的size,算 经过这个点的路径的数量*这个点的点权 的和即是答案. #include <iostream> #include ...
- [APIO2018]铁人两项——圆方树+树形DP
题目链接: [APIO2018]铁人两项 对于点双连通分量有一个性质:在同一个点双里的三个点$a,b,c$,一定存在一条从$a$到$c$的路径经过$b$且经过的点只被经过一次. 那么我们建出原图的圆方 ...
- 【Luogu4630】【APIO2018】 Duathlon 铁人两项 (圆方树)
Description 给你一张\(~n~\)个点\(~m~\)条边的无向图,求有多少个三元组\(~(x, ~y, ~z)~\)满足存在一条从\(~x~\)到\(~z~\)并且经过\(~y~\)的 ...
- LOJ 2587 「APIO2018」铁人两项——圆方树
题目:https://loj.ac/problem/2587 先写了 47 分暴力. 对于 n<=50 的部分, n3 枚举三个点,把图的圆方树建出来,合法条件是 c 是 s -> f 路 ...
- loj2587 「APIO2018」铁人两项[圆方树+树形DP]
主要卡在一个结论上..关于点双有一个常用结论,也经常作为在圆方树/简单路径上的良好性质,对于任意点双内互不相同的三点$s,c,t$,都存在简单路径$s\to c\to t$,证明不会.可以参见clz博 ...
- [BZOJ5463][APIO2018]铁人两项(圆方树DP)
题意:给出一张图,求满足存在一条从u到v的长度大于3的简单路径的有序点对(u,v)个数. 做了上一题[HDU5739]Fantasia(点双连通分量+DP),这个题就是一个NOIP题了. 一开始考虑了 ...
- 洛谷4630APIO2018铁人两项(圆方树+dp)
QWQ神仙题啊(据说是今年第一次出现圆方树的地方) 首先根据题目,我们就是求对于每一个路径\((s,t)\)他的贡献就是两个点之间的点数,但是图上问题我并没有办法很好的解决... 这时候考虑圆方树,我 ...
随机推荐
- JS 的继承
1:原生链:prototype 儿子能够继承父亲的属性,也可以觉得遗传基因不好自己改属性,(但是不能改变老爸的属性). 看例子: function farther(){ ...
- 第二章 Linux目录学习
Linux 目录结构相对windows来说更简单,Linux 目录 以 斜杠 / 为根目录,其整体结构是以/为根的树状结构. 使用 tree -L 1 查看1级目录结构 /bin 常用的二进制命令目录 ...
- java:数据结构(二)栈的应用(括号匹配)
一.什么是括号匹配: 括号匹配就是利用计算机辨别表达式里面的括号是否书写成功 例如: {()((a)) }这就是一个正确 (()() 这就是一个错误的 二.括号匹配的算法: 众所周知,括号分为花括 ...
- 章节十、5-CSS---用CSS 通配符定位元素
以下演示操作以该网址中的输入框为例:https://learn.letskodeit.com/p/practice 一.css样式中有三种通配符“^.$.*” 语法:tag[attribute< ...
- WebSocket-java实践
websocket 主要用于 前端页面hmtl/jsp 与 后端进行socket得连接. 本例简单实现:一但后端接收到数据或者根据某些规则主动发送数据,那么可以根据不同用户等区别,发送给某个登陆得 ...
- zoomeye搜索+用selenium实现对佳能打印机的爬虫
本文仅用于学习参考.要遵纪守法哦! 目的:找出一台佳能打印机,得到它的日志文件,并利用其远程打印. 1.先用zoomeye找一个打印机出来,搜索语句:printer +country:"CN ...
- [20190419]shared latch spin count 2.txt
[20190419]shared latch spin count 2.txt --//上午测试shared latch XX模式的情况,链接:http://blog.itpub.net/267265 ...
- Windows Server 2008远程桌面默认端口更改方法
win2008远程桌面端口默认是用的是3389端口,但是由于安全考虑,经常我们安装好系统后一般都会考虑把原来的3389端口更改为另外的端口. 本文以改为端口为25608商品为例,讲解一下具体操作过程. ...
- docker-compose的安装和卸载
使用docker-compose 可以轻松.高效的管理容器,它是一个用于定义和运行多容器 docker 的应用程序工具. 原文地址:代码汇个人博客 http://www.codehui.net/inf ...
- Cordova入门系列(三)Cordova插件调用 转发 https://www.cnblogs.com/lishuxue/p/6018416.html
Cordova入门系列(三)Cordova插件调用 版权声明:本文为博主原创文章,转载请注明出处 上一章我们介绍了cordova android项目是如何运行的,这一章我们介绍cordova的核心 ...