算法机制设计的数学基础.pdfVIP

第30卷 第3期 贵州大学学报 (自然科学版) V01．3ONo．3 2013年 6月 JournalofGuizhouUniversity(NaturalSciences) Jun．2013 文章编号 1000—5269(2013)03—0069—08 算法机制设计的数学基础 许道云 (贵州大学计算机科学与信息学院，贵州 贵阳550025) 摘 要：机制设计理论是博弈论与社会选择理论的综合应用，应用到计算机科学领域中，产生了 算法机制设计，作为一种工具，可以应用到带 自私性和分布信息的算法设计。本文介绍算法机制 设计必要的数学基础和模型。在此架构下，依据一些经典的优化问题设计相应的算法机制，其建 模工具和方法，可以用于经济行为和管理行为的控制与分析 。 关键词：博弈；机制设计；数学基础；算法设计 中图分类号 ：TP301 文献标识码 ：A 机制设计 (MechanismDesign)理论起源于经 假定 为一个环境空间，M为一个信息空间， 济学领域，它是博弈论与社会选择理论的综合应 z为一个结果集合。F：一z为环境结果函数。对 用。该理论所讨论的一般问题是：对于任意给定的 于一个环境点 ∈O，F(0)代表在环境 下的结 一 个经济或社会 目标，在 自由选择、自愿交换、信息 果。对于参与人 Agent—i，对环境 的认识只是某 不完全等分散化决策条件下，能否设计以及怎样设 个侧面 ‘(私有的、局部的环境信息)，参与人集合 计出一个经济机制，使经济活动参与者的个人利益 AgentSet中的成员在 环境下，通过信息交换 (或 和设计者既定的目标一致。其特点是 “目标问题 博弈)，达到某个均衡状态集，用函数关系表示为 的分散决策，决策参与者具有 自私性”，设计者的 ： 一 ， ()表示 环境下的均衡状态集。再 任务是如何设计一个驱动机制，调动参与人共同完 通过一个信息结果函数h：—z，从 ()得到结 成 目标任务。LeonidHurwicz 在 1960年和 1972 果h(())．三元组 7r= (M，，)称为一个机 年的两篇文章是该理论的奠基性工作，2007年诺 制。如果 (())=F()，则称在环境 下，机 贝尔经济学奖授予三位美国经济学家利奥尼德 · 制 丌=(M，，h)实现了 如果存在一个机制 7r 赫维茨 (LeonidHurwicz)、埃里克 ·马斯金 (Eric = ( ，，h)，对于任意的 ∈@，在环境 下，机 Maskin)和罗杰 ·迈尔森 (RogerMyerson)，以表彰 制7r=( ，，)都能实现F，则称机制 7r= (M， 他们在创立和发展 “机制设计理论”方面所作出的 ，h)实现了F．上述实现关系如图1所示： 重要贡献。机制设计理论把社会 目标作为总体既 定 目标，试图寻找实现该 目标的经济机制。即通过 设计博弈的具体形式，使参与者在 自私行为进行策 肘 略选择，以及策略间相互作用，让配置结果与预期 图 1 实现 目标相一致。为达到预期 目标，设计机制时遵循这 直观上，环境结果描述函数 ：_÷z是一个 样的原则：参与者的 自私性 (信息不完全公开，期 一 般性陈述，机制仃= (，，)是实现这一结果 望个人利益最大化)和合意性 (参与者最终形成统 的具体方法(或手