對於任何給定的整數x1和自然數 ,計算z=x1x2(x1x2表示 的x2次方) 表示x1的 次方 次方) 對於任何給定的整數 和自然數x2,計算 和自然數 的程序的流程圖如下
該題的難點就是找出 循環不變量(loop invariant)
此題的循環不變量是
y2 >= 0 and y3*y2^y3 = x1^x2
具體解題步驟如下圖:
對於任何給定的整數x1和自然數 ,計算z=x1x2(x1x2表示 的x2次方) 表示x1的 次方 次方) 對於任何給定的整數 和自然數x2,計算 和自然數 的程序的流程圖如下
該題的難點就是找出 循環不變量(loop invariant)
此題的循環不變量是
y2 >= 0 and y3*y2^y3 = x1^x2
具體解題步驟如下圖: