计算理论导引可归约性.ppt

计算理论导引可归约性*第1页，共30页，星期日，2025年，2月5日前言本章讨论另外几个不可解的问题。在讨论过程中，将介绍一个基本方法，可用来证明问题是计算上不可解的，这个方法称为可归约性。归约旨在将一个问题转化为加一个问题，且使得可以用第二个问题的解来解第一个问题，在日常生活中，虽然不这样称呼，但时常会遇见可归约性问题。例如，在一个新城市中认路，如果有一张地图，事情就容易了。这样，就将在城市认路问题归约为得到地图问题。从波士顿到巴黎旅行，可归约到两个城市的飞机票，进而归约到找工作问题。数学上的例子更多。*第2页，共30页，星期日，2025年，2月5日前言ABCDb5b2b1b3b4b7b6BCADb6b2b5b7b4b1b3*第3页，共30页，星期日，2025年，2月5日前言可归约性总是涉及两个问题，称之为A和B。如果A可归约到B，就可用B的解来解A。可归约性说的不是怎样去解A或B，而是在知道B的解时怎么去解A。归约的目的在于：将一个问题转化为另一个问题；且用第二个问题的解来解第一个问题。归约的应用（A可归约到B）如果B是可判定的，则A也是可判定的。如果A是不可判定的，则B也是不可判定的。*第4页，共30页，星期日，2025年，2月5日主要内容5.1语言理论中的不可判定问题5.2一个简单的不可判定问题（自学）5.3映射可归约性 5.3.1可计算函数 5.3.2映射可归约性的形式定义*第5页，共30页，星期日，2025年，2月5日语言理论中的不可判定问题ATM={M,w|M是一个TM，且接受w}ATM是不可判定的，即确定一个图灵机是否接受一个给定的输入问题是不可判定的。下面考虑一个与之相关的问题：HALTTM，即确定一个图灵机对给定输入是否停机（通过接受或拒绝）问题。若将ATM归约到HALTTM，就可以利用ATM的不可判定性证明HALTTM的不可判定性。HALTTM的形式化描述HALTTM={M,w|M是一个TM,且对输入w停机}*第6页，共30页，星期日，2025年，2月5日HALTTM是不可判定的定理5.1HALTTM是不可判定的。证明思路：反证法。（将ATM归约到HALTTM）假设TMR判定HALTTM，利用R可以构造一个判定ATM的TMS。使用R，可以检查M对w是否停机，如果M对w不停机，S就拒绝，因为M,w不在ATM中。如果M对w确实停机，S就模拟它，而不会有死循环的危险。这样，如果TMR存在，就能判定ATM。*第7页，共30页，星期日，2025年，2月5日语言理论中的不可判定问题定理5.1HALTTM是不可判定的。假设TMR判定HALTTM，由之可以构造TMS来判定ATM，其构造如下：S=“在输入M,w上，此处M,w是TMM和串w的编码：1)在输入M,w上运行TMR。2)如果R拒绝，则拒绝。3)如果R接受，则在w上模拟M，直到它停机。4)如果M已经接受，则接受；如果M已经拒绝，则拒绝。”显然，如果R判定HALTTM，则S判定ATM。因为ATM是不可判定的，故HALTTM也必定是不可判定的。*第8页，共30页，星期日，2025年，2月5日语言理论中的不可判定问题定理5.2ETM是不可判定的。假设ETM是可判定的，以此证明ATM是可判定的。设R是判定ETM的一个TM，考虑用R来构造判定ATM的S。当S收到输入M,w时，如何运行？构造S的一个想法是：输入M上运行R且看它是否接受。如果是，知道L(M)是空集，因此M不接受w。如果R拒绝w，则只知道L(M)不空，即M接受某个串，但是不知道是否接受这个特定的w。因此，不能在M上运行R。目标：修改M，使得除了w外，M对所有串都拒绝。ETM={?M?|M是一个TM，且L(M)=?}空问题*第9页，共30页，星期日，2025年，2月5日语言理论中的不可判定问题定理5.2ETM是不可判定的。先用标准术语来写在证明思路中描述的那个修改型机器M1.M1=“在输入x上： 1)如果x≠w，则拒绝。 2)