计算理论空间复杂.pptVIP

广义地理学 按照地理学规则翻译为图表示法 一名选手从指定的起始节点开始，然后选手们交替地挑选结点，形成图中的一条简单路径。 要求是简单路径 (即每个节点只能用 1 次) 对应于要求城市不能重复。 第 1 个不能扩展路径的选手输掉比赛。 广义地理学游戏样例 选手I必胜 1 3 6 4 5 2 7 8 9 从结点1开始，选手I先做选择 广义地理学游戏样例 选手II必胜 1 3 6 4 5 2 7 8 9 从结点1开始，选手I先做选择 现在方向变成节点3?节点6 广义地理学 判定在广义地理学游戏中哪一方有必胜策赂的问题是PSPACE全的。 GG = { G, b | 在图 G 上以结点 b 起始的广义地理学游戏中，选手 I 有必胜策略 } 定理8.11 GG 是 PSPACE 完全的。 证明略 广义地理学 下面的的算法判定在广义地理学实例中，选手I是否有必胜策略。换 句话说，它判定GG。现证明它在多项式空间内运行： M=“对输入G，b，G是有向图，b是G的结点： 1）若b出度为0，则拒绝，因为选手I立即输。 2）删去结点b以及与它关联的所有箭头，得到一个新图G1。 3）对于b原先指向的每个节点b1， b2， …， bk，在G1 ， bi上递归地调用 M。 4）若所有调用都接受，则选手?在原先博弈中有必胜策略，所以拒绝。