会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
As-Snow
新随笔
联系
订阅
管理
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\)
,放在队尾符合。
posted @
2024-10-22 21:38
ASnown
阅读(
0
) 评论(
0
)
编辑
收藏
举报
刷新页面
返回顶部
公告