会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
_Toya
CnBlogs
Home
New Post
Contact
Admin
Subscription
循环不变式
关于循环不变式,我们必须证明三条性质:
初始化:循环的第一次迭代之前,它为真
保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍为真
终止:在循环终止时,不变式为我们提供一个有用的性质,该性质有助于证明算法是正确的
//<<算法导论>>
posted @
2018-10-12 16:42
_KikyoBK
Views(
184
) Comments(
0
)
Edit
收藏
举报
会员力量,点亮园子希望
刷新页面
返回顶部
公告