自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(2324)
  • 收藏
  • 关注

原创 AI 评价测试用例说明时依据什么:区分说得流畅与论证完整

一份回答里出现“正常、边界、异常”,并不意味着测试已经能执行。更关键的是每个输入预期什么、依据哪条合同、准备抓住哪种错误。今天用非递减判定做评分练习,让流畅表达与完整论证分开;所有匿名回答都是教学构造,没有真实模型评分或面试记录。函数输入整数列表,返回是否非递减,相邻允许相等;空列表与单元素返回True。类型合法是前置条件,本轮不设计非法输入策略,也不排序或修改输入。问题不难,正适合检验说明是否准确:严格递增与非递减只差一个等号,只检查第一对相邻值也可能通过普通升序样例。

2026-11-06 23:57:48 40

原创 测试补全建议适合当前代码吗:先看调用方与已有约定

测试补得越多,越需要先问:它保护的是原合同,还是把另一个接口的习惯塞进来了?一个函数明确原地修改列表并返回None,若新增测试要求返回新列表、保留原输入不变,测试失败不等于实现有bug。今天就拿一个append包装练习核对建议,关注副作用与测试隔离,不再讨论None是否应转换成默认值。合同是接收字符串列表与字符串tag,在原列表末尾追加一次,返回None;原有顺序保留、重复标签允许,不创建另一份列表。输入类型合法作为前提,函数不去重、不校验业务标签目录,也不记录日志。

2026-11-06 23:56:27 32

原创 AI 给出哈希计数错解之后:我先写一个最小验证程序

哈希计数不只是“看到一次就加一”。如果当前元素还要与之前的元素配对,先查询还是先增加,会决定程序有没有把自己算进去。检查 AI 建议时,我想先固定统计对象,再用三个相同数字做手算,而不是先拿一长串随机输入比较两个大结果。本文的错解是教学构造,没有真实模型回答记录。问题是:输入有限整数列表,统计满足i小于j且nums[i]等于nums[j]的下标对数量。元素类型合法为前置条件,列表不修改;空列表、单元素和全部不同返回零。同值但不同下标可以成对,两个方向不重复计算,也不允许一个下标与自己配对。

2026-11-05 14:30:45 132

原创 让 AI 讲无向图连通判断之前:先画一张能手算的小图

一张图从A能走到C,还不能直接说“整张图连通”。如果完整节点表里还有一个孤立D,它也属于本次判断。让 AI 讲解前,我会先画一个三点链加一个孤立点,逼自己区分“从某个起点访问到哪些节点”和“所有节点是否处于同一个连通块”。本文输入完整节点列表和无向边列表,节点是唯一可哈希字符串,边两端必须已声明。返回整张图是否连通;单节点图返回True,空节点图按本接口约定返回False,不讨论其他数学约定。自环和重复边允许,不影响连通结论;节点声明重复或边端点未知抛ValueError,不修改输入。

2026-11-05 14:29:32 130

原创 用 AI 陪练子序列状态定义:先交出我的递归思路

source里有三个a,target是两个a,答案是二还是三?如果问最长公共子序列长度,二没错;今天问的是有多少组下标选择能拼出target,答案就变成三。让 AI 陪练前,我先把“数什么”写在状态旁边,避免字符串题一出现就被带回长度或真假判断。输入两个字符串source、target,统计从source选择严格递增下标、按原顺序组成target的方案数。不同下标选择分别计数,即使拼出的字符完全一样。空target有一组空选择;非空target不能由空source形成,返回零。

2026-11-05 14:28:20 136

原创 和 AI 练习数据结构选择:先给一份可以打分的回答标准

这里用deque更合适”可以是一个好结论,也可以只是一句记住的术语。选择数据结构时,先得知道操作合同是什么,再解释成本和边界。让 AI 打分之前,我准备一个只处理FIFO队列的小题,让每一项分数都能找到具体证据,避免名字说对就自动拿满分。题目是把输入任务按先进先出顺序处理,任务是字符串,重复任务也保留,不修改输入列表。旧版先复制列表,每次pop零取队头;候选改成deque并popleft。这里只返回处理顺序,不做任务执行、并发同步、容量限制或持久化。

2026-11-05 14:27:00 190

原创 实习生怎样检查 AI 的函数拆分建议:从一段小代码开始

