轻松的编程学习
首页
题库
学习路径
在线商城
能力地图
下载应用
登录 / 注册
菜单
第三步:三步论证(覆盖全部输入那一关)
👁️ 0 人浏览
💬 0 人评论
❤️ 添加收藏
第三步:把不变式证明的三步各验一次。这一步和第二步的区别是——
它不依赖你挑了哪些输入
。
提交你的答案
请登录后提交答案。
去登录
← 第二步:对拍(快速证伪那一关)
第四步:复杂度依据(数操作次数,不掐表) →
更多题目
让程序说出"你好"
让程序欢迎你
哪个命令能显示内容
哪里是指令,哪里是结果
让程序说出你的名字
这个程序会显示什么
代码编辑器
语言:
python3
c11
cpp17
Ctrl
+
Enter
运行
👩🏫 AI
▶ 运行代码
重置代码
打印代码
def find_max(a): best = a[0] for i in range(1, len(a)): if a[i] > best: best = a[i] return best DATA = [17, 24, 15, 13, 23] # 三步论证,各验一次 init = (find_max(DATA[:1]) == DATA[0]) # 初始化:只有一个元素时显然对 # TODO: keep:每一轮之后 best 都等于已看过部分的最大值 keep = False # TODO: term:循环结束时 best 等于整个数组的最大值 term = False print("/".join("过" if x else "不过" for x in (init, keep, term)))
本次输入:
输出:
👩🏫
AI
请登录后使用 AI 老师
×
登录后可获得解题思路、提示与错误分析。
去登录
关闭
🎉
恭喜你,回答正确!
系统判定:正确
我知道了
💬 题目评论
提交
全部评论
全部评论