我正在努力为以下代码段想出一个循环不变式：
奇数(n)
- a = 2
- 对于 i = 1 到 n 做
-
a = a * i - 返回 a+1
现在，我想在进入 l.2 中的 for 循环之前找到一个正确的循环不变量。 我的想法是 a = 从 k=1 到 i-1 乘以 2 的乘积，但是，我在最后添加 1 时遇到了麻烦。
xiaozhi170 回答：如何为计算奇数的伪代码提出循环不变量？
暂时没有好的解决方案，如果你有好的解决方案，请发邮件至：iooj@foxmail.com