董云舟最早看到“耗时100”这个说法，我还以为是100毫秒级别的优化，点进去才发现是LeetCode 1304——Find N Unique Integers Sum up to Zero，也就是“和为零的N个不同整数”这道经典构造题。这道题属于那种一眼看过去很简单、但认真写起来能品出不少东西的题目：给定一个正整数n，要返回一个长度为n的整数数组，数组里所有数字互不相同，并且所有数字的和恰好为0。难度不高，但在刷题指南里经常被归入“脑筋急转弯”或“构造法入门”的范畴，周赛430前后也经常被翻出来当热身题讨论。
我把它当作一个很典型的“构造类问题”来拆解。所谓构造类问题，和一般的“判断类”“搜索类”题目最大的区别在于：它不要求你去找最优解，也不要求你遍历整个解空间，而是要求你快速、稳定地拿出一个满足全部约束的可行解。这类题在面试里出现频率不低，因为能考察你的数学直觉和编码基本功，而不是单纯背模板。
这道题适合刚入门算法的同学，也适合想复盘“构造法”思路的进阶选手。下面从题目定位、思路推导、代码实现到延伸变形，完整展开。
1. 题目定位与核心考点分析
1.1 题面解读：读懂三条硬性约束
先原样看一下这道题的输出要求：给定正整数n，返回长度为n的整数数组，要求数组内n个元素互不相同，且元素总和的值为0。
把这句话拆成三个约束条件来看：
- 长度约束：必须恰好返回n个数，一个不能多，一个不能少。这意味着n为奇数或偶数时，构造方式要有不同的收尾策略。
- 互异约束：数组中任意两个数不能相等。这是很多初学者第一次提交翻车的重灾区——能想到用一对正负数抵消，但没考虑重复。
- 总和约束：这n个数加起来严格等于0。既然目标是0，最自然的思路就是让正数部分和负数部分互相抵消。
题目只要求“返回任意一个满足条件的数组”，不要求数组有序，不要求绝对值最小，也不要求必须包含0。也就是说，可用的解空间非常大。LeetCode上有一类“脑筋急转弯”题，表面是让写算法，实际是让找一个巧妙的构造模式，1304就是这类题里的典型代表。
1.2 为什么这道题是“构造法”入门题
我个人的理解：构造类问题有两条主线，一条是“存在性证明”，一条是“可行性构造”。很多算法题是先从数学上证明某个解一定存在，再想办法把解找出来；而构造类问题通常直接跳过存在性论证，要求你用非常直接的方式把解“搭”出来。
1304之所以适合入门，是因为它把构造思想压缩到一个很简单的场景里：让你在“和为0”和“互不相同”这两条约束下，徒手搭一个数组。你不需要排序、不需要搜索、不需要动态规划，只需要想清楚“一组正负数成对出现就能保证和为0”这个基本事实。把这个事实想明白，剩下的代码只是把数学表达翻译成编程语言。
另外，这道题也是我认为少有的“写完后值得重构两遍”的简单题。第一版用最朴素的循环，第二版用双指针原地填充，第三版用前缀和思想反推端点值。同一个数学构造，三种代码实现，复杂度虽然都是O(n)，但你能从中看到不同的编码风格和思考角度。这些角度在后续刷中等难度构造题时非常有用。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 核心思路拆解：从枚举到构造
2.1 三个常见错误方向
先说说我见到过的三种错误做法，把这些坑提前避开。
第一种是回溯搜索。很多人一看到“找到一组解”，就条件反射地想去DFS加剪枝。思路是：从候选整数里选n个，检查是否互不相同且和为0。这个做法在n比较小时确实能跑出来，但随着n变大，状态空间爆炸，效率非常差。题目本身是构造题，不是搜索题，用搜索就是在拿大炮打蚊子，还会因为剪枝条件写不好而陷入超时。
第二种是随机生成加去重。先随机生成n-1个互不相同的数，再算出第n个数为负的总和，然后检查它是否与前面的数冲突，冲突就重来。这个做法能通过测试的概率很高，但存在两个问题：一是你没法证明它在边界情况下一定能终止；二是在某些特殊n下，最后一个数必然会和前面的数冲突。用随机数做构造题，等于把确定性算法变成了蒙特卡洛方法，这在算法面试里是明显的减分项。
第三种是贪心排列。比如直接把数组填成0到n-1，然后想办法调整最后一个数让总和归零。这个思路的问题在于调整的幅度很可能引发重复。比如n=4，填成[0,1,2,3]，和为6，要把某个数改成-3才能让总和归零，但-2、-1、0都已经在数组里了，怎么改都会冲突。
2.2 对称构造法的推导过程
正确的思路其实非常简洁：如果数组里的数成对出现，比如1和-1、2和-2、3和-3，那么每一对的和都是0，整组的和自然也是0。成对出现还有一个额外的好处，就是只要保证每一对内部的两个数互不相同，并且不同对之间的数值不重合，整组数据就天然满足“互不相同”的条件。
具体构造方式如下：
- 如果n是偶数，直接放n/2对正负数。第一对放1和-1，第二对放2和-2，依此类推，放完n/2对，数组长度刚好是n，总和是0，所有数两两不同。
- 如果n是奇数，先放(n-1)/2对正负数，再补一个0。0既不影响总和，也不会跟任何正负数重复。
以n=5为例：放两对正负数得到[1,-1,2,-2]，现在只有4个数，长度不够，补一个0得到[1,-1,2,-2,0]。验证一下：1+(-1)+2+(-2)+0=0，五个数互不相同，满足全部约束。
以n=6为例：放三对正负数得到[1,-1,2,-2,3,-3]，长度为6，总和0，互不相同。
这个构造逻辑有个很好的性质：无论n多大，数组里最大的绝对值都不会超过n/2取整。换句话说，你可以只依靠“小整数”完成构造，不需要用到大数，这在写代码时非常舒服。
2.3 为什么必须区分奇偶性
数学上有个直观事实：奇数个整数的和完全可以是0，比如1+2+(-3)=0。所以“奇数n必须补0”并不是唯一解，但为什么标准答案几乎都选择补0？
原因有二。
第一，补0是最简单、最不会出错的方案。用非零整数凑奇数长度且和为0，需要额外设计一组三角关系，比如n=5时不补0，可以构造[1,2,-3,4,-4]，总和1+2-3+4-4=0，同样满足互异。但每多设计一组关系，代码就多一分出错的可能，而0是唯一一个放进数组后“一定不会破坏任何约束”的数。
第二，0的存在不改变“互不相同”的判定条件。任何正整数都不等于0，任何负整数也不等于0，所以0和任意非零整数都不同，天然安全。换句话说，补0这个操作相当于在对称构造的基础上做了一个零成本的修正。
需要提醒的是，在某些变体题目里，约束条件会改成“不允许使用0”，这时奇数长度的构造就要换方案，上面的[1,2,-3,4,-4]就是一个参考。
3. 代码实现与细节打磨
3.1 最直白的循环实现
先把对称构造法翻译成Python，这是最基础也最容易理解的版本：
python复制from typing import List
def sumZero(self, n: int) -> List[int]:
ans = []
for i in range(1, n // 2 + 1):
ans.append(i)
ans.append(-i)
if n % 2 == 1:
ans.append(0)
return ans
这段代码逻辑和前面推导的数学构造一一对应，循环从1到n//2，每次append正数和它的相反数，最后判断n是否为奇数，是就补0。
执行流程以n=6为例：i取1，数组变成[1,-1]；i取2，数组变成[1,-1,2,-2]；i取3，数组变成[1,-1,2,-2,3,-3]。此时循环结束，n为偶数，不补0，返回最终数组。
这个版本是“最不容易写错”的版本，因为它把数学构造完整地映射成了代码，几乎不存在中间状态需要考虑。但它也有一个小缺点：append操作会触发Python列表的扩容机制，虽然均摊时间复杂度是O(1)，但在极端追求性能的场景下，直接预分配数组更好。
3.2 双指针原地填充版本
第二种写法是用双指针从两端往中间填。预先创建一个长度为n的数组，left指向左端，right指向右端，然后不断向两端分别填入val和-val，同时left加一、right减一。
python复制def sumZero(self, n: int) -> List[int]:
ans = [0] * n
left, right = 0, n - 1
val = 1
while left < right:
ans[left] = val
ans[right] = -val
left += 1
right -= 1
val += 1
return ans
这种写法的妙处在于：预分配数组避免了append的扩容开销，同时通过left < right的循环条件天然处理了奇数n的情况。当n为奇数时，最后不会进入循环，中间位置留下的默认值0就是我们要补的那个0。
以n=5为例，初始数组[0,0,0,0,0]，第一轮填入ans[0]=1、ans[4]=-1，第二轮填入ans[1]=2、ans[3]=-2，此时left=2、right=2，循环结束，中间的ans[2]保持0，最终得到[1,2,0,-2,-1]。
这个版本是我在实际刷题时最推荐提交的版本，它把“对称构造”和“双指针”两个思想一次性都练到了，而且代码可读性很好，面试时也容易讲清楚。
3.3 前缀和反向构造版本
第三种写法稍微“反直觉”一点，我把它叫做前缀和反向构造：把前n-1个元素直接设置为1到n-1，最后一个元素设置为负的“前n-1个元素之和”。
python复制def sumZero(self, n: int) -> List[int]:
ans = [0] * n
for i in range(1, n):
ans[i] = i
ans[0] = -sum(ans[1:])
return ans
来验证正确性。前n-1个数的和是1+2+...+(n-1)=n(n-1)/2，那么第0个元素就是-n(n-1)/2。它一定是一个负数（n大于1时），并且绝对值大于n-1，所以它不可能和前n-1个正整数重复。于是互异性和总和两条约束同时满足。n=1时，循环不执行，ans[0]=-0=0，返回[0]，也正确。
这种构造的缺点是最后一个数可能非常大，比如n=10时，ans[0]=-45，虽然不影响正确性，但视觉上不那么“优雅”。不过它很好地展示了一个重要思想：构造数组时，不需要让所有数都从很小的整数里选，你可以先固定n-1个数，再反向算出最后一个数，只要证明最后一个数不和前面重复就行。
3.4 复杂度对比与“耗时100”的真相
三种实现的时间复杂度都是O(n)，空间复杂度除了返回数组都是O(1)。LeetCode上显示的运行时间差异主要来自常数因子：
| 实现方式 | 数组填充方式 | 边界处理 | 常数因子 | 推荐场景 |
|---|---|---|---|---|
| 循环append | 动态扩容 | 奇数时显式补0 | 偏高 | 教学演示 |
| 双指针预分配 | 原地赋值 | 循环条件隐式处理 | 最低 | 提交优先 |
| 前缀和反向构造 | 反向计算 | 通过端点值保证 | 中等 | 拓展思路 |
“耗时100”如果指的是击败100%的提交，那其实是LeetCode统计上的一个抖动。只要算法复杂度正确，同样的代码在不同时间提交、不同用例集下，击败率都会小幅波动。真正值得追求的不是击败率数字，而是理解每个写法背后的开销来源。我个人实测下来，双指针预分配版本在这种构造题里最稳定，因为每一轮循环都是O(1)的直接赋值，没有额外动态扩容。
4. 从简单题里提炼可迁移的构造技巧
4.1 构造题的核心套路：先定形态，再定参数
就拿1304来说，拿到题目的第一反应不应该是“我要怎么搜索”，而是“目标数组长什么样才能满足条件”。我在刷题时总结了一个比较通用的思考顺序。
第一，先确定目标形态。和为0，最容易想到的形态就是正负成对，所以构造方向确定为“对子+可能存在的0”。
第二，再确定参数范围。为了让互异性成立，每对数的绝对值必须互不相同，最简单的方式就是用连续递增的自然数，1对-1、2对-2、3对-3。
第三，最后处理边界。奇数n时用0补位，因为0是唯一不会破坏任何约束的整数。
这个“先形态、后参数、再边界”的顺序，可以用来解决很多构造题。比如LeetCode 1103分糖果、LeetCode 1512好数对的数量这些题目，表面上和1304完全不同，但本质上都是先想清楚最终结果的形态，再设计生成方式。
4.2 如果总和不是0，而是K，怎么构造
这里引申一个经典变体，很多面试官喜欢在1304后面追加一问：如果不要求总和为0，而是要求总和为任意整数K，怎么构造长度为n且互不相同的整数数组？
沿用前面的“固定前n-1个+反推最后一个”思想，只需做一点修改：前n-1个数仍然是1到n-1，最后一个数设为K - n(n-1)/2。容易验证总和的正确性。至于互异性，K落在大多数位置时都不会和1到n-1冲突，当K恰好让最后一个数落入重复区间时，可以做一次偏移调整。举个例子，n=2、K=2时，简单构造会让最后一个数等于1，和第一个数重复，这时改为[0,2]即可。
这个扩展题能很好地带出“反向构造”的思路，如果你能把1304吃透，这个变体基本就是一道送分题。
4.3 和“和为0的子数组”题型的区别
有些同学会把这道题和“和为0的子数组”混在一起。LeetCode 560题问的是“有多少个子数组的和等于K”，思路是前缀和加哈希表；1304问的是“构造一个数组使整体和为0”，思路是数学构造。两者都涉及“和为0”这个关键词，但一个是统计，一个是构造；一个用哈希表，一个用循环。如果面试时把这两者搞混，会很尴尬。
我的建议是，在整理刷题笔记时，把“构造类”和“统计类”分开归档，不要因为它们都含“和”字就放到一起。
5. 常见问题与排查技巧实录
5.1 边界条件翻车：n=1和n=2
这道题最容易翻车的边界是n=1和n=2。n=1时，答案只能是一个数，这个数自己必须等于0，所以返回[0]。如果采用对称构造且忘了奇偶判断，循环不执行，直接返回空数组，就错了。n=2时，答案必须是两个互不相同的数且和为0，那必然是[a,-a]且a不能为0。很多初版代码在这个用例上报错，不是因为逻辑错，而是对“互不相同”理解不到位。对称构造法下n=2返回[1,-1]，只要循环上界写对，就没有问题。
这里给大家一个建议：任何构造题，先手推n=1、n=2、n=3这三个最小用例，再开始写代码。能极大降低边界翻车概率。
5.2 重复元素问题：为什么不能全填0
如果直接把数组填成[0,0,...,0]，总和确实是0，但“互不相同”这个条件直接失败。这是最经典的审题坑。很多第一次写这道题的同学，第一眼看到“和为0”，脑子里蹦出来的就是全0数组，提交后才发现unique这个单词。LeetCode的英文原题把N Unique Integers放在题目最前面，就是为了强调互异性。中文翻译成“不同的整数”，也很明确。
这个教训的核心是：在英文题面里，unique、distinct、different这些词都意味着“两两不同”，审题时一定要圈出来。
5.3 不要过度优化：关于“耗时100”的执念
我见过不少同学为了把运行时间从70ms压到60ms，反复调整代码，甚至去改循环展开、改局部变量缓存。在1304这种题上，意义真的不大。LeetCode的运行时间受服务器负载、用例集顺序、语言版本等多重因素影响，同一个代码提交多次，击败率可能从60%跳到100%。
与其执着于击败率数字，不如把精力放在理解每一种写法的复杂度来源上。比如你只要知道append的均摊代价和预分配的区别，就可以自信地和面试官讨论性能取舍了。这才是“耗时100”这件事真正值得关注的地方。
5.4 语言层面的细节
Python里要注意range(1, n // 2 + 1)的上界，很多初学会写成range(1, n // 2)，结果少生成一对数，数组长度不对。这是一个非常容易看走眼的off-by-one错误。
Java里如果使用int数组，要注意默认值是0，这可以作为“奇数n补0”的一种隐式实现，但前提是你清楚自己在做什么，别在偶数n时漏掉最后两个数的填充。C++的话用vector
语言细节虽然不影响算法思想，但在面试手写代码时，一个边界错误就可能让整道题翻车，所以值得单独拿出来提醒。
6. 从1304延伸出的刷题方法论
6.1 面试时怎么清晰地表达构造过程
不知道你有没有发现，1304这套“先定形态、再定参数、再处理边界”的思路，在LeetCode热门100题里反复出现。不管是热门100题，还是周赛430里某些构造类题目，本质上都在考察同一种能力：你能不能把一个开放性的约束条件，翻译成一个确定性算法。
我个人的实践经验是：在面试里遇到这类构造题，不要急着写代码。先在白板上写出n=5和n=6两个实例的最终形态，然后指着这两个例子，用自然语言描述你的构造规律，最后再把规律翻译成代码。这个过程既能让面试官跟上你的思路，也能帮你提前暴露边界问题。1304虽然简单，但这种“举例、归纳、编码”的三步表达法，值得在每道题上反复练习。
6.2 建立自己的构造手记
从前年开始，我给自己定了一个小规矩：每道构造题都额外记录一份“构造手记”，写下三句话——目标形态是什么、参数如何选取、边界如何处理。这个习惯看起来简单，但积累到几十道之后，你会发现一个很明显的改变：对约束条件的敏感度会显著提升。
1304作为这个系列的起点，价值其实远高于它本身的难度标签。因为当你把“和为0”和“互不相同”这两条约束摆在一起看时，“正负成对”这个方案几乎是必然浮现的。这种对约束条件的拆解能力，才是刷题真正要训练的东西。LeetCode刷题指南里常说的“夯实基础”，指的就是把这类简单题背后的思维模型吃透，而不是急着去背难题模板。
7. 个人实操心得
这道题我刷过三遍。第一遍用循环，第二遍用双指针，第三遍尝试写出所有不同构造方式。三遍下来最深的体会是：简单题的正确答案往往不是复杂的算法，而是对约束条件的精准拆解。你只要把“互异”和“和为0”这两条约束放在一起看，正负成对的方案几乎是必然浮现的。
最后分享一个小技巧：遇到构造类题目时，先把构造规律写成注释放在代码上方，比如“成对正负数+奇数补0”，然后照着注释写实现。这样代码不仅好读，回头复习时也能一眼想起当时的思路。我后来刷LeetCode 073这类题目时，也沿用了这个习惯，把“吃香蕉速度的二分判定”这种核心规律写成注释，复习效率提升了不少。1304虽然代码不到五行，但它的构造思维和刷题习惯，值得你在很多后续题目中反复使用。