2020.08.23日常总结——无向图的最小环问题（Floyd算法的本质）

$\text{[Problem]}$

• 给定一个 $n$ 个点 $m$ 条边的无向图，求出一个至少有 $3$ 个点的环，使得环上的边的边权的总和最小。无解就输出 No solution.（注意，. 是必须的）。
• $1\le n\le 100,1\le m\le 5\times 10^3$。
• 记 $d$ 为边权的最大值，则有 $1\le d\le 1\times 10^5$。

$\text{[Solution]}$

$\text{[Part one]}$ Floyd 的本质是什么？

对于很多人（包括一年前的笔者）而言，Floyd 算法就是：

for(int k=1;k<=n;k++)
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			f[i][j]=min(f[i][j],f[i][k]+f[k][j]);

这样一个 $O($