n位二进制数加一的时间复杂度

这是数据结构老师布置的第二道作业题，题目要求如下：

下列算法完成对一个n位二进制数加1的操作（假如无溢出）。显然，该算法在最坏情况下的时间复杂度为O(n)，试问平均情况下的时间复杂度是什么？请用数学推导或实验验证的方式证明你的结论。

void Inc(int A[]) {
  int i;
  i=n-1;
  while (A[i]==1) 
     { A[i]=0; i--; }
  A[i]=1;
}

解答：

算法在最好情况下，即二进制数的最后一位为零时，只进行一次判断，未进行循环体，赋值语句也执行了一次，最坏情况即题目假设情况，赋值语句执行n-1次，算法复杂度为O(n)，循环体平均执行0.5n次，所以平均时间复杂度为O(n)。