0-1 bfs 的正确性证明

发现以前没想明白，今天证一下。

只要证明队列里的 dis 是单调不降的就好了。

证明队列里的 dis 是形如 $\{d,d,\dots,d,d+1,\dots,d+1\}$：

• 初始为 $\{0\}$。
• 队头为 $u$。边权 $w=0$ 时，$dis_v=d$，放在队头符合；边权 $w=1$ 时，$dis_v=d+1$，放在队尾符合。