如何为计算奇数的伪代码提出循环不变量？

问题描述

我正在努力为以下代码段想出一个循环不变式：

奇数(n)

1. a = 2
2. 对于 i = 1 到 n 做

3.    a = a * i
   

4. 返回 a+1

现在，我想在进入 l.2 中的 for 循环之前找到一个正确的循环不变量。 我的想法是 a = 从 k=1 到 i-1 乘以 2 的乘积，但是，我在最后添加 1 时遇到了麻烦。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）