arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1507.01423cs.GTcs.PL
收藏

超模对策的抽象解释

Abstract Interpretation of Supermodular Games

Francesco Ranzato

摘要:

超模博弈在各种模型中有着重要的应用,特别是在运筹学和非合作博弈论的经济应用中,并且具有完全格上多值函数不动点的纯策略纳什均衡。纯策略纳什均衡的supermodular游戏在这里近似诉诸理论的抽象解释,一个完善的和已知的框架,用于设计静态分析的程序设计语言。这是通过扩展理论的抽象解释,以处理近似的多值函数,并通过提供一些方法抽象supermodular游戏,以获得近似的纳什均衡被证明是正确的抽象解释框架内。

英文摘要:

Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract interpretation, a well established and known framework used for designing static analyses of programming languages. This is obtained by extending the theory of abstract interpretation in order to handle approximations of multivalued functions and by providing some methods for abstracting supermodular games, in order to obtain approximate Nash equilibria which are shown to be correct within the abstract interpretation framework.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