『毒瘤算法系列3』负环(倍增Floyed)

$\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{b}\mathrm{l}\mathrm{e}\mathrm{m}$

给定一张边带权的无向图$G$，请你找出一个点数最少的环，使得环上的边权和为负数。保证图中不存在重边和自环。

$\mathrm{S}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$

这道题其实最容易想到的时二分，我们去限制边的长度，判断是否存在小于等于这个边权的负环。但是这么考虑我们实现最后的判断，我们可以使用倍增来限制边权的长度。

对于每一次的倍增，我们假设需要判定是否存在边权小于等于$2^i$的环，那么我们类比树上倍增的算法，可以大致得到以下算法：

• 若当前存在边权小于等于$2^i$的环，我们就强制不要这个环，继续往下放缩。
• 若当前不存在这样的环，我们就尝试走$2^i$步，并更新答案。
• 最后答案为走的步数$+1$.

现在我们考虑如何实现这样的倍增算法：

• 设$dis(t,i,j)$表示用$2^i$步从$i$