一类动态博弈的复杂性分析.pdfVIP

2012年9月 广西师范学院学报：自然科学版 Sep．2012 Education ScienceEditionVoI．29NO．3 JournNof Teachers 第29卷第3期 Guangxi University：Natural 文章编号：1002—8743(2012)03—0026—04 一类动态博弈的复杂性分析。 黎华 琴 (贵州大学理学院，贵州贵阳550025) 摘要：考虑具备位置胜利条件的动态博弈的复杂性，证明了有限博弈的策略问题是多项式时间可解的及一 阶逻辑的模型检测博弈问题是PSPACE一完全的． 关键词：策略问题；模型检测博弈；复杂性 中图分类号：TP301文献标识码：A 1引 言 博弈论是一门研究竞争环境下的多人决策的理论，它在经济、交通、军事、政治、计算机科学中有着 广泛的应用．博弈论中存在大量的计算问题，可将这些问题分为两类，一类是Nash均衡的计算问题，另 一类是策略判定问题． 围绕Nash均衡的计算，虽然到目前还没有一个规范的方法来求解所有的博弈模型，但也取得了大 法b]、函数极小化算法¨]、多矩阵迭代算法等b]．近年来，随着对智能算法的研究不断深入，人们尝试利 用各种智能算法来求解Nash均衡，如，模拟退火算法№]、禁忌搜索算法口]、进化算法随]、遗传算法凹]、启 0|、免疫粒子群算法n1’121等． 发式搜索算法n 本文考虑具备位置胜利条件的动态博弈的复杂性分析，包括有限博弈的策略问题与一阶逻辑的模 型检测博弈问题． 2有限博弈的策略问题 一般来说，像象棋、围棋、五子棋等此类具备位置胜利条件的二人博弈可用一个有向图G=(V， XV为所 V。，V。，E)来表示，这里V=V。UV，，V。为局中人0的位置，V，为局中人1的位置，E∈V 有可能的移动．若(可，W)∈E，则称W为口的后继．用vE表示口的后继之集．若在口(∈U)上局中 人盯(口=0，1)没有任何可能的移动，则称局中人盯在位置口上失败． 博弈G的一次对弈是G中的一条路径口。，口1’．一，这里口。为初始位置，若当前位置口。∈Vo，局中 人盯选择一次移动到口。的一个后继u。+，∈口。E；若在位置可。上，局中人口没有任何可能的移动，则局 中人口失败，博弈结束． 博弈G中局中人口的一个策略是一个部分函数厂：U—V，它暗示移动(可，f(口))∈E．称对弈u。， 口1’．一，与局中人口的策略厂是一致的，若对任意砂。∈Ⅵ，f(口。)=铆。+。．局中人口的策略厂在位置铆。 上胜利，若任意始于u。且局中人盯胜利的对弈与．厂一致．策略厂在集合w上是胜利的，若．厂在w中 的任意位置上是胜利的．局中人盯的必胜区域w。为局中人盯有必胜策略的位置之集． 收稿日期：2012—08—26 ·基金项目：国家自然科学基金；教育部博士点基金(20115201110002) 作者简介：黎华琴(1979一)，女，贵州开阳人，硕士研究生，研究方向为算法博弈论(1hq305@163．com) 第3期 黎华琴：一类动态博弈的复杂性分析 ．27． 考虑如下策略判定问题： 实例：(G，口)． 问题：判定局中人0在位置口上是否有必胜策略． 我们有如下结论． 命题1 策略判定问题在多项式时间内可解． 证明 令W：={口∈V。一。：vE=o}，可见w：是局中人盯不需要移动便获胜的位置集合；递归计算 形+1={口∈V。：征n职≠0}，Ⅳ：+1为至多移动以步局中人盯获胜的对弈的初始位置，直到职“= ”，此时不再有使得局中人d在该位置上胜利的位置出现．显然，上述过程在多项式时间内完成． 3模型检测博弈 绝大多数逻辑的模型检测问题都可以转化为适当的模型检测博弈的策略问题．考察一阶逻辑的模 型检测博弈． 设{6是一个具备否定范式形式的一阶公式(