_空间复杂度.pptVIP

Lecture for Computation Theory 2008.5.20 ，哀悼日第二天 ，计算理论课程 复课沉痛哀悼 汶川 8.0级地震 遇难同胞地动天不塌 大灾有大爱 复习 NPC 概念 (时间复杂类） 直 观： NPC 即，最难缠的一群NP，他们 “拉邦结伙、互相规约、同衰共荣”, 有“繁衍能力” 多伦多大学，Cook教授,1972 年 证明 3SAT in NPC 3SAT作为种子，繁衍了上千个著名NPC PSPACE-Complete CP 190 PSPACE-Complete CP 190 Rule for reduction 为什么没有多项式空间规约？ 规约的目的是，以核心为种子，繁衍其他问题 所以要求规约务必做到简单 A machine can explore at most one new cell at each step of its computation 时间简单了，空间就简单了； 空间简单了，时间未必简单？ 所以空间规约意义不大 TQBF问题 CP190 8.31 TQBF T –True Q –Quantifier 量词 （for all , each ) B- Boolean F-Formula 所有的变元都在量词的范围