2021年12月22日
A*算法正确性的证明
摘要： 我们首先讨论在具体实际情况下正确性的讨论 example 第k短路 题意 求有向正边权简单图$G$中点$s$到点$t$的 非严格第k短路 。 做法 首先考虑朴素的dij 的原理。 由于dij每次取出的是目前的$dis$最小的点，它不会被别的点更新，所以着一定就是起点到$u$的最短路。 考虑魔改$di 阅读全文
posted @ 2021-12-22 10:56 寂静的海底 阅读(7) 评论(0) 推荐(0) 编辑