2-3

问题a：
i从n循环到0，所以复杂度为$\Theta(n)$

问题b：

y=0
for i = 0 to n
    a = a[i]
    for j = 1 to i
        a = a * x
        y = y + a

时间复杂度为$\Theta(n^2)$

问题c：
初始i＝n，y＝0成立
循环：第t步开始前$y=\sum_{k=0}^{n-(t+1)}a_{k+t+1}x^k$
第t步操作：$y=x\sum_{k=0}^{n-(t+1)}a_{k+t+1}x^k+a_t=\sum_{k=0}^{n-t}a_{k+t}x^k$
故第t步结束后，保持循环不变
结束后i＝-1，故$\sum_{k=0}^na_kx^k$
故循环不变式成立

问题d：
问题c已经给出了证明