会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
cnblogs-ycc
新文章
管理
算法导论
循环不变式
初始化:循环的第一次迭代之前,它为真
保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍为真
终止:再循环终止时,不变式为我们提供一个有用性质,该性质有助于证明算法是正确的
伪代码中的约定
缩进表示块结构
to downto by
如果没有特殊说明,变量都表示局部变量
对象的属性记号使用串联,如x.y.f
posted on
2018-05-09 07:31
cnblogs-ycc
阅读(
147
) 评论(
0
)
编辑
收藏
举报
会员力量,点亮园子希望
刷新页面
返回顶部