计算复杂性理论.docxVIP

计算复杂性理论总结 图灵机 图灵机的基本模型 它有一条带作为存储装置和一个控制器，控制器带一个读写头（又叫带头），带的两端是无穷的，被划分成无穷多个小方格，每个小方格内可以存放一个符号。控制器有穷个状态。在计算的每一步，控制器总处于某个状态，读写头扫描一个方格。 图灵机的形式化定义，图灵机的接受过程和接受语法过程 一台基本图灵机M由7部分组成：M=（Q，A，C，δ，B，q1，F）。其中Q表示状态集，C为带字母表，δ为动作函数，A为输入字母表，B为空白符，q1为初始状态，F接受状态集。 如果从初始格局q1Bx开始计算，M最终停机在接受格局，则称M接受的所有的字符串组成的集合称作M接受的语言。 图灵机的其他形式 四元图灵机：动作函数可以用四元组的有穷集合来表示。有三种类型，1）qss.q. 2)qsLq, 3)qsRq. 五元图灵机：动作函数用五元组的有穷集合来表示。其中动作函数为δ是从Q×C到C×｛L，R｝×Q的部分函数。有良好总基本类型：1）qss.Lq.表示δq,s=(s.,L,q.)2）qss.Rq.表示δq,s=(s.,R,q.) 单向无穷带图灵机：其带在一个方向上是无穷的，有一个最左方格，称作左端。 多带图灵机：基本图灵机只有一条带，K带图灵机有k条带。 离线图灵机：具有一条只读输入带的多带图灵机。 各种图灵机间的关系 五元图灵机和四元图灵机是等价的。 单向无穷带图灵机与双向无穷带图灵机等价。 多带图灵机和离线图灵机与单带图灵机是等价的。 总结：图灵机都是等价的 不可判定问题及相关结论 如果问题的答案只有两种可能：是或者否，则称这个问题是一个判定问题。通过编码可以建立起判定问题与谓词之间的对应关系。如果谓词是可计算的，则称判定问题是可判定的或可解的。 图灵机的不可判定问题： 图灵机的停机问题：任给DTM M和格局б，从格局б开始，M是否最终停机。 DTM M的停机问题：任给格局б，从格局б开始，M是否最终停机。 存在DTM M使得它的停机问题是不可判定的。图灵机的停机问题是不可判定的。存在DTM M和状态q使得问题“任给格局б，从格局б开始，M是否能到达状态q？”是不可判定的。 关文法不可判定问题： 下列有关文法的问题是不可判定的： 任给一个文法G，是否L（G）=?？ 任给一个文法G，是否L（G）是无穷的？ 任给一个文法G，和字符串X，是否x∈L（G）？ 正则语言 Chomsky范式文法分类 Chomsky将文法分为：0型文法、1型文法、2型文法、3型文法四类。 0型文法：对产生式不附加任何条件。 1型文法：文法G的每一个产生式α→β都满足α?|β|. 2型文法：文法G的每一个产生式都形如A→α，其中A∈V，α∈（T?v)* 3型文法：文法G的每一个产生式都形如A→?B或A→?。其中A,B∈V，?∈T* DFA，NFA正则式定义及相关结论 DFA的定义： 一台确定有穷自动机的有5部分组成,记作M=（Q，a，δ，q1，F）其中Q为状态集，转移函数δ是Q×C→Q的单值函数，q1为初始状态，F为接受状态集。 NFA的定义： NFA也有5部分组成，M=（Q，a，δ，q1，F），其中Q，A，，q1，F与DFA相同，但是δ是Q×C到Q的二元关系。 正则式定义： ε和Φ都是字母表A上的正则式，他们表示的正则集分别为｛ε｝和Φ。 对任一个a∈A，a是正则表达式，它所表示的正则集为｛a｝ 如果R和S是A上的正则表达式，则RUS,R?S和R*都是正则表达式。 相关结论： 正则表达式可以构造等价的NFA。 DFA和NFA计算能力是相等的，二者等价。DFA与NFA仅仅是控制函数的不同。 定理：语言L能被DFA接受当且仅当语言L能被NFA接受 定理：语言L是正则语言当且仅当存在DFA M使L=L(M)。 非正则语言的定义及相关结论 正则语言是正则集，可以用正则表达式的简单式子来表示。对任意一个给定的正则表达式可以构造出不确定有限自动机来接收它，反过来，从任意有限自动机可以找出它所接受的正则表达式。不满足正则语言的条件则为非正则语言。 正则语言的泵引理及主要作用 泵引理：设DFA M有n个状态，L=L（M），x∈L，|x|≥n，则x=uvw且满足下述条件：1）v≠ε 2）|uv|?n 3）对任意的i≥0，uviw∈L 作用：泵引理揭示了正规语言普遍具有的这样一个封闭性质如果L是一个正规语言那么存在一个正整数k, L中那些长度 k的句子中都含有这样的一段子串把这个子串重复任意多次后形成的句子仍然是L中的语句。 泵引理主要用来证明某些语言不是正则的。 上下文无关语言 1）Chomsky范式文法及相关结论 如果上下文无关文法G=（V,T,Γ,S）的产生式形如：X→YZ或者X→a，其中X，Y，Z属于V，a属于T