算法導論學習筆記1_循環不變式

循環不變式 1. 循環不變式和數學概括法 2. 循環不變式的三條性質 3. 利用循環不變式分析插入排序 4. 練習題 2.1.3 1. 循環不變式和數學概括法 在數學中，數學概括法經常使用於證實給定命題在天然數範圍內的正確性，它是一種嚴謹的演繹推理法。而在計算機科學中，循環不變式一樣做爲一種演繹推理法用於理解和證實算法的正確性。從下文的介紹中能夠看出，循環不變式和數學概括法有着許多的類似之處。ht

>>阅读原文<<