萌新的第一个博客:关于算法的基础知识
首先是算法的定义
算法是任何良定义的计算过程,该过程取某个值或者集合作为输入并产生某个值或值得集合作为输出
算法当然离不开数据结构:
数据结构:
数据结构是一种存储和组织数据的方式旨在方便访问和修改
但是没有一种单一的数据结构对所有用途有效
更重要的是知道各种数据结构的优势和局限。
循环不变式
循环不变式是在循环体每次执行的前后均为真的谓词。它体现了循环程序中循环变量的变化规律。
其中必须证明三条性质:
1.初始化:循环的第一次迭代前它为真。
2.保持: 如果循环的某次迭代前它为真,它仍为真。
3.终止: 在循环终止时,不变式为我们提供了一个有用的性质,该性质有助于我们证明算法是正确的。