会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
As-Snow
新随笔
联系
订阅
管理
2024年10月22日
0-1 bfs 的正确性证明
摘要: 发现以前没想明白,今天证一下。 只要证明队列里的 dis 是单调不降的就好了。 证明队列里的 dis 是形如 \(\{d,d,\dots,d,d+1,\dots,d+1\}\): 初始为 \(\{0\}\)。 队头为 \(u\)。边权 \(w=0\) 时,\(dis_v=d\),放在队头符合;边权
阅读全文
posted @ 2024-10-22 21:38 ASnown
阅读(0)
评论(0)
推荐(0)
编辑
公告