机制设计中的履约理论研究综述

显示原理和履约理论是机制设计理论中的两大基石。履约理论把社会选择规则和博弈论联系起来，确保计划者预设的社会目标可以实现。马斯金首先提出了纳什履约理论的充分必要条件，即马斯金单调性和无否决权，随后其他学者提出了其它均衡策略的履约条件。文章论述了履约理论的产生背景和过程，分析了完全信息和不完全信息两种情形下不同的均衡策略履约条件及其精炼，并讨论了履约理论的局限性和未来的研究方向。

The study on the implementation theory of mechanism design

The revelation principle and implementation theory are two milestone of the mechanism design theory.The implementation theory connect the social choice rule with the game theory ,which insure the social goal function of player to be realized. On the basis of impossibility of dominant strategies, Maskin first bring up the necessary and sufficient condition of Nash equilibrium implementation,i.e,Maskin monotonicity and no veto power, then some economists generalize to other strategies implementation. The paper first discuss the generation and development of implementation theory; then analyse all kinds of strategies implementation and their refinements in complete and incomplete information; finally, sums up the limits and future research emphasis of implementation theory.