目前用的是一个 Floyd 求解。作为一个 OI 出身的人，我感觉这当中可以改进……尤其是考虑到图论算法的复杂性和 Haskell 语言中对 mutation 的支持，我觉得可以怀疑 MiniAgda 和 Agda 在选用算法上采取了一些妥协