zoukankan      html  css  js  c++  java
  • [BZOJ2753][SCOI2012]滑雪与时间胶囊(特殊的有向树形图)

    题目: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)

  • 相关阅读:
    Centos7安装Python3的方法
    word2vec原理(二) 基于Hierarchical Softmax的模型
    word2vec原理(一) CBOW与Skip-Gram模型基础
    爬虫的危害有多大
    python线程池实现
    进程和线程、协程的区别
    程序的编译与解释之间的区别
    【python3】如何建立爬虫代理ip池
    可能是史上最全的机器学习和Python(包括数学)速查表
    python 元类
  • 原文地址:https://www.cnblogs.com/wmrv587/p/4174796.html
Copyright © 2011-2022 走看看