第六章空间复杂度.ppt

E.g8.9 f1=$x1x2$x3[(x1úx2)ù(x2úx3)ù(x1úx3)] E确定的变量值 A确定的变量值 ?1 设E：x1=1;A：x2=0;E：x3=1; ?=1,E赢 取值相反 E先胜： 设E：x1=1/0;A：x2=0;E：x3=1/0; ?=0,A赢 A必胜： f2=$x1x2$x3[(x1úx2)ù(x2úx3)ù(x2úx3)] ?2 必胜策略 选手有必胜策略，如果他在博弈双方都下出最关键步骤时能赢 博弈的必胜策略 CP193 好消息 判定在与某具体公式关联的公式博弈中哪方有必胜策略的问题是PSPACE完全的 说明寻找必胜策略很难，游戏还可以玩 令FORMULA-GAME= {?|在与?关联的公式博奕中哪一方有必 胜策略的问题} 问题：判定成员籍 博弈的必胜策略 CP193 定理8.10 FORMULA-GAME是PSPACE完全的 Proof思路： FORMULA-GAME 等价于 TQBF 下页是详细证明 博弈的必胜策略 Proof: f1=$x1x2$x3…[?]是TRUE的条件： $x1x2$x3, ?=TRUE E（先手）必胜策略的条件：E给x1赋某值，使得对x2任意赋值，E可以给x3赋一个值，（E第二制胜）使得?=TRUE 若f2=x1,x2, x3$x4 , x5 x6 [?] A先给x1,x2, x3赋值；E再给x4,x5赋值，A再给x6赋值，使得?=FALSE ∴ 当f1 ∈FORMULA-GAME ，即有必胜策略，f1 ∈TQBF成立 ∴ FORMULA-GAME=TQBF 根据定理8.8：TQBF是PSPACE完全的（ 直观感觉：比NPC还要难） ∴FORMULA-GAME是PSPACE完全的 说明寻找 必胜策略很难，游戏还可以玩 P188 博弈的必胜策略 E先手 的游戏 A先手 的游戏 一种儿童游戏 选手轮流给世界各地的城市命名 每一座选中的城市的首字母必须与前一座城市的尾字母相同，不得重复。 游戏从某指定的起始城市开始，以某方无法延续而认输为止。 E.g. 开始： Peoria Peoria?Amherst?Tucson?Nashua… 结束：直到某方被难倒 类似成语接龙： 大地回春—春满人间—间不容发-发展才是硬道理 –理直气壮--….( 不得重复) 广义地理学 (GG ) CP194 类似成语接龙 节点是世界各地的城市 广义地理学 有向图表示 按照地理学规则翻译为图表示法 选手 指定起始节点 , 交替地挑选节点, 形成简单路径. 要求是简单路径,(每节点只用1次,不重复. 第1个犯规或不能扩展路径 的选手 输. 广义地理学 CP194 1 3 1 1 2 选手I可以选节点2，3 选手2 再无对策 选手I必胜 可选空间 很重要 广义地理学 CP194 1 3 选手I选节点3 选手2 再无对策 选手I必胜 可选空间 很重要 广义地理学 1 3 1 1 5 节点3，选手II只有1条路径可选，即节点5 选手2 再无对策 选手I必胜 广义地理学 1 3 1 1 5 选手II，只能选节点3 此后 ，选手2 再无对策 选手I必胜 广义地理学 1 3 6 1 1 5 8 从节点5出发，选手I，可以选节点6，7，8 7 选手I必胜 广义地理学 1 3 6 1 1 5 选手I，选择节点6 此后 ，选手2 再无对策 选手I必胜 广义地理学 规定的始点 选手1 选手2 1 3 6 1 1 5 选手I，选择节点6 此后 ，选手2 再无对策 选手I必胜 广义地理学 规定的始点 选手1 选手2 1 3 6 1 1 5 选手I，选择节点6 此后 ，选手2 走投无路 选手I必胜 广义地理学 规定的始点 选手1 选手2 广义地理学 (GG ) 选手I必胜 1 3 6 4 5 2 7 8 9 从节点1开始，选手I先做选择 1-1 2-1 1-2 1 3 6 4 5 2 7 8 9 1 游戏这里修改了 方向变成节点3?节点6 广义地理学， 修改 图 选手II必胜 2 1 2 选 1的滑铁卢 Good News 定理8.11 判定在广义地理学中某方有必胜策略的问题是PSPACE完全的 定理的意义 说明这个游戏 难找必胜策略， 还有趣味 令GG= {G,b|在图G上以节点b起始的广义地理学游戏中，选手I有必胜策略} 问题 成员籍判定 广义地理学 定理8.11 GG是PSPACE完全的 //问