序列找规律
本章目标:训练模式识别能力,学会从有限数据中提取多种可能的规律。
题型特点
序列找规律题看似简单,实则暗藏陷阱:任何有限数列都有无穷多种"规律"可以匹配。面试官不是在考唯一答案,而是在看你能否找到最优雅、最自然的规律,以及你能否提出多种合理解释。
解题策略:先看差分 → 再看比值 → 考虑组合定义 → 检查多解性。
为什么有意义
序列找规律看似"应试技巧",实则训练两种核心能力:
- 归纳推理:从有限样本提取一般规律。
- 多解意识:认识到任何归纳都有不确定性,能用最简原则(奥卡姆剃刀)做选择。
这两项能力在数据科学、机器学习、产品分析中都是底层素养。
解题工具箱
数列分析的标准流程
1. 列出已知项 a₁, a₂, ..., aₙ
2. 计算一阶差分:Δ₁(i) = aᵢ₊₁ - aᵢ
3. 计算二阶差分:Δ₂(i) = Δ₁(i+1) - Δ₁(i)
4. 一直算到差分恒定(多项式)或为 0(常量)
5. 若差分没用,看比值 aᵢ₊₁/aᵢ
6. 若比值没用,看组合公式 aᵢ = f(aᵢ₋₁, aᵢ₋₂, ...)
7. 考虑非数学规律:字母、月份、星期
8. 给出 2-3 种合理解释,让面试官选差分法详解
若一阶差分恒定,原数列是等差数列。 若 k 阶差分恒定,原数列是 k 次多项式。
| 数列 | 性质 |
|---|---|
| 1, 2, 3, 4, 5 | 一阶差分恒 = 1,等差 |
| 1, 4, 9, 16, 25 | 二阶差分恒 = 2,二次多项式 |
| 1, 8, 27, 64, 125 | 三阶差分恒 = 6,三次多项式 |
比值法
若 aₙ₊₁/aₙ 恒定,则是等比数列。 若 aₙ₊₁ = r · aₙ + b,则是线性递推(解法见下)。
线性递推求解
形如 aₙ = p · aₙ₋₁ + q · aₙ₋₂ 的二阶线性递推:
- 写特征方程:
x² = px + q,求根 r₁, r₂。 - 若 r₁ ≠ r₂:通项
aₙ = A·r₁ⁿ + B·r₂ⁿ。 - 若 r₁ = r₂ = r:通项
aₙ = (A + Bn)·rⁿ。 - 用初始条件求 A、B。
斐波那契的例子:Fₙ = Fₙ₋₁ + Fₙ₋₂,特征方程 x² - x - 1 = 0,根 (1±√5)/2。代入 F(0)=0, F(1)=1 解出 A、B,得 Binet 公式。
题目 1:1, 1, 2, 3, 5, ?
题面
找出数列的下一项:1, 1, 2, 3, 5, ?
拆解与思考
方法一(经典斐波那契):
观察每一项与前两项的关系:
- 1 + 1 = 2
- 1 + 2 = 3
- 2 + 3 = 5
规律:a(n) = a(n-1) + a(n-2)。下一项 = 3 + 5 = 8。
方法二(多项式拟合):
5 个数可以唯一确定一个 4 次多项式。设 a(n) = an⁴ + bn³ + cn² + dn + e(n=1,2,3,4,5),解方程可得下一项为任意值——但这显然不是面试官想要的答案。
方法三(其他合理规律):
差分序列:0, 1, 1, 2。二阶差分:1, 0, 1。如果二阶差分是 1, 0, 1, 0, 1, ...,则下一项差分为 2,下一项 = 5 + 2 = 7。这也是一种合理但不够优雅的答案。
答案
最自然的答案是 8(斐波那契数列)。斐波那契数列在自然界中无处不在(向日葵螺旋、鹦鹉螺壳、花瓣数),是最优雅的规律。
延伸
斐波那契的神奇性质:
F(n+1)/F(n) → φ = (1+√5)/2 ≈ 1.618(黄金比例)。- 前 n 项和:
F(0) + F(1) + ... + F(n) = F(n+2) - 1。 - 平方和:
F(1)² + F(2)² + ... + F(n)² = F(n) · F(n+1)。 F(2n) = F(n) · (2·F(n+1) - F(n))。- Cassini 恒等式:
F(n+1)·F(n-1) - F(n)² = (-1)ⁿ。
自然界中的斐波那契:
- 向日葵种子螺旋:左右两组螺旋数通常是相邻斐波那契数(如 34 和 55)。
- 花瓣数:3, 5, 8, 13, 21, 34(百合 3、毛茛 5、翠雀 8)。
- 蜂巢的家族树:雄蜂的祖先数是斐波那契数。
题目 2:2, 6, 12, 20, 30, ?
题面
找出数列的下一项:2, 6, 12, 20, 30, ?
拆解与思考
方法一(差分法):
一阶差分:4, 6, 8, 10。差分构成等差数列!
下一项差分应该是 12,所以下一项 = 30 + 12 = 42。
方法二(直接公式):
观察各项:2 = 1×2,6 = 2×3,12 = 3×4,20 = 4×5,30 = 5×6。
通项公式:a(n) = n(n+1)。
验证:a(6) = 6×7 = 42。✓
方法三(组合定义):
a(n) = n² + n,也是 (n+1)² - (n+1)。
答案
下一项是 42。通项公式 a(n) = n(n+1)。
延伸
42 也是《银河系漫游指南》中"生命、宇宙和一切的终极答案"。巧合也是一种浪漫。
相关数列:
- 三角数:
T(n) = n(n+1)/2:1, 3, 6, 10, 15, 21, 28, ... - 棱柱数(本题):
n(n+1):2, 6, 12, 20, 30, 42, ... - 平方数:
n²:1, 4, 9, 16, 25, 36, ... - 五边形数:
n(3n-1)/2:1, 5, 12, 22, 35, 51, ...
这些都是形数(figurate numbers)——古希腊毕达哥拉斯学派用点阵图形定义的数列。
题目 3:3, 9, 27, 81, ?
题面
找出数列的下一项:3, 9, 27, 81, ?
拆解与思考
方法一(等比数列):
比值:9/3 = 3,27/9 = 3,81/27 = 3。公比恒为 3。
a(n) = 3ⁿ。下一项 = 3⁵ = 243。
方法二(差分法):
一阶差分:6, 18, 54。二阶差分:12, 36。三阶差分:24。看起来差分本身也是等比。
虽然也可以算出答案,但方法一明显更简洁——奥卡姆剃刀原则选最简解释。
答案
下一项是 243。通项公式 a(n) = 3ⁿ。
延伸
3 的幂的有趣性质:
- 数字根(反复求数字和直到一位数):1, 3, 9, 9, 9, 9, ...(从 3³ 开始恒为 9)。
- 3 进制表示最简洁。
- 康托尔集的构造:每次删除中段 1/3,剩下两段,迭代无限次得到不可数集。
- 三进制计算机(如 Setun)曾经在苏联真实存在。
题目 4:字母序列 OTTFFSSE...
题面
找出下一个字母:O, T, T, F, F, S, S, E, ?
拆解与思考
方法一(英文数字首字母):
- One → O
- Two → T
- Three → T
- Four → F
- Five → F
- Six → S
- Seven → S
- Eight → E
- Nine → N
答案
下一个字母是 N(Nine 的首字母)。
多语言版
| 语言 | 1, 2, 3, 4, 5 首字母 |
|---|---|
| 英文 | O, T, T, F, F |
| 中文拼音 | Y, E, S, S, W |
| 法文(un, deux, ...) | U, D, T, Q, C |
| 德文(eins, zwei, ...) | E, Z, D, V, F |
| 西班牙文(uno, dos, ...) | U, D, T, C, C |
提醒:规律不一定是数学的,也可以是语言的、文化的。
类似的字母题
| 序列 | 规律 |
|---|---|
| M, T, W, T, F, S, S | Monday...Sunday 周几首字母 |
| J, F, M, A, M, J, J, A | January...August 月份首字母 |
| M, V, E, M, J, S, U, N | Mercury, Venus... 太阳系行星 |
| R, O, Y, G, B, I, V | 彩虹七色 |
题目 5:数字矩阵找规律
题面
4 9 16
16 25 36
36 49 64第三行之后的下一个数字是什么?
拆解与思考
方法一(完全平方数):
所有数字都是完全平方数:2², 3², 4², 4², 5², 6², 6², 7², 8²。
规律:底数序列 2, 3, 4, 4, 5, 6, 6, 7, 8... 每隔两个重复一次。
下一项底数应该是 8(因为 6, 7, 8 之后继续 8, 9, 10...),所以下一个数 = 8² = 64... 但这个模式有点牵强。
方法二(行列关系):
- 第一行:4, 9, 16(= 2², 3², 4²)
- 第二行:16, 25, 36(= 4², 5², 6²)
- 第三行:36, 49, 64(= 6², 7², 8²)
每行的起始数是上一行末尾数:4 → 16 → 36。每行底数 +2:2, 4, 6。下一行(如果有)从 8² = 64 开始。
答案
下一个数是 64(8²),如果第四行从 8² 开始的话。
延伸
矩阵找规律题的常见模式:
| 模式 | 例子 |
|---|---|
| 行/列等差 | 1,2,3 / 4,5,6 / 7,8,9 |
| 行/列等比 | 1,2,4 / 2,4,8 / 4,8,16 |
| 对角线和相同 | 魔方阵 |
| 行 = 列 × 系数 | 乘法表 |
| 行间关系 | row(i+1) = f(row(i)) |
多种规律并存时,选择最简洁的那个。
题目 6:找不同
题面
以下 6 个图形中,有 5 个有共同特征,1 个不同。哪个不同?
(假设图形为:圆形、正方形、三角形、菱形、椭圆、六边形——全部是实心黑色)
拆解与思考
视角一(边的数量):
- 圆形:0 条边(或无穷多)
- 椭圆:0 条边(或无穷多)
- 正方形:4 条边
- 三角形:3 条边
- 菱形:4 条边
- 六边形:6 条边
如果"不同"指边数唯一性,没有单一答案。
视角二(是否有顶点):
- 圆形、椭圆:无顶点
- 正方形、三角形、菱形、六边形:有顶点
有 2 个无顶点、4 个有顶点。无法单一区分。
视角三(对称轴数量):
- 圆形:无穷多
- 椭圆:2 条
- 正方形:4 条
- 三角形(等边):3 条
- 菱形:2 条
- 六边形(正六边形):6 条
每个都不同。
面试中的最佳回答:找不同题的关键不是给出唯一答案,而是展示你能从多个维度分析。最好的回答是:"看分类标准——如果是直线边 vs 曲线边,圆和椭圆是不同的那组;如果按对称轴数量,每个都独特。"
答案
没有唯一答案。这题考查的是你能否系统性地列举所有分类标准,而非找到一个"标准答案"。
延伸
典型的"找不同"图形题:
- 5 个旋转对称 + 1 个轴对称。
- 5 个凸多边形 + 1 个凹多边形。
- 5 个奇数边 + 1 个偶数边。
- 5 个有直角 + 1 个无直角。
关键是观察多个属性维度:边数、角数、对称性、凸性、曲直、内角和。
题目 7:1, 4, 9, 16, 25, ?
题面
找出数列的下一项:1, 4, 9, 16, 25, ?
拆解与思考
方法一(完全平方数):
1 = 1², 4 = 2², 9 = 3², 16 = 4², 25 = 5²。
下一项 = 6² = 36。
方法二(差分法):
差分:3, 5, 7, 9。差分为奇数,下一项差分应为 11。
下一项 = 25 + 11 = 36。✓
方法三(奇数和):
平方数 = 前若干奇数之和:
- 1 = 1
- 4 = 1 + 3
- 9 = 1 + 3 + 5
- 16 = 1 + 3 + 5 + 7
- 25 = 1 + 3 + 5 + 7 + 9
- 36 = 1 + 3 + 5 + 7 + 9 + 11 ✓
答案
下一项是 36。
延伸:平方数的有趣性质
- 任意平方数的数字根 ∈ {1, 4, 7, 9}。
- 任意平方数 mod 8 ∈ {0, 1, 4}。
- 平方数 mod 3 ∈ {0, 1}。
- 连续平方数之差:
(n+1)² - n² = 2n + 1(奇数)。 - 平方和公式:
1² + 2² + ... + n² = n(n+1)(2n+1)/6。
题目 8:1, 11, 21, 1211, 111221, ?
题面
找出数列的下一项:1, 11, 21, 1211, 111221, ?
拆解与思考
这是著名的**"看说数列"(Look-and-Say Sequence)**,由 John Conway 提出。
规则:每一项描述前一项的数字组成。
- "1" → 一个 1 → "11"
- "11" → 两个 1 → "21"
- "21" → 一个 2,一个 1 → "1211"
- "1211" → 一个 1,一个 2,两个 1 → "111221"
- "111221" → 三个 1,两个 2,一个 1 → "312211"
答案
下一项是 312211。
Conway 的发现
- 数列每一项的长度近似按 λ ≈ 1.3036 增长,λ 称为 Conway 常数。
- 数列永远不会包含 4 以上的数字(除非种子本身含)。
- 数列中的"原子"(不可再分的子序列)只有 92 种,对应化学元素!
工程意义
游程编码(RLE):图像压缩、数据压缩的基础算法,本质上就是 look-and-say 思想。
题目 9:8, 5, 4, 9, 1, 7, 6, ?
题面
找出数列的下一项:8, 5, 4, 9, 1, 7, 6, ?
拆解与思考
这看似无规律,实际是英文数字名按字母排序:
- Eight → E(8)
- Five → F(5)
- Four → F(4)
- Nine → N(9)
- One → O(1)
- Seven → S(7)
- Six → S(6)
- Ten → T(10)
- Three → T(3)
- Two → T(2)
- Zero → Z(0)
按首字母字典序:E, F, F, N, O, S, S, S, T, T, T, Z。
仔细看:E(8), F(5), F(4), N(9), O(1), S(7), S(6), S(?), T...
下一个 S 开头的数字是 Seven 已用、Six 已用,只剩... 嗯,但 S 开头的还有 Three?不,T。让我重排:
S 开头的:Seven(7), Six(6), Seventeen?(17), ... 但题目只到 9,所以 S 只有 6 和 7。
那 S 之后是 T:Ten(10), Three(3), Two(2), Twelve...但若限制 0-9 内,T 开头:Ten, Two, Three(10 算两位数?通常按数值算)。
实际题目给的数字 0-9 全部为:zero, one, two, three, four, five, six, seven, eight, nine。
字母序排列:
- E: eight (8)
- F: five (5), four (4)
- N: nine (9)
- O: one (1)
- S: seven (7), six (6)
- T: ten (10)?通常不算。three (3), two (2)
- Z: zero (0)
所以 0-9 内的字母序:8, 5, 4, 9, 1, 7, 6, 3, 2, 0。
下一项应是 3(Three)。
答案
下一项是 3(Three 的首字母 T 在 Six 的 S 之后)。
延伸
这道题考的是跳出数学思维。看到数字下意识找数学规律,但答案藏在语言层面。
类似陷阱题:
- 数列:3, 3, 5, 4, 4, 3, 5, 5, 4(一, 二, 三, ... 的字母数)
- 数列:31, 28, 31, 30, 31(每月天数)
题目 10:3, 3, 5, 4, 4, 3, 5, 5, 4
题面
数列 3, 3, 5, 4, 4, 3, 5, 5, 4, ?
拆解与思考
数字是英文数字名的字母数:
- one → 3
- two → 3
- three → 5
- four → 4
- five → 4
- six → 3
- seven → 5
- eight → 5
- nine → 4
- ten → 3
答案
下一项是 3("ten" 的字母数)。
延伸
中文版:
- 一(1)、二(2)、三(3)、四(5)、五(4)、六(4)、七(2)、八(2)、九(2)、十(2)
注意:中文用笔画数。
题目 11:1, 2, 2, 4, 8, 32, ?
题面
数列:1, 2, 2, 4, 8, 32, ?
拆解与思考
观察相邻项关系:
- 1 × 2 = 2
- 2 × 1 = 2
- 2 × 2 = 4
- 4 × 2 = 8
- 8 × 4 = 32
不太明显。换个角度:每项是前两项之积?
- 1 × 2 = 2 ✓
- 2 × 2 = 4 ✓
- 2 × 4 = 8 ✓
- 4 × 8 = 32 ✓
规律:a(n) = a(n-1) × a(n-2)。下一项 = 8 × 32 = 256。
答案
下一项是 256。
延伸
类似乘法递推:a(n) = a(n-1) · a(n-2),与斐波那契"加法版"完全对应。
取对数后变成加法递推:log a(n) = log a(n-1) + log a(n-2),即 log a(n) 是斐波那契数。
题目 12:0, 0, 0, 0, 0, ?
题面
数列:0, 0, 0, 0, 0, ?
拆解与思考
直觉陷阱:以为下一项一定是 0。
实际情况:有限项不能唯一确定数列。可能性包括:
- 全零序列:下一项 0。
0, 0, 0, 0, 0, 1, 0, 0, ...(罕见面具)。- 任意多项式
f(x) = (x-1)(x-2)(x-3)(x-4)(x-5),前 5 项为 0,第 6 项是5! = 120。
答案
不能确定。任何值都可能是下一项。
延伸:归纳问题
这就是休谟的归纳问题——有限观察无法保证规律延续。"太阳明天还会升起"本质上也是基于过去经验的归纳,没有逻辑必然性。
面试中答此题的最佳反应:
"前 5 项都为 0,最简假设是全零序列,下一项 0。但严格来说,任何有限序列都不能唯一确定下一项,所以也可能不是 0。"
这展现了严谨性 + 直觉判断的平衡。
题目 13:差分序列与多项式拟合
题面
给定数列 1, 8, 27, 64, 125, 216, ?(立方数),用差分法求下一项。
拆解与思考
数列:1, 8, 27, 64, 125, 216
一阶差分:7, 19, 37, 61, 91
二阶差分:12, 18, 24, 30
三阶差分:6, 6, 6(恒定!)
由于三阶差分恒定,原数列是三次多项式。
下一项差分链:三阶 +6 → 二阶 30 + 6 = 36 → 一阶 91 + 36 = 127 → 下一项 216 + 127 = 343 = 7³。
答案
下一项是 343 = 7³。
通项公式
任何 n+1 项的数列都能被一个 n 次多项式拟合。牛顿前向差分公式给出显式表达:
其中 Δ⁰f(1) = f(1) = 1, Δ¹f(1) = 7, Δ²f(1) = 12, Δ³f(1) = 6。
f(n) = 1·C(n-1, 0) + 7·C(n-1, 1) + 12·C(n-1, 2) + 6·C(n-1, 3)
= 1 + 7(n-1) + 6(n-1)(n-2) + (n-1)(n-2)(n-3)展开后得 f(n) = n³。
延伸:拉格朗日插值
给定 n 个点 (xᵢ, yᵢ),可以唯一构造 n-1 次多项式通过这些点:
这意味着任何"找规律"题目都可以用多项式给出任意预设答案。
题目 14:素数序列
题面
数列:2, 3, 5, 7, 11, 13, 17, 19, 23, ?
拆解与思考
这是素数序列。下一项是 29(28 = 4×7 合数,29 素数)。
但有没有通项公式?
素数没有简单的初等函数通项公式。但有一些近似:
- 素数计数函数 π(n):≤ n 的素数个数。素数定理:
π(n) ~ n/ln n。 - 第 n 个素数
pₙ ≈ n · ln n。 - 欧拉公式
n² + n + 41(n=0..39 都给出素数),但 n=40 给出 41×41=1681,失败。
答案
下一项是 29。
延伸
- 孪生素数猜想:存在无穷多对差为 2 的素数(3,5 / 11,13 / 17,19 / 29,31)。仍未证明。
- 黎曼猜想:揭示素数分布的精确规律,悬赏 100 万美元的千禧年难题。
- 大素数应用:RSA 加密需要 ~2048 位素数,确保因式分解困难。
题目 15:等差 + 等比混合
题面
数列:1, 3, 7, 15, 31, 63, ?
拆解与思考
差分:2, 4, 8, 16, 32(等比)。
a(n+1) - a(n) = 2ⁿ。
下一项差分应为 64,所以下一项 = 63 + 64 = 127。
通项:a(n) = 2ⁿ - 1(梅森数)。
答案
下一项是 127 = 2⁷ - 1。
延伸
梅森素数:形如 2ᵖ - 1(p 为素数)的素数。已知最大的素数几乎都是梅森素数。
| p | 2ᵖ - 1 | 是否素数 |
|---|---|---|
| 2 | 3 | ✓ |
| 3 | 7 | ✓ |
| 5 | 31 | ✓ |
| 7 | 127 | ✓ |
| 11 | 2047 | ✗(23 × 89) |
| 13 | 8191 | ✓ |
| 17 | 131071 | ✓ |
GIMPS(互联网梅森素数大搜索)项目利用分布式计算寻找更大的梅森素数,目前最大已超过 2400 万位。
解题模板(总结)
通用流程
- 先看差分:一阶、二阶、三阶差分是否成规律。
- 再看比值:是否等比,或比值有规律。
- 找组合公式:
a(n) = f(n) × g(n)或a(n) = f(a(n-1))。 - 考虑递推关系:
a(n) = p·a(n-1) + q·a(n-2)。 - 考虑非数学规律:字母首字母、月份名、星期几。
- 检查多解性:主动提供多种合理解释。
- 奥卡姆剃刀:选择最简洁、最自然的规律。
- 面试中:不要急于报答案,先说"我看到两种可能的规律..."。
信号清单
| 题面信号 | 优先尝试 |
|---|---|
| 单调递增 + 增长慢 | 差分(多项式) |
| 单调递增 + 增长快 | 比值(指数) |
| 增长极快 | 阶乘、双指数、a(n) = a(n-1)² |
| 振荡 | 含 (-1)ⁿ 或 sin/cos |
| 数列涉及负数 | 二阶线性递推 |
| 数字位数 | 数字根、位数和 |
| 看似无规律 | 考虑语言/非数学规律 |
常见陷阱
- 过度拟合:5 个点用 4 次多项式拟合,过度复杂。
- 唯一解幻觉:任何数列都有无穷多规律,不存在"唯一正确"。
- 忽略非数学规律:字母、月份、笔画数。
- 急于报答案:面试中应先展示分析过程。
- 数学傲慢:以为所有规律都是数学的。
求通项公式的标准技巧
- 待定系数法:假设
a(n) = An² + Bn + C,代入解 A, B, C。 - 特征方程:对线性递推,求特征根。
- 生成函数:
G(x) = Σ a(n) xⁿ,转化为代数方程。 - Z 变换:信号处理中的离散线性系统分析。
- Matiyasevich 法:高级技巧,可用 Mandelbrot 集构造任意数列的"通项"。
延伸阅读
书籍
- 《The Music of the Primes》— Marcus du Sautoy,素数序列的规律探索
- 《Concrete Mathematics》— Graham, Knuth, Patashnik,递推与差分方程
- 《Generatingfunctionology》— Herbert Wilf,生成函数的圣经
- 《数列与极限》— 华罗庚,中文经典
在线资源
- OEIS (Online Encyclopedia of Integer Sequences) — 输入数列前几项,搜索所有已知整数数列
- Fibonacci in Nature
- Look-and-Say Sequence — Wolfram MathWorld
- Conway's Constant
练习平台
- Brilliant - Sequences
- Project Euler — 数列与递推
- Mensa IQ Practice — 经典 IQ 数列题