如何解决如何为计算奇数的伪代码提出循环不变量?
我正在努力为以下代码段想出一个循环不变式:
奇数(n)
- a = 2
- 对于 i = 1 到 n 做
-
a = a * i
- 返回 a+1
现在,我想在进入 l.2 中的 for 循环之前找到一个正确的循环不变量。 我的想法是 a = 从 k=1 到 i-1 乘以 2 的乘积,但是,我在最后添加 1 时遇到了麻烦。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。