算法导论 习题2.1-4

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

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

#include "stdafx.h"
#include<iostream>
#include<string>
#define n 20
using 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;
}