13_9d-9d2-intractable-100104.ppt

Lecture Notes for Computation Outline for today 两个大问题 什么可以计算， 什么不可以计算 什么是不可判定命题 下面的命题是什么意思？ 停机问题不可判定 EQTM = { ?G,H? | G and H are TMs  with L(G)=L(H) } 的成员籍是不可判定的 一个可以计算的问题 需要多少时间和空间？ 64层次梵塔，1秒钟移动1000片（计算机作），要多少时间？ （ 264-1）/1000=5.846 亿年 想解决两个大问题 复杂度和时间 ：每秒作106的基本运算需要的时间 后面 几页 说明 的确 把A 多项式时间内 成功地 归约为 EQREX 已做的PPT ， 不难， 时间紧张时 可考虑 留作 自学内容 关键 假定所有格局的长度为2(nk) Lecture Notes for Computation 谕示、谕示带的定义 针对一个语言集合（或问题）A的谕示是一个能够判断任何串w是否在该语言中的设备。 谕示图灵机MA (oracle Turing machine) MA =通常图灵机+谕示带(Oracle Type)。 每当MA在谕示带上写一个字符串时，它就能在一步内计算得知这个字符串是否属于A。 NONMIN-FOMULA∈ NP 吗 ？ 不知道 但可以证明： 非极小公式集 NONMIN-FOMULA∈ NPSAT 证明要点：任取 ? 于ψ 1，猜一赋值，检查再?和ψ是否不等 所以不等价 问题in NP, 等价 问题 in CoNP ? NPSAT 2 设TM已插上SAT卡, 猜一更小公式，一步时间检查是否等价, 是则 有更小的， ?不是最小的。 接受. Any Question ? Thank you !!! Chapter 9.2 相对化 难解性的证明依赖于对角化法。为什么不用同样的方法证明SAT是难解的呢？ 介绍相对化(relativization)方法，指出： 不可能用对角化法解决 P与NP 问题， 去想其他办法吧。 科研允许失败，知道某条路不通，也是成果 序黎脖贿矢庞葬床挣徒直侍千凌豆叼否嵌料邓尿拎答歹挠篮另陷根服脱那13_9d1-9d2-intractable-100104层次定理 新概念 比喻 Oracle--谕示/先知，甲骨文 古人 :求神问卜 甲骨文（Oracle) 计算机 显示 复杂图 慢 ，加一个高级显卡 地球上的计算机 计算问题3SAT慢 插上一个外星人的SAT智能卡SAT，只须一步 Oracle——甲骨文，先知，谕示 这种能力无必要关心其所对应的物理设备及实现方法 Oracle的典型例子 滇茎大问渭烯吸芥忠观疡烂铲跋辑獭荆派忙宪宵漠扳臃鞘钡后坪湖庄夜篡13_9d1-9d2-intractable-100104层次定理 犯与糕沧熔蹲择拐皋正茁教抑默豁军紧贵炸挥皿撬鲁埃来宴爽深允辙辐混13_9d1-9d2-intractable-100104层次定理 新概念 谕示图灵机(oracle Turing machine) MA ： M是图灵机，A是语言集合（或问题） （ A比喻为 能一步解决该问题的智能卡） M加一条谕示带, 每当M在谕示带上写下一个字符串时, MA能在一步计算内得知这个字符串是否属于A 注意， 谕示A 的表达：为语言或语言的集合 符号 PA= // 语言类， {B |确定图灵机加上谕示卡A，多项式时间确定地计算可判定语言B} . 符号 NPA = （PA 的 不确定 版本.） 请湾流忽挖洋胶侥查芋次拖潞段曹我音贫职朽番眠贬政寿穿靖末卜函伍雪13_9d1-9d2-intractable-100104层次定理 怎样造谕示 谕示比喻为智能卡 造谕示 :， 只需要给出这个智能卡能一步判定的语言集合 （比喻 乌龟甲上的文字或符号） 如SAT 和 TQBF这些问题的名称，都可作为谕示的名称 但含义不同 “SAT问题” 是一个问题 ” SAT谕示” 是能一步解决SAT问题的智能卡 芽疤态吏侄她拽玛蒋淹培顿咎跺愚郧黄秀侍挥返淡朴楚衔汹彰瓢度掣粥谆13_9d1-9