Luogu P6175 无向图的最小环问题 题解 Floyd

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