循環不變式的特徵

循環不變式 初始化:循環的第一次迭代以前,它爲真。 保持:若是循環的某次迭代以前它爲真,那麼下次迭代以後仍爲真。 終止:在循環終止時,不變式爲咱們提供了一個有用的性質,該性質有助於證實算法是正確的。
相關文章
相關標籤/搜索