考虑以下循环:
y=1;
x=a;
//with a>=0 , b>=0
while(x>0){
y=y*b;
x=x-1;
}
我想得出结论 y = b a
我一直在思考一段时间,似乎无法找出一个足够强大的循环不变量来让我得出结论。有谁知道如何解决这个问题?
非常感谢任何帮助或见解。
考虑以下循环:
y=1;
x=a;
//with a>=0 , b>=0
while(x>0){
y=y*b;
x=x-1;
}
我想得出结论 y = b a
我一直在思考一段时间,似乎无法找出一个足够强大的循环不变量来让我得出结论。有谁知道如何解决这个问题?
非常感谢任何帮助或见解。