Solver 的局限与误用（Solver Limitations & Misuse）

一句话定义

Solver 输出是在一组明确模型假设下、对一个博弈节点计算出的策略结果。它不等于现实牌局的绝对正确打法——模型与现实之间的差距，就是本节要讲的全部内容。

一、输入范围

• 范围是你给的：求解器不会自己知道对手实际用什么范围。输入范围若不准确，输出的策略就是在解决「另一个问题」。
• 范围错 → 结论错：范围是模型的地基，地基偏了，上层所有频率与尺度都不可靠。

二、有效筹码深度

• 筹码是核心变量：深筹码与浅筹码几乎是两套游戏，策略结构差别巨大。
• 必须与实战匹配：用 100BB 的结果指导 40BB 的局面，会得到误导性的结论。

三、抽水（rake）

• 抽水改变均衡：有抽水时，某些进攻动作的期望收益下降，均衡会更保守。
• 忽略抽水会偏乐观：把无抽水模型的结果直接用于有抽水的现金局，容易高估进攻性打法的收益。
• 锦标赛与现金局不同：两者收益结构不同，不能互换结论。

四、下注尺度树（bet sizing tree）

• 求解器只在给定尺度集合内搜索：你没给某个尺度，它就不会使用；给了额外的尺度，结果可能改变。
• 尺度树是建模决策：不同工具/设置给出的尺度集合不同，结果自然不同——这不是谁「错」，而是问题定义不同。

五、翻前假设（preflop assumptions）

• 翻前往往被简化：许多求解为了避免组合爆炸，对翻前做了抽象（如只允许少数开池尺度，或使用预解表）。
• 简化会传导：翻前的抽象影响后续街的范围构成，进而影响所有翻后结论。

六、抽象化与模型假设

• 抽象（abstraction）是必要的：完整博弈太大，求解必须压缩动作集合与决策点。
• 抽象带来失真：被合并或省略的选项，其影响会以偏差的形式留在结果里。
• 现实中的牌局复杂度高于模型：对手能做的多于模型允许的动作。

七、没有建模的动作

• 模型外即盲区：现实中对手可以下注一个模型里不存在的尺度、可以做出非常规动作，这些行为不在求解结果的覆盖范围内。
• 不要机械套用：遇到模型外的局面，需要退回原则推理，而不是硬套求解结果。

八、求解精度

• 「求解完成」是相对的：迭代次数、置信阈值不同，输出会略有差异。
• 对微小差异不必执着：在人类无法精确执行的范围内纠结小数没有意义，理解结构比记住数字更重要。

常见误用

• 把输出当「标准答案」：脱离配置引用某个频率，当作所有牌局通用。
• 用结果代替思考：只记「这手牌这么打」，不问为什么、不检查假设。
• 忽略对手是活的：求解假设对手按模型行动，但真实对手会调整；面对会适应的对手，基准本身也需要重新评估。
• 用错游戏形式的结论：把 MTT 结果用于现金局，或反过来。

关键要点

• Solver 输出 = 明确假设下某节点的策略结果，不是现实牌局的绝对真理。
• 八大局限：输入范围、有效筹码、抽水、尺度树、翻前假设、抽象化、未建模动作、求解精度。
• 翻前抽象会传导到所有翻后结论，必须知情。
• 模型外的局面要靠原则推理，不能硬套。
• 学习重点是理解结构与原因，而不是背记数字。