题目链接:Luogu P6175 无向图的最小环问题
题目描述:
给定一张带权无向图,求出经过至少三个不同的点的最小环,环的大小由经过的边权和决定。
题解:
我们首先回到
Floyd
算法,在Floyd
算法中,我们定义的状态实际是dp[k][i][j]
表示i
到j
除起点与终点外不经过编号大于k
的结点的最短路。
初始状态dp[0][i][j]
表示i
和j
之间是否存在边,如果不存在边则为无穷大,如果存在边则为边权,如果i
与j
相等则为0
。
不难写出转移方程dp[k+1][i][j] = min(dp[k][i][j], dp[k][i][k]+dp[k][k][j])
,上面的方程中第一维可以省略,也就变成了dp[i][j] = min(dp[i][j], dp[i][k] + dp[k][j])
,这也就得到了Floyd
算法的常见形式。
对于一个最小环我们如果设其经过的编号最大的结点为k
,则不难发现至少存在两个结点i
和j
与k
相连,且最小环i
和j
之间还存在一条不经过k
的路径。因此我们可以在Floyd
算法第k
轮更新dp
数组之前,计算出最大编号为k
的最小坏:min(dp[i][j] + edgeWeight[i][k] + edgeWeight[k][j])
。
代码:LuoguP6175