对于任何给定的整数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
具体解题步骤如下图: