なぜBFSは最短路を見つけるのか ― 波紋のアナロジー