新测量与新约束,真的改变选择
本页问题
当前教学记录为 A12 秒/3 GiB、B8 秒/5 GiB。B 用时更短,A 峰值内存更低;施加峰值严格小于 4 GiB 的约束后,在两项候选中选 A。新测量补足事实,新约束改变选择,执行优化需新测试,不能改写已有证据。
RC-F2/b0 · 加入真正的新测量
现在真正新增一项教学测量:A 的峰值内存为三 GiB,B 为五 GiB;用时仍是十二和八秒。内存已经测过,不能继续沿用“尚未比较”。先分别读两项数据,暂不急着选一个全面更好的方案。
进一步解释
A12 秒/3 GiB 与 B8 秒/5 GiB 均为课堂构造,用于观察证据和约束如何改变判断;不是本课新增硬件实验。
教师备课:指图与模拟问答
指图与推进 · 不朗读指新增3/5GiB与未改12/8秒;不提前引入4GiB约束。
本态来源与条件
新增测量与约束均为教学构造;教师参考分析,非真实A/B实验或模型实跑
RC-F2/b1 · 两种优势分别成立
八小于十二,所以 B 在这次测试中耗时更短;三小于五,所以 A 的峰值内存更低。两个结论同时成立,却落在不同方案上。要把测量变成选择,还需要知道我们优化什么,以及必须先满足什么限制。
教师备课:指图与模拟问答
指图与推进 · 不朗读分别指速度与内存比较,再指待明确的目标/约束。
本态来源与条件
新增测量与约束均为教学构造;教师参考分析,非真实A/B实验或模型实跑
RC-F2/b2 · 约束改变选择
现在加入约束:峰值内存必须小于四 GiB。A 为三,满足;B 为五,不满足。在当前两个选项和这份记录中,应选 A。若只追求本次更短用时,才支持 B。改变的是选择问题的约束,并没有把原来的速度与内存证据改写。
进一步解释
严格小于 4 GiB 是硬约束,不是越低越好的一般偏好。本例没有等于 4 GiB 的候选;不得把判定偷换成小于等于。
教师备课:指图与模拟问答
指图与推进 · 不朗读按<4GiB逐项核对A、B,最后指当前选A。
本态来源与条件
新增测量与约束均为教学构造;教师参考分析,非真实A/B实验或模型实跑
RC-F2/b3 · 分清下一步该改变什么
保留当前证据来决定下一步。缺测量,就补证据;反复忽略材料或要求,就检查提示、评价与训练;计算太慢或装不下,就定位执行约束。还没测过的优化,不能把五GiB宣布成三GiB。带着当前选A的判断,回到本讲的三个问题。
教师备课:指图与模拟问答
指图与推进 · 不朗读保留新记录、两项判断、约束和选择;指认补证据、检查行为、优化执行,再前进到CL01。
本态来源与条件
新增测量与约束均为教学构造;教师参考分析,非真实A/B实验或模型实跑
接下来
保留当前判断,回到本讲的三个问题:能否读回、有什么证据、能否执行。
补充推导、边界与来源
进一步阅读
条件与来源
以下从计算对象、条件与原始证据继续展开。
原 N62:多了一项测量,结论应当怎样改变?
原 N62 材料在同一教学构造中增加内存测量:A12秒/3GiB,B8秒/5GiB。当前材料已经有内存数据,因此不再把“未测内存”同时显示为当前事实。两项独立结论是B用时更短、A峰值内存更低。
若目标只是这两次测试里更短用时,记录支持B;若先要求峰值内存<4GiB,A=3通过、B=5不通过,当前两选项中支持A。目标与约束改变,判断随之改变;不是给对象固定贴上“更好”标签。
这首先要求读取新输入和条件,不要求立即再训练。实际模型能否稳定做到还需独立材料检验。若慢,应检查prefill、生成长度、KV与调度;若反复忽略要求,应检查提示、评价与训练。优化执行不会把原始测量5GiB改成3GiB,也不能凭空补回未做的测量。
本页证据与条件
新增测量与约束均为教学构造;教师参考分析,非真实A/B实验或模型实跑