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

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