线性查找问题

输入;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为临时存储结果。