摘要: 6.5-1 略 6.5-2 略 6.5-3 #005# 优先队列 6.5-4 为了正确复用Heap-increase-key中的代码 6.5-5 初始化:显然满足 保持:如果在迭代之前循环不变式为真,那么要么不再进行迭代(A[parent(i)]>A[i]),此时已经保持了循环不变式,要么进行一次交 阅读全文
posted @ 2018-10-15 09:48 xkfx 阅读(652) 评论(0) 推荐(1) 编辑