码迷,mamicode.com
首页 > 其他好文 > 详细

[BZOJ2753][SCOI2012]滑雪与时间胶囊(特殊的有向树形图)

时间:2014-12-19 23:17:41      阅读:251      评论:0      收藏:0      [点我收藏+]

标签:

题目:http://www.lydsy.com:808/JudgeOnline/problem.php?id=2753

分析:

第一问:直接BFS扩展知道无法扩展

第二问:

看似就是最小树形图啊= =但是数据范围太大了……猪牛算法是O(mn),肯定TLE的。

于是考虑一下用最小生成树的想法

当然单纯的用Kruskal,是不可以的,问题处在哪里呢?因为如果按边权排序从小到大那么边的方向不确定,故最后形成的图中可能有边的方向反了导致不是一个树形图。

所以可以想到边的终点的点对应的高度大小肯定优先于边权

所以可以以边的终点的高度为第一关键字,边权大小为第二关键字对边排序,然后再Kruskal,那么就正确了。

-----------------------------------------------------------------------------------------------------------------------------------

严谨的证明:

首先明确,在一个高度中,两点之间有边就一定是双向边。那么在一个高度且有边的点会形成一个强连通分量。将所有能够从1遍历到的点进行缩点之后,图会变成以1所在的SCC为起点的可拓扑图(因为高度比1还高的点一定无法到达,所以没有边)。

之后从上向下考虑,每一个SCC的高度一定是一样的。而终点为这个高度的边有两种,一种是从更高处的SCC连到这个高度的SCC的单向边,和这个SCC中的双向边,在处理这一层的时候,可以吧这两种边都看成是无向边,也就可以套用正常的MST了。

(选自 http://demo.netfoucs.com/jiangyuze831/article/details/41750715)

[BZOJ2753][SCOI2012]滑雪与时间胶囊(特殊的有向树形图)

标签:

原文地址:http://www.cnblogs.com/wmrv587/p/4174796.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!