算法导论 习题2.1-4

有两个各存放在数组A和B中的n位二进制整数，考虑它们的相加问题。两个整数的和以二进制形式存放在具有(n+1)个元素的数组C中。请给出这个问题的形式化描述，并写出伪代码。

以下是我写的C++代码，如有错误请指出

#include "stdafx.h"#include<iostream>#include<string>#define n 20using namespace std;void add(int a[],int b[],int c[]){for(int i=0;i<n-1;i++){c[i]+=(a[i]+b[i]);if(c[i]>=2){c[i+1]+=c[i]/2;c[i]=c[i]%2;}}c[n-1]+=(a[n-1]+b[n-1]);//处理最高位if(c[n-1]>=2){c[n]+=c[n-1]/2;c[n-1]=c[n-1]%2;}}int _tmain(int argc, _TCHAR* argv[]){int A[n];int B[n];int C[n+1];memset(C,0,sizeof(int)*(n+1));for(int i=0;i<n;i++)A[i]=rand()%2;for(int i=0;i<n;i++)B[i]=rand()%2;add(A,B,C);return 0;}