S26-B16 · 分析推理：排除法、假设法与列表法

分析推理（一拖五）的分数不值钱，时间很值钱。五道小题共用一个题干，方法对的人 3 分钟拿 5 分，方法错的人 8 分钟拿 2 分。差别只在有没有把条件先"表格化"——把散在五句话里的约束变成一张能填的表。

1. 三类题型与表格化形态

题型	特征	表格形态
元素对应	若干人 × 若干属性，一一配对	人 × 属性的矩阵，每格填 √ 或 ×
排序	若干元素排成一列或一圈	位置 1..n 的横表，元素填格
分组	若干元素分入两组或多组	元素 × 组别的矩阵

三种表有一个共同点：每行每列只能有一个 √。这条规则让"填一个 √ 就划掉整行整列"成为可能，也是排除法能跑起来的原因。

2. 排除法是第一优先

排除法不是"挨个选项代入"，而是按条件的确定性从强到弱依次执行。顺序对了，很多题在填表阶段就解完了，根本不需要看选项。

排除法执行顺序（确定性从强到弱）
① 直接断定型："甲是医生" → 立刻填入，划掉同行同列
② 否定断定型："甲不是医生""甲不在北京" → 该格打 ×
③ 关系型："甲在乙之前""丙与丁相邻" → 等有位置信息后再用
④ 条件型："若甲去，则乙去" → 最后用，或配合假设法

信息量最大优先："甲既不是 A 也不是 B" 一次排除两格，先处理它

第 ① 类是免费的：题干白给的信息，填进去就能连锁排除。第 ④ 类成本最高，因为条件命题不产生新信息，只做校验。

3. 假设法的使用时机与判据

何时假设
  某元素只剩两种可能，且两种可能下的推断链都很短（两三步内出结果）
判据
  假设 → 推出与已知条件矛盾 → 该假设为假，取另一支
  假设 → 推出与已知条件相容 → 该假设成立（题目保证唯一解时）
成本
  一次假设 = 一条推理链；两条链都长时，改用列表法

假设法的常见误用是"条件一多就假设"。条件多的题恰恰应该先填表——表填到一半，剩下的可能性自然收窄，那时再做假设，一次就成。

4. 四种条件表述的处理

表述	含义	表格动作
甲在乙之前	顺序约束，不含相邻	甲的位置号 < 乙的位置号
甲与乙相邻	位置差为 1	把"甲乙"当一个占位块整体平移
甲不在第一位	单点排除	该格打 ×
若甲则乙	条件约束，不产生新信息	不填表，作为最终校验规则

相邻条件的处理技巧是"打包"：把甲乙看成一个宽 2 的块，块在 1-2、2-3、3-4 之间平移，比逐个位置试要快得多。

5. 四道例题

【例 1】元素对应
三人甲乙丙，职业分别为医生、教师、律师（各一），城市分别为北京、上海、广州（各一）。
条件：
  ① 甲不在北京
  ② 医生在上海
  ③ 乙是教师
  ④ 丙不在广州
  ⑤ 律师在北京

推理表（√ 填入即划掉同行同列）：
        医生  教师  律师 | 北京  上海  广州
  甲     ?    ×    ?   |  ×    ?    ?
  乙     ×    √    ×   |  ?    ×    ?
  丙     ?    ×    ?   |  ?    ×    ?

推演：
  ③ 乙=教师 → 乙≠医生 → ② 乙不在上海
  若丙=医生 → 丙在上海；则甲=律师 → ⑤ 甲在北京，与 ① 矛盾 → 丙≠医生
  故甲=医生 → ② 甲在上海 → 甲不在北京，与 ① 相容
  剩丙=律师 → ⑤ 丙在北京 → 乙=广州
答：甲医生·上海，乙教师·广州，丙律师·北京

【例 2】排序
五人甲乙丙丁戊排 1-5 位。
条件：
  ① 甲紧挨在乙之前
  ② 丙在丁之前
  ③ 丙不在第一位
  ④ 戊在第五位

推演：
  ④ 戊 = 5
  ①②③ 处理前四位
  甲乙打包成块，可占 (1,2)、(2,3)、(3,4)
  (1,2)：剩 3、4 给丙丁 → 丙 3、丁 4，丙不在第一 ✓
  (2,3)：剩 1、4 → 丙 1 ✗（违反③）
  (3,4)：剩 1、2 → 丙 1 ✗
