会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Code_Rush
代码奔腾
博客园
首页
新随笔
联系
订阅
管理
2015年6月10日
从起泡排序探究算法正确性证明的一般规律
摘要: 起泡排序问题:该算法必然会结束?至少需要迭代多少趟?不变性:经k 轮扫描交换后,最大的k 个元素必然就位单调性:经k 轮扫描交换后,问题规模缩减至n-k正确性:经至多n 趟扫描后,算法必然终止,且能给出正确解答
阅读全文
posted @ 2015-06-10 17:42 Code_Rush
阅读(316)
评论(0)
推荐(0)
编辑
公告