fetburner.core

コアダンプ

2020-05-28から1日間の記事一覧

Coqでフロイドの循環検出法を検証する

Coq

今となっては少々昔のことですが,AtCoder Beginner Contest 167のD問題で数列の循環検出が必要になった事がありました(問題の制約的にはダブリングでも解けますが). 数列の循環検出はナイーブにに実装すると,循環している部分に至るまでの長さを,循環…