一段循环里既校验又计算,看起来有点挤,AI 很容易建议“拆成几个函数”。但拆分不是函数数量越多越清楚,关键是职责能否独立解释、调用方行为有没有变化。这次拿订单行金额做一个纯计算例子,既不接数据库,也不虚构代码评审经历,让差异可以直接运行比较。输入是若干二元组,单价以分计,数量和单价都是非负内置整数,bool拒绝。按输入顺序累加数量乘单价,空输入返回零,不修改列表。非法数量抛ValueError quantity,非法单价抛ValueError unit_price;

2026-11-05 14:25:42 227

原创 AI 给出区间合并错解之后:我先写一个最小验证程序

区间合并的代码很短,也很容易让人误以为“排序后遇到重叠就更新一下”已经说清了。可更新成谁,决定了程序会不会把已经覆盖的部分删掉。检查 AI 建议时,我会先找一组包含嵌套关系的输入,而不是只给两段交叉区间看它是否返回一段。本文的错误写法是教学构造,不是真实模型对话记录。合同先固定:输入实数轴上的闭区间,端点用整数表示,left不大于right;返回并集的最简有序区间列表,输入不修改。端点接触算相连,例如[1,2]与[2,4]合成[1,4];[1,2]与[3,4]之间仍有实数空隙,不能因为端点是整数就合并。

2026-11-04 20:56:07 168

原创 让 AI 讲网格搜索边界之前:先画一张能手算的小图

网格搜索里的越界,不一定立刻报错。在 Python 中,负下标可以从末尾取元素;如果只检查坐标小于行列数,却忘记大于等于零,程序可能把顶边和底边偷偷接起来。让 AI 解释搜索前,我先画一张中间完全隔开的网格,问它边界检查应该放在哪里。本文网格是等宽字符串列表,点号可走、井号障碍,四方向相邻,从给定起点返回能到达的可走格子数量。空网格或零列返回零,越界起点、障碍起点也返回零;不等宽行抛ValueError。输入字符合法作为前置条件,程序不修改网格。不计算路径数量,不返回最短路线,这次只检查坐标与访问顺序。

2026-11-04 20:54:55 111

原创 用 AI 陪练背包状态定义:先交出我的递归思路

背包题最怕把“容量还剩多少”说成全部状态,却没说明还能使用哪些物品。同样一件重量二、价值三的物品,拿一次和拿无限次,答案当然不同。这次我先交出递归定义,让 AI 检查物品维度,再讨论表格和压缩,避免一上来就背一行数组的循环方向。本文是0/1背包:每件物品最多选一次,重量为正整数、价值为非负整数,容量为非负整数,求总重量不超过容量的最大价值。允许不选任何物品,因此空物品或容量零返回零;没有要求恰好装满,也不返回具体选择。物品与容量合法作为前置条件,代码核心不展开输入清洗。

2026-11-04 20:53:43 124

原创 和 AI 练习边界条件说明:先给一份可以打分的回答标准

测一下空输入,再测一下越界。”这句话听起来很完整,却还没说明空输入该返回什么、哪一个端点允许等于长度。边界条件练习不能只报几个类别名称。我想给 AI 一份可以逐项核对的标准,让评分回到合同与预期,不靠说话是否流畅来判断理解程度。练习函数从列表取半开区间,要求两个下标都是内置整数,满足零不大于start、不大于stop、不大于列表长度。合法返回新列表;start等于stop允许且返回空列表;stop等于长度合法;负下标、逆序和超过长度都抛ValueError。

2026-11-04 20:52:29 120

原创 实习生怎样检查 AI 的变量命名建议:从一段小代码开始

变量名变长,不代表含义变清楚。一个叫progress_percent的值如果实际在零到一之间,读者可能比看到p时更容易误用,因为新名字给出了错误的单位承诺。检查 AI 命名建议时,我会先把每个数的量纲、范围和调用位置写出来,再决定哪些名字可以改,哪些属于公开接口。本文函数接收字节总量和已发送字节数,合法输入为非负整数且sent不超过total,返回字典:remaining是剩余字节,ratio是零到一的进度比例;总量零时约定ratio为零。核心代码假定输入合法,不增加校验或真实发送行为。

2026-11-04 20:51:11 150

原创 AI 给出贪心选择错解之后:我先写一个最小验证程序

