$O(N^2)$ 是性能断崖式下降的预警信号，源于双重循环等结构导致操作次数达 $N^2$ 量级，$N=10^4$ 时约 $10^8$ 次操作，引发明显卡顿。
大 O 表示法中 $O(N^2)$ 不是抽象符号，而是对实际性能断崖式下降的预警信号。当嵌套循环处理中等规模数据时，运行时间会远超直觉——比如 $N=10^4$，操作次数就达 1 亿量级，普通机器可能卡顿数秒甚至更久。
识别典型 $O(N^2)$ 结构
只要外层循环执行约 $N$ 次，且每次内层循环也执行约 $N$ 次，就落入 $O(N^2)$ 范畴：
- 标准双重 for 循环：
for(i=0; i<N; i++) { for(j=0; j<N; j++) { ... } } - 虽非完全对称但总次数仍为 $\frac{N(N+1)}{2}$ 的结构，如
for(i=0; i<N; i++) { for(j=i; j<N; j++) { ... } }——它简化后仍是 $O(N^2)$ - 函数调用嵌套：外层调用 $N$ 次，每次调用一个含 $N$ 次操作的子函数，也等效于 $O(N^2)$
量化增长带来的真实影响
不必依赖精确计时，用数量级对比就能感知压力：
- $N = 100$ → 最多约 $10^4$ 次操作（毫秒级）
- $N = 1000$ → $10^6$ 次（百毫秒到一秒）
- $N = 10^4$ → $10^8$ 次（通常需数秒，内存访问密集时更慢）
- $N = 10^5$ → $10^{10}$ 次（可能数十秒至分钟，已明显不可接受）
注意：实际耗时还受缓存、分支预测、指令吞吐等影响，但 $N$ 翻 10 倍，耗时大概率翻 100 倍——这是 $O(N^2)$ 的核心特征。
快速验证是否真为 $O(N^2)$
别只看嵌套层数，重点看「最内层语句执行总次数」：
- 写出执行次数表达式，例如 $T(N) = N + N^2 + 3N + 5$
- 按规则化简：去掉常数项（5→1）、低阶项（$N$ 和 $3N$ 被 $N^2$ 主导）、系数（$N^2$ 前的 1 不写）→ 得 $O(N^2)$
- 若外层是 $N$，内层是固定次数（如 10），则总次数是 $10N$，应为 $O(N)$，不是 $O(N^2)$
从代码层面初步规避
发现 $O(N^2)$ 后，优先检查能否降维或剪枝：
- 用哈希表把内层查找从 $O(N)$ 降到 $O(1)$，整体可优化为 $O(N)$
- 若任务是“找重复元素”，排序后双指针扫描是 $O(N \log N)$，优于暴力 $O(N^2)$
- 确认是否真需全量两两比较；有时只需相邻比较、首尾匹配或预计算前缀和
不优化时，至少加运行规模校验：$N > 5000$ 就抛警告或拒绝执行，避免用户误触长阻塞。
