园龄：2年6个月粉丝：13 关注：15

随笔分类 - 学习笔记

0-1 bfs 的正确性证明

摘要：发现以前没想明白，今天证一下。只要证明队列里的 dis 是单调不降的就好了。证明队列里的 dis 是形如

{d, d, \dots, d, d + 1, \dots, d + 1}

$\{d,d,\dots,d,d+1,\dots,d+1\}$ ：初始为

{0}

$\{0\}$ 。队头为

u

$u$ 。边权

w = 0

$w=0$ 时，

d i s_{v} = d

$dis_v=d$ ，放在队头符合；边权

12

0

0

洛谷