题目链接: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