数学の問題かはちょっと微妙ですがベルマンフォード法で
ループを節点数引く1回繰り返すと、負閉路が存在しないなら最短路長の更新が止まることの証明って誰か分かりますか？
一応グラフ理論の問題なので、数学の問題かなとは思いますが