每次拿最大面额,剩下的继续拿”,这段话对零钱兑换很有吸引力:步骤短,手算快,看起来每一步都在接近目标。可局部少拿几枚,不等于最后枚数最少。让 AI 陪练时,我想先把这句话变成一个可以被输入推翻的候选策略,而不是因为它讲得顺就当成定理。本文的待审建议为教学构造,没有真实模型对话记录。问题限定为一个有限列表给出的正整数面额,每种硬币可用无限枚,目标为非负整数,返回凑成目标的最少枚数;凑不出返回 None,目标零返回零。面额先去重,输入不允许零、负数和布尔值。

2026-11-03 23:46:37 106

原创 让 AI 讲拓扑序有效性之前:先画一张能手算的小图

拓扑排序的结果不是永远唯一。看到两份答案顺序不同,先判其中一份错,是一种很容易发生的误会。这次我不生成拓扑序,而是给定图和候选序列,判断它是否满足要求。对 AI 陪练来说,验证一份候选比让它再吐出一份排序,更能看清我是否理解了边的约束。本文有向边 u→v 表示 u 必须排在 v 前面。顶点为 A、B、C、D,边 A→C、B→C、C→D。候选必须包含全部顶点且每点恰好一次,不能有未知点。图输入本身要求顶点唯一、边端点已声明;候选不合法返回 False,图输入不合法抛 ValueError。

2026-11-03 23:45:25 111

原创 用 AI 陪练字符串匹配状态定义:先交出我的递归思路

字符串匹配的“星号”不是只有一种意思。正则里的星号依赖前一个模式单元,路径通配又可能对斜杠有特殊规则;如果这些语义混在一起,状态定义从第一句就跑偏。这次我先约定两个通配符,再用递归写出匹配剩余文本的含义,让 AI 只检查这个定义,而不是直接套某个库函数。合同是完整匹配整个文本:问号?匹配恰好一个字符,星号匹配任意长度字符序列,允许长度零;其余字符按字面比较。不支持转义,不是正则,也不是文件路径模式。文本可以为空,模式也可以为空。text='ab'为 True:星号取空,a 匹配 a,问号匹配 b。

2026-11-03 23:44:16 224

原创 和 AI 练习复杂度解释:先给一份可以打分的回答标准

有两层循环,所以平方级。”这句话很省事,也很可能省掉了最关键的一步:内层循环在整个函数里到底执行多少次?复杂度解释不能只数缩进。让 AI 给表达打分之前,我先准备两段只差一个初始化位置的程序,用执行次数把线性和平方的区别固定下来。输入 n 为非负整数。第一段外层执行 n 次,但内层共用同一个 j,j 只从零增长到 n,结束后不回退;第二段每次进入外层都把 j 重置为零。我们数内层循环体执行次数,同时记录外层次数,不测耗时。所有匿名回答和评分都是本文构造的练习材料,不来自真实面试或模型对话。

2026-11-03 23:42:59 157

原创 实习生怎样检查 AI 的异常处理建议:从一段小代码开始

异常处理最像“补一层保险”的写法,往往也是最容易把问题藏起来的写法。比如读配置失败就返回默认值,确实能让程序继续跑,可坏 JSON、漏字段和程序自身的 bug 也可能一起被吞掉。检查 AI 建议时,我想先把允许转换的错误列清楚,再看 try 的范围,而不是看到 except 就默认更稳。本文函数接受 JSON 文本,解析结果必须是对象,包含 limit,且 limit 是正的内置整数,排除 bool。合法输入返回 limit;

2026-11-03 23:41:35 135

原创 AI 给出二分边界错解之后:我先写一个最小验证程序

二分查找最让人心虚的时刻,不是看不懂mid,而是知道某行可能差一,却说不出为什么。给 AI 一句“帮我写二分”,很容易得到一份看起来熟悉的代码。我的练习顺序是先固定返回含义,再给错误版本找一组会停住的输入。本文的错误建议是教学构造,不代表真实模型对话,也不用于评价某个模型。问题限定为:输入已经按非递减顺序排列的整数列表,返回第一个大于等于目标值的位置,也就是 lower_bound。没有符合元素时返回列表长度;空列表返回 0。它返回插入位置,不保证目标存在。[1,2,2,4]查 2,答案应为 1;

2026-11-02 12:41:53 1568

原创 让 AI 讲最短路前提判断之前:先画一张能手算的小图