答：甲1 乙2 丙3 丁4 戊5

【例 3】分组
六人甲乙丙丁戊己分两组，每组三人。
条件：
  ① 甲与乙不同组
  ② 丙与丁同组
  ③ 若戊在第一组，则己也在第一组
  ④ 甲不在第二组
  ⑤ 戊与乙同组

推演：
  ④ 甲在第一组；① 乙在第二组；⑤ 戊在第二组
  ② 丙丁同组，两种可能：
    可能在第一组 → 第一组 = 甲、丙、丁（满员）→ 第二组 = 乙、戊、己
      ③ 前提"戊在第一组"不成立 → 无约束 ✓
    可能在第二组 → 第二组 = 乙、丙、丁（满员）→ 第一组 = 甲、戊、己
      但 ⑤ 要求戊在第二组，矛盾 ✗
答：第一组 甲、丙、丁；第二组 乙、戊、己

【例 4】假设法
条件：
  ① 若甲参加，则乙参加
  ② 若乙不参加，则丙参加
  ③ 丙与甲不同时参加
  ④ 丙不参加

问：谁一定参加？
推演：
  ④ 已知 丙不参加
  ② 逆否：丙不参加 ⇒ 乙参加
  （假设法验证：设乙不参加 → ② 要求丙参加 → 与 ④ 矛盾 → 乙不参加为假）
  ① 只约束甲参加的情形，不强制乙参加推出甲参加
答：乙一定参加；甲是否参加尚不确定

例 4 说明一件事：条件命题只能单向使用。"乙参加"推不出"甲参加"，这是肯后误推，与翻译推理里"肯后无结论"是同一条规则。

6. 方法对照表

方法	适用场景	成本	风险
排除法	有直接断定或否定断定条件	低	条件少时排不干净
假设法	某元素只剩两支，且推断链短	中	两支都长时容易漏解
列表法	元素 × 属性达到 3×3 以上	中（前期投入）	表画错一行，全盘皆错
代入法	题干条件多、选项具体	低	逐项代入耗时间
逆否直推	出现"若不…则…"类条件	极低	需先确认能逆否

方法不是互斥的：标准流程是列表法打底，排除法填充，只在卡住时用假设法，最后用条件型条件校验答案。

7. 时间分配

阶段	时间	动作
读题干	30 秒	抄条件并编号，条件长的先简写
画表	30 秒	行列数清点，标出"每行每列一个 √"
填确定项	40 秒	直接断定与否定断定一次填完
逐题作答	30-40 秒/题	先做"一定为真/一定为假"类
校验	20 秒	用条件型条件复核

一组五小题上限 4 分钟。前三小题通常能在表上直接读出答案，第四第五小题才需要假设。做题顺序建议按"能确定的先做"，而不是按题号顺序。

8. 易错点

易错点	表现	纠正
表只画一半	行列不齐，√ 与 × 混用	先画完整网格再填
填 √ 后忘记划行列	同一行出现两个 √	每填一个 √ 立刻划同行同列
相邻条件当顺序条件	"甲乙相邻"当成"甲在乙前"	相邻是打包平移，不是大小比较
肯后误推	由"乙参加"推出"甲参加"	条件命题只能否后
假设后不与条件核对	假设成立就停	必须回溯全部条件
忽略"至少一人"类总量条件	只解出部分组合	总量条件常用来排除剩余解

9. 边界

场景	处理	理由
元素超过 7 个	改用"位置行 + 元素块"的紧凑画法	大表填起来比推理更慢
环形排列	固定一人位置破环，再按线性处理	环无起点，必须先钉一个
条件含"至多/至少"	先当边界，最后用来砍解	这类条件不产生确定格
五小题中出现"可能为真"	用排除法删掉不可能的	"可能"只需一个相容解
单组超过 4 分钟	做完能确定的，剩余标记	五题共用题干，沉没成本高
两解并存	检查是否漏用了条件型条件	唯一解是题目的默认前提

10. 自测

排除法的执行顺序为什么按"直接断定 → 否定断定 → 关系型 → 条件型"排？
"甲既不是 A 也不是 B"这类条件为什么优先处理？
假设法的两个判据分别是什么？
"甲与乙相邻"在表格上怎么处理最快？
条件型条件（若甲则乙）在解题流程中放在哪一步？
一组五小题的时间上限是多少？遇到"可能为真"的题该用什么方法？