13.21 博弈中的谋算策略
定义 13.20 中的博弈获胜准则从理论上保证了一个玩家存在获胜策略。
条件就是实现定义 13.20 中的博弈获胜准则的所有条件。怎样实现博弈获胜准则的条件？实现博弈获胜准则的方法是：
（1）（观察）观察所有玩家，建立所有玩家关系的初始信息系统
𝐴0；
（2）（生成策略）基于初始信息系统 𝐴0，采取生成策略 𝐺，生成不可约非负矩阵 𝐴，即 𝐺(𝐴0) = 𝐴；
（3）（解码策略：层谱抽象）求解 𝐴 的层谱抽象，即信息系统
𝐴 的编码树 𝑇；
（4）（解码信息）计算层谱抽象策略 𝑇，从信息系统 𝐴 中的解码信息 𝒟𝑇(𝐴)；
（5）（原理）如果解码信息 𝒟𝑇(𝐴) 适当大，那么对任意一个节点 𝛼 ∈ 𝑇，𝑇𝛼 是一个真实的由玩家构成的模块；
（6）（共性提取）对每一个 𝛼 ∈ 𝑇，𝛼 ≠ 𝜆，提取 𝑇𝛼 中玩家的共
性 𝐶𝛼;
（7）（共性博弈策略）对每一个 𝛼 ∈ 𝑇，𝛼 ≠ 𝜆，如果 𝑇𝛼 的共性
𝐶𝛼 ≠ 𝜙，基于共性 𝐶𝛼 设计策略 𝑆𝛼；
对于玩家 𝑦 ∈ 𝑇𝛼，称 𝑦 是共性可满足的，如果 𝑦 服从策略 𝑆𝛼，否则称 𝑦 不是共性可满足的。
（8）（独立可满足策略）对每一个 𝛼 ∈ 𝑇，𝛼 ≠ 𝜆，如果存在 𝑦 ∈
𝑇𝛼
使得 𝑦 不是共性可满足的，那么设计 𝑦 的策略 𝑆𝑦，使得 𝑦 服
𝛼
𝛼
从策略 𝑆𝑦，称 𝑦 是独立可满足的，否则称 𝑦 是不可满足的；
（9）（不可满足博弈策略）对于每一个不可满足玩家 𝑦，设计限制策略 𝑟𝑦，使得 𝑦 只能接受 𝑟𝑦。
定义 13.21 中的谋算模型为每一个玩家设计了最优的或唯一可选的博弈策略，从而实现了可解释的必然的获胜策略。
谋算模型通过层谱抽象和分而治之方法结合实现了博弈中的先胜而后战，即只在确保必胜的条件下才参战。这就是博弈/谋算理论的目标。