图论 - 圆方树
仙人掌图
圆方树是来解决仙人掌图的问题的,其中任意一条边至多只出现在一条简单回路的无向连通图称为仙人掌。
对于一个环,一定在一个边双中,但是一个边双并不一定只包含一个环,所以我们不能简单的只求出来边双算完。可以把下面的图输入 Graph Editor 观察,这整个图是边双,但是包含两个环,所以我们在 Tarjan 求的时候需要做一些处理。
1 | 1 |
具体地说,把每个环中首次遍历到的点作为圆点,建立一个虚拟的方点,将方点和环上的其它点连边,边长为首次遇到的点与其的最短距离。然后求一对顶点 的最短路时,设 为 到树根的路径长度,分情况讨论:
- 如果 为圆点,那么它们的路径一定交汇于原图上的某个点,最短路是
- 如果 为方点,那么它们的路径一定交汇于原图上的某个环,那么最短路是 ,其中 为找 时在 下面的两个点。
模板
给你一个有 个点和 条边的仙人掌图,和 组询问,每次询问两个点 求两点之间的最短路。
数据范围:
题目链接:P5236,AcWing 2863。
圆方树一个点最多会对应一个方点,所以点要开 ,也就是两万。
因为圆方树也是树,所以边在 的级别,圆方树是单向从上向下指的,原图是双向的并且和圆方树边数一样,所以边数是 。
1 |
|
环路运输
在求直径之前,先用这道题看如何使用单调队列优化环形问题。
在一条环形公路旁均匀地分布着 座仓库,编号为 ,编号为 的仓库与编号为 的仓库之间的距离定义为 ,也就是逆时针或顺时针从 到 中较近的一种。
每座仓库都存有货物,其中编号为 的仓库库存量为 。
在 和 两座仓库之间运送货物需要的代价为 。
求在哪两座仓库之间运送货物需要的代价最大。
题目链接:AcWing 291。
我们使用破换成链的技巧,然后观察得到对于 且处在同一半环上时花费应该是:
只需要使用单调队列维护 的最大值即可。
1 |
|
[SHOI2008] 仙人掌 II
定义在图上两点之间的距离为这两点之间最短路径的距离。
定义一个图的直径为这张图相距最远的两个点的距离。
现在我们假定仙人图的每条边的权值都是 1,你的任务是求出给定的仙人图的直径。
输入的建图是 条路径,每个路径的两个相邻点之间有边。
题目链接:P4129,AcWing 2752。
首先肯定是把仙人掌图转成圆方树,然后在树上求解,类似于求树的直径。
-
如果当前点是圆点,正常求解即可。
-
如果当前点是方点,需要找到两个子结点 使得 的最小值最大。由于边权为 1,所以 ,其中 指的是沿着固定方向给环上结点做的编号。
我们规定只枚举环的半边,这样 ,然后发现我们要求是 ,因此可以用单调队列优化。和上面说的一样。
1 |
|
[SHOI2006] 仙人掌
支撑子图(spanning subgraph):支撑子图也是原图的子图,这种子图可以比原来少一些边,但是不能破坏图的连通性,也不能去除原来图上的任何顶点。“支撑”的概念类似于我们熟知的“最小支撑树”。
给定一个仙人掌图,求支撑子图的数量,注意答案是一个很大很大的数(需要高精度)。
输入同上题,如果给定的图不是仙人掌图,输出 ,否则输出支撑子图的数量。
数据范围:
题目链接:P4244。
本题涉及到如何判断一个图是否为仙人掌,这里看仙人掌的定义。
- 是无向连通图。
- 每条边至多出现在一个环中。
根据这两条性质,我们可以在 Tarjan 算法之后判断是否有的点没有被访问到,然后在构造环的时候判断每条边是否已经属于别的环,就可以判断出该图是否为仙人掌。
对于题目要求的那个数字,设 为环上边的数量,因为每条边都可以选或者一条边也不选,所以答案是:
1 |
|