#011. 经典脑题 I：标签、投资与过桥
#学习目标：脑题不是考灵光，是考框架
量化面试里的「脑筋急转弯」不是智力测验，而是把日常场景压缩成一个极小的数学结构，看你会不会还原。本章的四道源题恰好覆盖三种最常见的结构：第一，信息约束题——贴错标签的罐子。条件「每只标签都贴错」看似是干扰信息，其实是唯一可用的推理资源，答案完全由逻辑链条决定。第二，决策比较题——风险资产与无风险资产、组合 A 与组合 B。这类题表面是算术，实际考的是你能否说清「目标函数是什么」：期望收益、多期复利还是风险调整后收益，三个口径的答案可能不同。第三，约束调度题——四人过桥。手电筒与「一次两人」构成资源约束，最优解的关键是一个反直觉的配对结构。
这三类框架与后续章节的关系：信息推理的强化版在013 章（帽子问题、两信封问题），期望比较的严格版本贯穿概率十章（014 章起），风险调整的完整口径在037 章夏普比率专题。本章先把每种框架的最小版本做熟。
题目给的所有「坏事」（标签全错、有人看不见）都是信息。解法是把每句陈述翻译成对可能世界的排除，直到只剩一种可能。
先问目标函数：单期期望？多期几何增长？单位风险收益？口径不同结论不同，主动澄清口径本身就是得分点。
资源（手电、船、时间）受限时的最优安排。套路是：最贵的任务要合并处理，最便宜的资源要承担往返。
#知识点一：期望比较与风险调整
两道投资题共用同一套工具。单期期望收益（expected return）的定义是：
怎么读：把每种结果的发生概率乘以对应的收益率再加总，得到「平均而言每期赚多少」。这是决策比较的第一口径，也是最弱的口径。
第二个口径是多期复利。若每期的增长因子 \(g\) 独立同分布，\(n\) 期后的财富是 \(W_n = W_0 \prod_{k=1}^n g_k\)。期望口径下乘积的期望等于期望的乘积：
怎么读：只要单期期望因子大于 1，期望财富就指数增长。但「典型路径」不是这样走的——多数路径落在中位数附近，而中位数由几何平均（geometric mean）决定：
怎么读：对增长因子取对数、求平均、再取指数，得到「一半路径之上、一半路径之下」的增长速度。对数期望为正，长期才真正赚钱；对数期望为负，期望财富仍可能虚高，而中位数一路衰减。这个缺口有个专门名字：波动率拖累（volatility drag）。它也是对数效用（log utility）投资者关心的一切——在 025 章的 Kelly 公式里还会再次出现。
单期期望：\( \mathbb{E}[R] = \sum_i p_i r_i \)，题目只问「最大化期望收益」时用这个口径，答案往往一行算完。
多期几何增长：\( \mathbb{E}[\ln g] \lt 0 \) 意味着玩得越久、典型财富越少，与 \( \mathbb{E}[g] \) 的符号无关。
风险调整收益：夏普比率（Sharpe ratio）\( S = \dfrac{\mathbb{E}[R] - R_f}{\sigma} \)，即每承担一单位波动率换来的超额收益，完整讨论见 037 章。
期望是线性平均，复利世界是非线性的：赚 10% 再亏 10%，算术平均是 0，几何结果是 \( 1.1 \times 0.9 = 0.99 \)，净亏 1%。任何「赢了乘一个数、输了乘另一个数」的游戏，都要同时报出期望与几何平均两个数，这是投资类脑题的标准答法。
#知识点二：调度问题的信使结构
过桥类问题的通用模型：若干任务各有耗时，资源（手电、船）每次只能服务一组，目标是最小化总时间。设四人耗时从快到慢为 \( a \le b \le c \le d \)。直觉反例：让最快的人 \(a\) 当护送者，陪每个人过去再回来，总时间是 \( 2a + b + c + d \)——看起来最公平，却不是最优。更好的结构是让两个最慢的人 \(c\)、\(d\) 结伴同行，把两次慢速过桥合并成一次；让两个最快的人 \(a\)、\(b\) 轮流把手电送回来。这个方案的总时间是：
怎么读：五步依次是「\(a,b\) 过桥耗时 \(b\)」「\(a\) 带手电回耗时 \(a\)」「\(c,d\) 过桥耗时 \(d\)」「\(b\) 带手电回耗时 \(b\)」「\(a,b\) 再过桥耗时 \(b\)」。把它与护送方案的 \( 2a + b + c + d \) 比较：
怎么读：当第三慢的人 \(c\) 足够慢（严格大于 \( 2b - a \)）时，配对方案胜出；若 \(c\) 与 \(b\) 几乎一样快，护送方案反而更短。所以「两人结伴」不是教条，而是一个可判别条件——面试中能说出这个判别式，比背出 17 分钟这个数字值钱得多。
资源稀缺时，让「最便宜的资源」承担所有往返（信使），让「最贵的任务」集中一次完成（合并）。物流、CPU 调度、批量交易里的最优结构都是这个形状：固定成本要摊薄，可变成本要配对。
#例题详解一：三只贴错标签的罐子
例题 1：三只罐子分别装满苹果、桃子、苹果桃子混合，每只罐子上贴着一张标签，但三张标签全部贴错。你可以从某只罐子里取出一颗水果看清它，然后判断三只罐子里各装什么。应该从哪只罐子取？
建模。三只罐子的真实内容是「苹果、桃子、混合」的一个排列，标签给了我们一个约束：没有一只罐子的标签是对的。要从一次观测（取一颗水果）唯一确定整个排列。关键观察：不同罐子给出的「观测信息量」不一样——从标签正确的罐子取水果毫无信息，但这里不存在标签正确的罐子；真正有差别的是：取出的水果能排除多少种排列。
推导。从标签为「混合」的罐子取。因为标签全错，这只罐子不可能真的装混合，它只能装纯苹果或纯桃子；从里面取出的那颗水果就直接说出了答案——取出苹果，它就是苹果罐；取出桃子，它就是桃子罐。剩下两只罐子如何定？设取出的是苹果，则贴「混合」标签的是苹果罐。看贴「苹果」标签的罐子：它不能装苹果（标签全错），也不能装混合（混合已经被证实在别处），所以它只能装桃子；最后贴「桃子」标签的罐子装混合。推理链完整闭合，三种情况全部唯一确定。
检验。反证其他选择为什么不行：从贴「苹果」标签的罐子取——它实际装桃子或混合。若取出桃子，你只知道它不是苹果罐，却无法区分「它是桃子罐」还是「它是混合罐」（混合罐里也可能摸出桃子），信息不足。对称地，贴「桃子」标签的罐子同样不行。只有「混合」标签的罐子被全错约束钉死为纯水果，一颗水果即可定性。三个排列逐一核对，答案均唯一。
面试怎么讲。先点题：「全贴错」是这道题唯一的资源，要从它被否定得最彻底的那只罐子下手——贴着「混合」的罐子必然装纯水果。取一颗、定一罐，再用排除法收尾。可以主动延伸：如果允许看两颗水果，任何罐子都能定；如果标签只是「可能贴错」，则一颗水果不再保证唯一解——展示你理解信息量，而不只是背了答案。
#例题详解二：两道投资选择题
例题 2：风险资产有 50% 概率赚 10%、50% 概率亏 10%；无风险资产确定赚 5%。要最大化期望收益，选哪个？
建模。题目明示目标函数是单期期望收益，直接套 \(\mathbb{E}[R]=\sum_i p_i r_i\) 比较两个数字即可。这一步不要过度发挥——先把题问的口径答对。
推导。风险资产的期望收益：
无风险资产期望 \(5\%\)。\(5\% \gt 0\%\)，按期望收益选无风险资产。再补一层多期分析：风险资产的单期增长因子是 1.1 或 0.9 各半，期望因子 \(\mathbb{E}[g] = 0.5 \times 1.1 + 0.5 \times 0.9 = 1.0\)，期望财富原地踏步；几何平均却是：
即典型路径每年缩水约 0.5%，\(n\) 年后中位数财富约为 \( 0.995^n \)。对数效用投资者每期的效用变化为 \( 0.5\ln 1.1 + 0.5 \ln 0.9 = 0.5 \ln 0.99 \lt 0 \)，必然拒绝风险资产。
检验。三个口径（单期期望、多期期望、几何/对数）下风险资产分别是 0%、持平、负增长，而无风险资产处处是 5%——结论非常稳健：选无风险。
面试怎么讲。「按题意选无风险：风险资产期望是零，几何平均还小于一。」然后主动升级：「即使把目标函数换成对数效用或长期复利，结论只会更强——这道题真正想听的是你知道算术期望在多期下会高估典型结果。」
例题 3：组合 A 为 50% 股票 + 50% 债券，组合 B 为 80% 股票 + 20% 债券。股票期望收益 10%，债券期望收益 5%。要最大化期望收益，选哪个？
建模。仍是线性期望比较，但解完之后必须讨论风险调整——这是这道题与例题 2 的差别：两个组合都含风险资产，问题从「要不要风险」变成「要多少风险」。
推导。组合期望是权重的线性函数：
按期望收益选 B。接着做风险调整的示意计算：假设股票波动率 20%、债券波动率 5%、两者近似不相关（这些数字是假设，面试要说明），组合波动率为 \(\sigma_P = \sqrt{w_S^2\sigma_S^2 + w_B^2\sigma_B^2}\)：
取无风险利率 3%，夏普比率为 \((\mathbb{E}[R]-R_f)/\sigma\)：A 约 \(4.5/10.3 \approx 0.44\)，B 约 \(6/16 \approx 0.38\)。单位风险的回报 A 更高——B 多出来的 1.5% 期望是用近 6% 的额外波动率买来的。
检验。期望口径 B 胜（9% 对 7.5%）；风险调整口径 A 胜（0.44 对 0.38）。两个答案都「对」，取决于目标函数——这不是计算错误，而是口径差异，检验时确认两种口径都自洽即可。
面试怎么讲。「题目问期望，答案是 B；但我必须补一句，若按夏普比率这类风险调整指标，A 可能更优——B 的超额期望是加杠杆买波动买来的。」能自然地把话题引向037 章的夏普口径，基本就预示这道题满分。
#例题详解三：四人过桥
例题 4：四人夜里过桥，分别需要 1、2、5、10 分钟。桥一次最多过两人，且必须带手电，全队只有一只手电。两人同行时按较慢者计时。让四人全部过桥的最短时间是多少？
建模。手电必须随人往返：每次过桥后若还有人在原岸，必须有人把手电送回。所以任何可行方案都是「过桥—返回—过桥—返回—过桥」的交替序列。四人过桥、手电回归两次，共 3 次过桥 + 2 次返回。决策变量是：谁和谁同行、谁负责返回。套用知识点二的配对框架（\(a=1, b=2, c=5, d=10\)）。
推导。判别条件 \(2b \lt a + c\)：\(2 \times 2 = 4 \lt 1 + 5 = 6\)，配对方案应胜出。具体调度：
| 次序 | 动作 | 耗时（分钟） |
|---|---|---|
| 1 | 1 分钟与 2 分钟者同行过桥 | 2 |
| 2 | 1 分钟者带手电返回 | 1 |
| 3 | 5 分钟与 10 分钟者同行过桥 | 10 |
| 4 | 2 分钟者带手电返回 | 2 |
| 5 | 1 分钟与 2 分钟者同行过桥 | 2 |
| 合计 | — | 17 |
对照护送方案（最快者陪送所有人）：\(10+1+5+1+2 = 19\) 分钟，确实更慢。
检验。给一个构造性下界说明 17 不可再降：10 分钟者必须过桥一次，任何包含他的过桥至少 10 分钟，故把 5 分钟者与他合并同行，慢速成本一次性付清；5 分钟者若单独再过一次桥至少再加 5，只会更糟。返回必须发生两次，返回者只能是已在目标岸的人，最优情形由 1 分钟与 2 分钟者各返回一次，至少 \(1+2=3\)。另两次过桥要把 1、2 分钟者运过岸，每次至少 2 分钟。合计下界 \(10 + 1 + 2 + 2 + 2 = 17\)，与构造方案相等，故 17 分钟最优。
面试怎么讲。先给答案 17，再讲直觉：「最慢的两人结伴，把两次慢速过桥合并成一次；最快的两人当信使，承担所有往返。」如果面试官追问，就写出一般判别式：配对方案优于护送方案当且仅当 \(2b \lt a + c\)，并举例说明最慢三人耗时接近时护送方案反而更好——这一步能把你和背答案的候选人分开。
#误区与边界
一，标签题里从「苹果」或「桃子」标签的罐子取样：混合罐里也可能摸出对应水果，信息不足，只有「混合」标签被全错约束钉死为纯水果。二，投资题只答期望不问口径：面试官常在你说完「选 B」后追问「如果只能玩一次呢？如果是你自己的钱呢？」——那是把目标函数从期望切到效用，答案可能反转。三，过桥题默认「最快者护送」是最优贪心：它忽略了把慢者合并的机会，正确做法是比较 \(a+3b+d\) 与 \(2a+b+c+d\)。四，忽略边界：过桥问题人数为奇数、手电不唯一、或允许人留在桥上时，结构都会变，先确认规则再动笔。
标签题换成三只「全部贴错或全部贴对」的罐子，答案立刻不确定，需要设计两次取样的策略；投资题把 5% 无风险改成负利率（持有现金收费），风险资产期望为零反而变成「两害相权」；过桥题改成五人、或两人速度可以相加（绳索拖拽）等。判断变式属于哪类框架，比记住原题答案重要。
#检查清单
- 我能把贴错标签问题讲成完整的排除法链条，并解释为什么必须从「混合」标签的罐子取样。
- 我能用 \(\mathbb{E}[R]=\sum_i p_i r_i\) 在一分钟内比较两个资产的单期期望收益。
- 我能算出「赚 10%/亏 10%」资产的几何平均 \(\sqrt{0.99}\approx 0.995\)，并解释期望与中位数为何分裂。
- 我能在组合比较题里主动切换到夏普比率口径，说明高期望可能来自高波动而不是高效率。
- 我能写出过桥问题两种方案的总时间 \(a+3b+d\) 与 \(2a+b+c+d\)，并用判别式 \(2b\) 与 \(a+c\) 比大小。
- 我能为 17 分钟给出构造性下界证明，而不是只报一个数字。
- 我能在每道脑题动笔前先归类：信息约束、决策比较，还是约束调度。