Idiot-maker

  :: 首页 :: 博问 :: 闪存 :: 新随笔 :: 联系 :: 订阅 订阅 :: 管理 ::

2008年11月25日

循环不变式
摘要： 在循环内及循环结束的时候都成立的表达式 一般而言,用这个式子表示希望得到的结果,如果在循环的每一步,这个式子都是正确的,那么循环结束后,这个式子也正确,并得到了期望的结果. lenovo所引用的文章里的例子是这样的: QUOTE: apvector list(n); // n is some positive integer int k, indexMax; index... 阅读全文
posted @ 2008-11-25 11:03 NickyYe 阅读(252) 评论(0) 推荐(0) 编辑