IDDFS(反復深化深さ優先探索)のオーバーヘッドが十分小さくなる証明的ななにか

ちゃんと説明してるところが見つからなかったので公開します． 大学の課題レポートそのままなので適当ですし(は?)いくつかの用語を説明なしに使ってしまっていますが，気が向いたらもっと真面目に書きます．

間違ってるところあったらご指摘お願いします． drive.google.com