算法:解决问题的一种方法或一个过程。是一个由若干运算或指令组成的有穷序列。
求解问题的算法可以看作是输入示例和输出之间的函数。
算法特点:输入输出,确定性,可行性,有穷行。
算法常见的描述方式:伪代码,流程图,自然语言等。
利用循环不变量证明算法的正确性:
寻找到循环不变量,即某个特性L(j),然后证明循环不变量为真L(j=1.....n),然后利用类似数学归纳法的证明方法。
1.初始步:在循环的迭代开始前,L(1)为真。
2.归纳步:如何在循环的第j个迭代前,L(j-1)为真,则在循环的第L(j+1)前,L(j)为真。
3.终止步:当循环终止时,L(n)为真。