计算理论导引空间复杂性.pptVIP

广义地理学地理学一种儿童游戏。选手们轮流给世界各地的城市命名。每一座选中的城市的首字母必须与前一座城市的尾字母相同，不得重复。游戏从某指定的起始城市开始，以某方无法延续而认输为止。例如：开始：PeoriaPeoria?Amherst?Tucson?Nashua…结束：直到某方被难倒第30页，共48页，星期日，2025年，2月5日地理学图类似成语接龙结点是世界各地的城市第31页，共48页，星期日，2025年，2月5日广义地理学按照地理学规则翻译为图表示法一名选手从指定的起始节点开始，然后选手们交替地挑选结点，形成图中的一条简单路径。要求是简单路径(即每个节点只能用1次)对应于要求城市不能重复。第1个不能扩展路径的选手输掉比赛。第32页，共48页，星期日，2025年，2月5日广义地理学游戏样例选手I必胜136452789从结点1开始，选手I先做选择第33页，共48页，星期日，2025年，2月5日广义地理学游戏样例选手II必胜136452789从结点1开始，选手I先做选择现在方向变成节点3?节点6第34页，共48页，星期日，2025年，2月5日计算理论导引空间复杂性第1页，共48页，星期日，2025年，2月5日*主要内容8.1萨维奇定理8.2PSPACE类8.3PSPACE完全性 8.3.1TQBF问题 8.3.2博弈的必胜策略 8.3.3广义地理学8.4L类NL类8.5NL完全性8.6NL等于coNL第2页，共48页，星期日，2025年，2月5日空间复杂度定义8.1令M是一个在所有输入上都停机的确定型图灵机。M的空间复杂度是一个函数f:N?N，其中f(n)是M在任何长为n的输入上扫描带方格的最大数。若M的空间复杂度为f(n)，也称M在空间f(n)内运。如果M是对所有输入在所有分支上都停机的非确定型图灵机，则定义它的空间复杂度f(n)为M在任何长为n的输入上，在任何计算分支上所扫描的带方格的最大数。通常用渐进记法估计图灵机的空间复杂度。第3页，共48页，星期日，2025年，2月5日空间复杂性类定义8.2令f:N?R+是一个函数，空间复杂性类SPACE(f(n))和NSPACE(f(n))定义如下：SPACE(f(n))={L|L是被O(f(n))空间的确定型图灵机判定的语言}NSPACE(f(n))={L|L是被O(f(n))空间的非确定型图灵机判定的语言}第4页，共48页，星期日，2025年，2月5日例8.3例8.3证明用线性空间算法能求解SAT问题。M1=“对输入?，?是布尔公式：1)对于?中变量x1,…,xm的每个真值赋值：2) 计算?在该真值赋值下的值。3)若?的值为1，则接受；否则拒绝。”显然机器M1是在线性空间内运行，因为每一次循环都可以复用带子上的同一部分。该机器只需存储当前的真值赋值，这只需消耗O(m)空间。因为变量数m最多是输入长度n，所以该机器在空间O(n)内运行。第5页，共48页，星期日，2025年，2月5日例：语言的非确定性空间复杂性例8.4令ALLNFA＝{A|A是一个NFA且L(A)=?*}首先给出非确定型线性空间算法来判定该语言的补ALLNFA。算法的思想是利用非确定性猜测一个被NFA拒绝的字符串，然后用线性空间跟踪该NFA，看它在特定时刻处在什么状态。需要注意的是，此时还不知道该语言是否在NP或coNP中。N＝“对于输入M，M是NFA：1)置标记于NFA的起始状态。2)重复执行下面的语句2q次，这里q是M的状态数。3) 非确定地选择一个输入符号并移动标记到M的相应状态，来模拟读取那个符号。4)如果步骤2和3表明M拒绝某些字符串，即如果在某一时刻所有标记都不落在M的接受状态上，则接受；否则拒绝。”第6页，共48页，星期日，2025年，2月5日例：语言的非确定性空间复杂性*如果M拒绝某个字符串，则它必定拒绝一个长度不超过2q的字符串，因为在任何被拒绝的更长的字符串中，上面算法中所描述的标记的位置分布必定重复出现。介于两次重复出现之间的那一段字符串可以删去，从而得到更短的被拒绝的字符串。所以N