摘要: 2.2-1 theta n^3 2.2-2 维持的循环不变式是 A[1..i] 按序排列(从小到大), 不严谨地尝试证明↓ 初始化:对于单个元素 A[1],显然成立。 保持:我们假设在 i = n 时循环不变式成立,那么当 i = n + 1 时,A[i] 将会和 A[i+1] ~ A[A.leng 阅读全文
posted @ 2017-10-13 20:37 xkfx 阅读(490) 评论(0) 推荐(0)