轻松的编程学习
首页
题库
学习路径
在线商城
能力地图
下载应用
登录 / 注册
菜单
交付:初始化 / 保持 / 终止
👁️ 0 人浏览
💬 0 人评论
❤️ 添加收藏
数组
[17, 24, 15, 13, 23]
。把不变式证明的三步各写成一次检查,三个结论一起输出。
提交你的答案
请登录后提交答案。
去登录
← 🔴 一组上一直成立,另一组第一轮就破
数学归纳法的两步是什么 →
更多题目
让程序说出"你好"
让程序欢迎你
哪个命令能显示内容
哪里是指令,哪里是结果
让程序说出你的名字
这个程序会显示什么
代码编辑器
语言:
python3
c11
cpp17
Ctrl
+
Enter
运行
👩🏫 AI
▶ 运行代码
重置代码
打印代码
A = [17, 24, 15, 13, 23] NEG = [-17, -24, -15, -13, -23] def find_max(a): best = a[0] for i in range(len(a)): if a[i] > best: best = a[i] return best def prove(a): """三件事各验一次,返回三个布尔""" # 1 初始化:进循环前不变式就该成立(i = -1,前 0 个……约定看第一个) best = a[0] init = (best == a[0]) keep = True for i in range(len(a)): if a[i] > best: best = a[i] # TODO: 保持:每一轮末尾 best 都该等于 max(a[:i+1]), # TODO: 有一轮不成立就把 keep 置 False # TODO: 终止:循环出来之后 best 应该等于整个数组的最大值 end = False return init, keep, end i, k, e = prove(A) print("/".join("过" if x else "不过" for x in (i, k, e)))
本次输入:
输出:
👩🏫
AI
请登录后使用 AI 老师
×
登录后可获得解题思路、提示与错误分析。
去登录
关闭
🎉
恭喜你,回答正确!
系统判定:正确
我知道了
💬 题目评论
提交
全部评论
全部评论