最小环定义
最小环是指在一个图中,有n个节点构成的边权和最小的环(n>=3)。
一般来说,最小环分为有向图最小环和无向图最小环。
最小环算法:
直接暴力:
设\(u\)和\(v\)之间有一条边长为\(w\)的边,\(dis(u,v)\)表示删除\(u\)和\(v\)之间的连边之后,\(u\)和\(v\)之间的最短路。那么最小环是\(dis(u,v)+w\)总时间复杂度\(O(n^2m)\)。
Dijkstra
任意一个环,假设连接\(u\)和\(v\),我们都可以看做删除\(u\)与\(v\)的直接连边之后的\(u\)到\(v\)的最短路再加上该边,若边数为\(m\),那么找出最小环要跑\(m\)次Dijkstra,复杂度为\(O(n(n+m)log)\)
Floyd
记原图\(u\),\(v\)之间边权为\(mp(u,v)\),floyd算法在外层循环到第k个点时(还没开始第k次循环),最短路数组\(g\)中,\(g(u,v)\)表示的是从\(u\)到\(v\)且仅经过编号\([1,k)\)区间中的点的最短路。
最小环至少有三个顶点,设其中编号最大的顶点编号为\(w\),环上与\(w\)相邻两侧的两个点为\(u\),\(v\),则在最外层循环枚举到\(k=w\)时,该环的长度为\(g(u,v)+mp(v,w)+mp(w,u)\),所以