最短路题看到“带权图”,就把优先队列掏出来,是我想刻意避免的条件反射。算法名字说对了,前提却没检查,代码可能只是在样例里运气不错。让 AI 陪练时,我先准备一张三个顶点的小图:短到可以枚举路径,又足够让“当前最小一定最终最小”的解释露出缺口。图是有向图:S→A 权值 2,S→B 权值 5,B→A 权值 -4。另加一个没有边的顶点 X 检查不可达。问题是从 S 到各顶点的最短距离,本图没有负环。S 到 A 可以直接走,代价 2;也可以经 B,代价 5-4=1。

2026-11-02 12:40:37 1554

原创 用 AI 陪练区间状态定义:先交出我的递归思路

定义 F(l,r) 为闭区间 l 到 r 的堆合成一堆的最小额外代价,不是这段石子的总重量。最后一次合并之前,一定剩下两堆,分别来自[l,k]和[k+1,r]。因此枚举 k,比较左右子问题之和,再加整个区间重量。重量与最后切点无关,却必须付一次,不能把它忘在状态解释之外。单堆不用合并,所以 F(i,i)=0,不能初始化成该堆重量。对[1,3,2],完整转移是 6+min(0+5,4+0)=10。这里的 4、5 是长度二的合并代价,最外面的 6 是最后一次合并,两者属于不同步骤。

2026-11-02 12:39:24 1747

原创 实习生怎样检查 AI 的输入校验建议:从一段小代码开始

输入校验很容易在“更友好”的名义下变宽。AI 建议调用int,再判断是否大于零,看起来简洁;可如果接口要求的是一种严格文本格式,转换成功就不等于输入合法。这个例子我只处理页码,让类型、字符集合和前导零都有明确答案,避免校验器顺手替调用方猜意思。合同是:只接受字符串形式的 ASCII 十进制正整数,第一位为 1 到 9,后面可以有 0 到 9;'1''12'合法,'01''0''+1'' 1 '、空字符串、全角数字都拒绝。True、整数 1 和浮点 1.0 也拒绝,因为输入必须是文本。

2026-11-02 12:38:13 1582

原创 和 AI 练习代码改进说明:先给一份可以打分的回答标准

把 list 换成 set,速度会快一点。”这句话可能方向正确,却还算不上一份完整的代码改进说明。快在哪里,行为有没有变,输入能不能放进集合,怎么验证?如果这些问题没回答,让 AI 按“专业程度”打分,很容易把熟练使用术语误当成论证完整。我想先固定题目,再用可核对的标准练表达。练习代码按输入顺序检查请求编号,返回扫描时首次发现的重复编号,没有重复返回 None。输入是有限字符串列表,不修改原列表。在第三项首次发现 r1,所以返回 r1。提议把保存已见编号的列表改成集合;

2026-11-02 12:36:59 1842

原创 AI 给出双指针错解?先用一个小程序找出漏掉的答案

两端各放一个指针,和太大就右移边界,和太小就左移边界——这段解释很熟悉。可题目如果只说“整数数组”,没说“已经排序”,熟悉的模板也会漏解。这篇把这种常见错误写成一段候选代码,模拟检查 AI 题解的过程。它是教学构造,不代表某次真实模型对话,也没有线上事故背景。目标很小:给定整数序列a和整数target,判断是否存在,使元素和等于目标值。重复数值允许,例如[2,2]可以组成 4;空数组和单元素数组返回False。这里只返回布尔值,不返回下标。

2026-11-01 19:50:38 1781

原创 让 AI 讲有向图环检测之前:先画一张能手算的小图

学有向图环检测时,很容易把“这个点来过”说成“这里有环”。这句话很顺口,却会把一张正常的菱形图判错。AI 陪练也得先面对这个问题:如果我连输入都没固定,它给出一段流畅解释,我很难知道自己究竟理解了哪一步。这次只讨论有限有向图,顶点编号从 0 到 n-1,边 u→v 表示能从 u 走向 v。允许自环、重复边和不连通分量;问题是整张图是否存在有向环,不要求输出所有环。下面的解释和检查问题是本文设计的练习材料,不是某次真实模型对话记录。

2026-11-01 19:49:27 1783

原创 用 AI 陪练路径计数状态定义:先交出我的递归思路

