10第6章空间复杂度.pptVIP

Lecture for Computation Theory;2008.5.20 ，哀悼日第二天 ，计算理论课程 复课沉痛哀悼 汶川 8.0级地震 遇难同胞地动天不塌 大灾有大爱;作者/叶浪 　　那是一张熟悉的脸 　是我痛失亲人后看到的最真切的笑脸 　　眼里闪着泪花 　　话里充满着力量 　　那一刻 　　我感到自己有一个强大的祖国 　　那是一张陌生的脸 　　是我埋在瓦砾下看见的最勇敢的脸 　　撬开了残垣 　　搬走了巨石 　　那一刻 　　我感到自己有一个强大的祖国 　　那是一张美丽的脸 　　是我躺在病床上看见的天使的脸 　　包扎我的创伤 　　驱走我的恐惧 　　那一刻， 　　我感到自己有一个强大的祖国 　　;　　那是一张慈祥的脸 　　是我奔离教室前看过的最镇静的脸 　　为了自己的学生 　　成就了自己的永恒 　　那一??? 　　我感到自己有一个强大的祖国 　　那是一张年轻的脸 　　是我在排队长列里看到的最急切的脸 　　为了灾区的伤员 　　献出了自己的殷殷鲜血 　　那一刻 　　我感到自己有一个强大的祖国 　　那是一张忙碌的脸 　　是我在救灾一线上看到的最疲惫的脸 　　眼里布满血丝 　来不及顾及自己的家人 　　那一刻 　　我感到有一个强大的祖国 　　;　　那是世上最可爱的脸 　　是家乡地震后不曾面见过的男男女女的脸 　　虽远在他乡海外 　　温暖的目光却紧紧地落在了我的身上 　　那一刻 　　我感到自己有一个强大的祖国 　　地动天不塌 　大灾有大爱 　　我感到自己有一个强大的祖国 2008年5月14日作于成都市抗震救灾指挥部 作者简介 　　叶浪，成都市某局副局长。在成都市抗震救灾指挥部值班期间，眼见全民一心抢灾救灾感人场面，多次泪湿双眼。他利用工作间隙，在手机上写下真实感 受。“在抗灾这几天，我最强烈最真实的感觉，正是这首词的题目，我相信，在强大祖国的支持下，我们全民一心，众志成城，一定能够战胜灾难！”叶浪说。;复习 NPC 概念 (时间复杂类）;PSPACE-Complete CP 190;PSPACE-Complete CP 190;Rule for reduction;TQBF问题 CP190 8.31;TQBF问题 CP190 8.31;TQBF问题 （CP191);证明：TQBF is in PSPACE;证明：TQBF is in PSPACE;证明TQBF 繁衍能力 （规约 归宿）;A 规约 to TQBF （归宿）;TQBF问题;TQBF问题;TQBF问题;TQBF问题;TQBF问题;TQBF问题;8.3.2 博弈的必胜策略 CP 193;棋手对弈 排兵布阵 特点： 见招拆招，把握关节点，争取主动权 等 互博 最终分出胜负 为什么研究？ 1 游戏有了必胜策略， 玩起来没意思了，需要修改规则 2 如果寻找必胜策略很难， 这个游戏还可以玩 ;TQBF={f| f是真的全量词化布尔公式};TQBF={f| f是真的全量词化布尔公式};. TQBF(真全量词化布尔公式) 对于布尔值变量，值域为｛0,1｝的公式， 总能找到相应的变量取值，使其语句结果=TRUE， 。 ;量化语句? 博弈 作用:描述和解释该语句的含义 博弈? 量化语句 作用:理解该博弈的复杂性;E.g. 前束范式的量词化布尔公式 f=$x1x2$x3…Qxk[?] Q:$/， ?--去掉量词的公式 f与下面的博弈关联 2名选手A, E，轮流为x1，x2，x3…xk选值 容易记忆的规定： 选手A对应 , 选手 E对应 $ ;选手E所对应的量词;不含量词的公式;E.g8.9 f1=$x1x2$x3[(x1úx2)ù(x2úx3)ù(x1úx3)];好消息 判定在与某具体公式关联的公式博弈中哪方有必胜策略的问题是PSPACE完全的 说明寻找必胜