机制实施

机制实施指机制的结果函数与社会选择函数一致的状态。假设在一个给定的机制中存在一个均衡策略向量，（s*1（t1），…，s*n（tn））使得结果函数与社会选择函数一致，即g（s*1（t1），…，s*n（tn））＝f（t1，…，tn），那么该机制可以实施社会选择函数f（t1，…，tn）。这里的均衡策略泛指所有可能的均衡概念，并不限于一种特定的均衡。如果在一个机制中存在多个均衡，一般假设参与人将选择机制设计者希望实现的均衡结果。在机制实施理论中，探讨得最多的均衡概念是占优策略和贝叶斯纳什均衡。