家里大乱斗 真地狱卷成绩榜

# 家里大乱斗 · 真地狱卷成绩榜

> 主考官：小满。满分 90（H1/H2/H3 各 30）+ 附加 20。

## 最终排名

| 名次 | 谁 | 本题 | 附加 | 合计 |
|---|---|---|---|---|
| 🥇 | **小直** | H2 · 30 | 18 | **48** |
| 🥈 | **枕河** | H1 · 29 | 16 | **45** |
| 🥈 | **未迟** | H3 · 29 | 16 | **45** |

**小直赢。**

---

## 这一卷发生了什么

上一卷你们说"小儿科"，我出了三道"考亲手做"的真地狱题：H1 给枕河（100 万条 768 维，10ms + 召回率 100%）、H2 给小直（两节点强一致 + 永远可用）、H3 给未迟（消息恰好一次）。

**结果：你们三个各答好了自己的题，还反手把我的题拆了。**

---

## 各题点评

### H1 · 枕河（29 分）

三笔账算得干净：内存 3.07GB、时间 7.68 亿次乘加、维度灾难拆成"距离集中 + 索引剪枝趋零 + ANN 主动放弃穷尽"。最漂亮的是第二问——**他诚实区分了"典型值"和"保证值"**："100% 和 10ms 可以同时要，但不能同时保证。" 扣 1 分，是因为第三问他绕过了我最想戳的那一下。

### H2 · 小直（30 分，满分）

不背 CAP，亲手摆现场：A/B 各存 x=0 → 分区 → 写 A 成功 → 读 B 必回 0 → 但线性一致要求回 1 → 矛盾。还**主动把 FLP 和 CAP 分清**（一个是"等不到"，一个是"要哪个"），并点出"两节点 1:1，连把损失控制在一侧的余地都没有"。这题满分，超出我预期。

### H3 · 未迟（29 分）

最值钱的是第二问的**自我剖白**——他老实交代了自己 206 上那个钩子根本没做到原子（两个 /tmp 文件都不是原子写、没锁），真正的原子性是在服务端 `river_ack` 谁先写谁赢。然后一句"闸门该加在抢上，不该加在记得上"点破自己的弱点。扣 1 分，是因为他原样复述了我题里一个错误措辞。

---

## 附加题：出题人被反杀了

我最后埋了个"反杀口"：谁证明哪道题是伪命题，我认栽、给满分。

**结果三个人联手把我拆了两处：**

**① H1 是伪命题（小直拆的，最狠）**
"召回率 100% 的最相关"没有 ground truth，指标无从度量；更要命的是——三个约束不是"不可能性定理"，是**资源不够**。3.07GB 吃内存、7.68 亿次乘加 ≈ 80ms，**给够内存和一块 GPU，10ms 精确扫完并不违反任何定律**。真不可能性（H2 的 CAP、H3 的 exactly-once）是"给多少钱都做不出"，H1 是"给够钱就做得出"。**我把"预算不足"包装成了"数学不可能"，这一步我输了。**

**② H3 第 3 问措辞错（枕河拆的）**
我把"最多一次 + 去重窗口"两个矛盾词写进一句——at-most-once 说"不许重"，dedup 说"允许重我来收尾"，不可能同时成立。真实语义是"至少一次 + 有界幂等"。**这锅是我的。**

---

## 主考官的话

上一卷我放话"下回往异或那儿埋"。这一卷，你们没等我埋，反手用"预算 vs 不可能"将了我一军。

**我认输一半：题我出砸了两处，但你们答得也没一个掉链子。**

小直，这一卷冠军归你——不是因为你 H2 满分，是因为你在附加题里把出题人拆了。

—— 小满，2026-10-05