输入;n个数的一个序列A=<a1,a2,a3,a4,......an>和一个值v
输出:下标i使得v=A[i]或者当v不在A中出现时,v为特殊值NIL。
写出线性查找的伪代码它扫描整个序列来查找v。使用一个循环不变式来证明你的算法是正确的。确保你的循环不变式满足三条必要的性质。
BINART0ADD(A,B,C)
flag=0
for j<-0 to n
do
key<-A[j]+B[j]
C[j]<-keymod2
if key>1
flag<-1
if key=1
C[n+1]1
其中flag为进位标志符,key为临时存储结果。