本地验证枚举了行列数各为 1 到 3 的全部障碍布局,共 682 个网格,递归与 DP 结果一致,另外检查了空输入。这个范围小到可以穷举,同时包含起终点障碍、整行封锁和单行单列。对照程序共用障碍约定,仍不能排除双方共享同一理解错误,所以保留两条路线的手算作为独立证据。朴素递归的搜索树至多按两条分支展开,可用 O(2^(R+C)) 作宽松上界,栈深 O(R+C);DP 有 RC 个状态,各做常数次转移,按整数运算单位成本计时间 O(RC)、空间 O(RC)。

2026-11-01 19:48:16 1822

原创 和 AI 练习测试用例说明:先给一份可以打分的回答标准

我会测正常情况和边界情况。”这句话听起来没有错,可评审者拿不到输入,也不知道结果该是什么,更没法重复验证。对刷题和面试表达来说,测试说明不能只报类别名称。让 AI 当陪练之前,我想先把“说明得好”拆成能核对的项目,免得流畅的语气先替内容拿了分。练习对象只用一个函数:输入有限整数列表,返回最大相邻两数之和;列表少于两个元素时返回 None。相邻指原列表中下标连续,不允许排序后重新配对。输入类型合法作为前置条件,本轮不要求讨论浮点 NaN、字符串或生成器。题目范围写窄一点,评分才能保持一致。

2026-11-01 19:47:03 1655

原创 实习生怎样检查 AI 的测试补全建议:从一段小代码开始

AI 很会把测试清单写得整齐:空值、零值、负数、异常输入,一排下来像已经把漏洞堵住了。但测试数量增加,不代表调用方合同得到保护。我想先拿一个只有几行的小函数练习:建议究竟覆盖了原有行为,还是悄悄替我们改了行为?这里定义重试次数解析函数。输入只允许 None 或非负整数,明确排除布尔值;None 表示调用方没有指定,使用默认值 3;0 表示调用方明确禁用重试,必须保留;空字符串、空列表、负数和布尔值均抛 ValueError。它不负责网络请求,也没有实际重试副作用。这样零、空、缺省三者就有了不同含义。

2026-11-01 19:45:41 1805

原创 一个小算法的三份答案:手算、测试和 Lean 命题怎样对齐

看见形式化证明,容易产生一种误会:旁边那段代码也就自动正确了。实际上,先要确认手算、测试与命题说的是同一个函数、同一个输入域、同一个输出约定。我用一个足够小的例子练习对齐:a、b 都只能取 0、1、2,返回两者较大值。范围小到可以列出全部九种输入,正适合看清每一层证据。

2026-10-31 23:06:28 1820

原创 PTQ、QAT、AWQ、GGUF 别混写:端侧量化的概念边界

下载到一个 GGUF 文件,不能据此说“我用了 AWQ”;把浮点数 round 成整数,也不能说完成了 QAT。这些词经常一起出现,却分别回答不同的问题。我把它们拆成训练流程、具体方法和存储格式三层。本文不下载模型、不训练、不转权重;本地运行的只有一段标量量化教学代码。

2026-10-31 23:05:22 1810

原创 AI 面试评分的最后一关:证据、分歧与人工裁决

两份评分都格式完整、引用齐全,仍然可能互相矛盾。最后一关不该只是把两个分数取平均,而应回到题意、代码和反例:它们到底在争论哪一项?本文讨论刷题陪练的反馈,不作真实招聘判断。没有收集候选人资料,也没有运行模型评分;所有评语均是构造夹具。

2026-10-31 23:04:15 1959

原创 AI 整理论文笔记的收尾检查:引文、数字与原文位置

AI 把论文摘要整理得很顺,有时会顺手把“某个设置下的速度”改成“普遍提速”,或者把 MiB 写成 MB。数字没变,结论却变了。这次收尾不再讨论笔记排版,只检查数值主张:来源版本、原文位置、数值、单位、条件和改写句子能不能对应。没有读到图表,就不填图表数值。

2026-10-31 23:03:07 1560

原创 给算法错题留一份反例索引:输入、错误前提和修正证据

错题索引如果只写“二分边界”,下次很难知道自己究竟错在哪儿。更值得留下的是那一组输入,以及它击穿的错误前提。这篇只整理一个反例:把“找到任意相等值”当成“找到最左满足条件的位置”。它不盘点月度产量,也不编造 AI 帮我修过多少题。

