轻松的编程学习
首页
题库
学习路径
在线商城
能力地图
下载应用
登录 / 注册
菜单
第一步:先把不变式验起来
👁️ 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 def check_invariant(a): """第一步:把不变式验起来。返回"成立的轮数", 只有真的逐轮验过,这个数才会等于 len(a) - 1""" best = a[0] held = 0 for i in range(1, len(a)): if a[i] > best: best = a[i] # TODO: 不变式 best == max(a[:i+1]) 成立时,held 加 1 return held print(str(check_invariant([17, 24, 15, 13, 23])) + "/" + str(check_invariant([-17, -24, -15, -13, -23])))
本次输入:
输出:
👩🏫
AI
请登录后使用 AI 老师
×
登录后可获得解题思路、提示与错误分析。
去登录
关闭
🎉
恭喜你,回答正确!
系统判定:正确
我知道了
💬 题目评论
提交
全部评论
全部评论