完全信息

完全信息 (Complete Information)

完全信息 (Complete Information) 是博弈论和信息经济学中的一个基础假设，指博弈中的所有参与者都准确地知晓博弈的结构——包括每个玩家可用的策略集合、所有可能策略组合下每个玩家的支付函数 (Payoff Function)，以及所有玩家都是理性的这一事实。换言之，游戏的规则对所有人是共同知识 (Common Knowledge)。完全信息是博弈分析的起点，也是划分博弈类型的关键维度之一。

完全信息 vs 完美信息

"完全信息"极易与"完美信息"混淆，但二者在博弈论中有严格区别：

| 维度 | 完全信息 (Complete Information) | 完美信息 (Perfect Information) | |------|-------------------------------|-------------------------------| | 核心含义 | 所有玩家知道博弈的结构和规则 | 每个玩家在行动时知道此前的全部行动历史 | | 信息对象 | 支付函数、策略空间、玩家类型 | 博弈进程中的历史节点 | | 典型反例 | 拍卖中不知对手估值 | 同时出拳的石头剪刀布 | | 关键博弈类型 | 不完全信息博弈 → 贝叶斯博弈 | 不完美信息博弈 → 信息集 |

一个博弈可以同时是完全但不完美的（如同时行动的囚徒困境：双方都知道对方的支付，但不知道对方当前的选择），也可以是不完全但完美的（如某些序贯博弈中，玩家不知道对手类型但能观察到所有历史行动）。

形式化定义

在一个标准式博弈 $G = \langle N, (S_i)_{i \in N}, (u_i)_{i \in N} \rangle$ 中，完全信息意味着：

• $N$（玩家集合）对所有玩家是共同知识；
• 每个 $S_i$（玩家 $i$ 的策略空间）对所有玩家是共同知识；
• 每个 $u_i: \prod_{j \in N} S_j \to \mathbb{R}$（支付函数）对所有玩家是共同知识。

当这些条件全部满足时，博弈是完全信息博弈。此时纳什均衡等解概念可以直接使用。一旦任一条件不满足，就进入不完全信息的范畴。

不完全信息与海萨尼转换

现实中的绝大多数经济交互——拍卖、谈判、招聘、贷款——都涉及不完全信息：参与者并不确切知道对手的偏好、成本或估值。约翰·海萨尼 (John Harsanyi) 在1967-1968年的三篇经典论文中提出了处理不完全信息的方法，后被称作海萨尼转换 (Harsanyi Transformation)：

1. 引入一位虚拟的"自然"玩家 (Nature)，在每个玩家真实的"类型" (Type) 上赋予一个先验概率分布；
2. 自然先行一步，按该分布为每个玩家抽取类型，并将类型私下告知该玩家本人；
3. 此后博弈按完全信息的规则进行——每个玩家知道自己的类型但不知道他人的类型，但知道类型分布。

经过这一转换，不完全信息博弈被重新解释为一个不完美信息博弈，从而可使用标准博弈论工具求解。其核心均衡概念是贝叶斯纳什均衡 (Bayesian Nash Equilibrium)：每个玩家的策略是其类型的函数，且在给定对手策略及类型分布的条件下，每个类型下的行动都是最优的。

在经济学中的应用

拍卖理论

拍卖是不完全信息博弈的经典应用场景。在独立私人价值模型中，每个竞拍者知道自己的估值 $v_i$，但不知道对手的估值，仅知道估值从分布 $F(\cdot)$ 中抽取。此时不再是完全信息博弈，需要借助贝叶斯纳什均衡来分析投标策略。维克瑞拍卖 (Vickrey Auction) 和收益等价定理等核心结论均建立在此框架之上。

契约理论

在委托-代理问题中，委托人无法完全观测代理人的努力程度或其真实能力——这是信息不对称情形（不完全信息的一种），需要设计激励相容的契约。完全信息假设下的最优契约（first-best）往往不可实现，实际中只能达到次优解 (second-best)。

一般均衡理论

在瓦尔拉斯一般均衡模型中，通常假设消费者和生产者对市场价格和商品性质拥有完全信息。这一强假设是福利经济学第一定理成立的前提之一。当信息不完全时，市场可能无法实现帕累托有效，信息经济学由此发展出柠檬市场理论（乔治·阿克洛夫，1970）和信号传递模型（迈克尔·斯彭斯，1973）。

完全信息的策略意义

完全信息假设极大地简化了分析：每个玩家可以直接预测对手在不同情境下的理性选择，推理链条清晰、可追溯。然而，它也面临两点根本性挑战：

1. 现实适用性：绝大多数经济和社会互动中，决策者并不拥有如此完备的知识。这一假设因此被视为一种分析基准 (benchmark)，而非对现实的忠实描述。

1. 无限递归问题："我知道你知道我知道……" 这种共同知识假设在逻辑上极为苛刻，某种程度上要求每个参与者拥有无限的计算能力和共享的认知模型。

正因如此，博弈论和信息经济学在过去五十年的核心进展——从海萨尼的不完全信息博弈，到奥曼 (Aumann) 的相关均衡，到非共同先验假设下的均衡概念——几乎都围绕着放宽完全信息这一假设展开。完全信息与其说是描述现实世界的工具，不如说是理论大厦的地基：理解它的局限，才能理解整个信息经济学的要旨。