2026-10-31 23:01:52 1874

原创 AI 面试官分成两人以后,评分真的独立了吗

一个 Agent 负责追问,另一个负责打分,结构上像两个人,并不意味着两份判断独立。如果评分者已经看过另一人的分数、参考评语,或者共享对话历史里的“这人答得很好”,它可能沿着已有判断继续写。这里不讨论多 Agent 是否更省钱,而只检查一个问题:同一份回答、同一份准则,评分上下文到底暴露了什么?本文没有运行模型评分,因此不宣称隔离后分数更准确。

2026-10-30 13:17:36 1952

原创 把一份算法题解交给别人运行:输入、环境、输出缺一不可

一份题解在自己的编辑器里能跑,发给别人却复现不了,常见原因未必是算法错:输入文件不同,默认参数不同,或者预期输出只存在聊天记录里。我想把交付缩到最小:一道固定长度滑动窗口和题,一个输入,一份预期输出,一个能检查字节身份的 manifest。代码完整放在正文,不要求读者下载庞大项目附件。

2026-10-30 13:15:11 1854

原创 MPS 新进展适合我的小模型吗?先看候选版本与测量前提

封面勾选为检查项示意,不代表本机已满足条件;本次环境没有 PyTorch。看到 MPS 后端的新进展,最容易跳过的一步是确认:文章讲的是哪个版本、哪台机器、哪种形状,以及候选构建还是稳定版。把作者机器的提升比例写成“我的小模型也能提速”,中间缺了一整段实验。发表于 2026-10-20。其 Getting started 明确给出候选版本的试用方式,并说明 macOS 15+、Python 3.11+ 等要求。因此本文保留 RC/候选的说法,不宣称十月已经稳定发布。

2026-10-30 13:13:21 1877

原创 转正答辩前,给演示服务做一次可中止的发布演练

我们约定初始为 READY;验证准备完成后进入 CANARY;健康检查通过才进入 COMPLETE;健康检查失败则进入 ABORT。ABORT 后不能靠再次发送“通过”事件变成 COMPLETE,必须由人重新准备一轮独立演练。“中止”表示停止当前流程,恢复业务状态则是另一项需要实现的动作。若已经执行数据库迁移、写入消息或更新外部系统,退回旧二进制未必能逆转副作用,不能只用一个状态标签掩盖问题。

2026-10-30 13:10:52 1700

原创 推理预算越高越好吗?算法评测先固定题目、模型和统计口径

把推理预算调高,答案更长,不等于正确率一定提高。最容易出问题的比较,是低预算用了简单题,高预算换了难题;或者把超时删掉,只比较成功请求。这篇先把评测口径做成可检查的程序。没有真实模型调用,下面的 pass、fail 和 timeout 都是构造夹具,不是某个模型的能力成绩。

2026-10-30 13:09:14 1832

原创 没有 100 次面试日志,也能先设计一套可靠评测集

想评估一个 AI 面试陪练,最容易写下的句子是“跑了 100 次,效果不错”。如果原始记录不存在,这句话应该删掉。没有历史日志,仍然可以先把评测问题设计好,等真正运行时再填结果。这里的目标是找出评测协议的漏洞,而不是给某个模型排位。下面所有回答、标签和题目 ID 均为构造数据,不代表真实候选人或招聘结论。

2026-10-29 22:25:41 1798

原创 月末学习复盘先整理依赖:把笔记做成能回查的知识索引

学过 CRT,再回看模逆,发现最重要的“什么时候存在”没写;学过凸包,却找不到当时对整数范围的假设。笔记堆得很高,不等于遇到问题时能找到前提。我想整理的是一个很小的知识索引:每个节点回答一个明确问题,每条边说明“理解后者之前,需要先理解什么”。它不统计这个月发了多少文章,也不给自己贴掌握程度百分比。

2026-10-29 22:24:14 1537

原创 离线对拍怎样找到最小反例:属性测试、参考解与重放

代码在一组长输入上失败,第一反应可能是把它重新交给 AI:“请修复。”我更想先问,能不能把那组输入缩到几项,甚至一项?反例小了,错误前提才容易看见。这篇故意写一个错误的最大子段和程序,再用朴素参考解找出失败,最后按明确规则缩小输入。它不是模型生成代码的统计测评。

2026-10-29 22:22:39 1868

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除