計算复杂性理论.docxVIP

计算复杂性理论总结图灵机图灵机的基本模型它有一条带作为存储装置和一个控制器，控制器带一个读写头（又叫带头），带的两端是无穷的，被划分成无穷多个小方格，每个小方格内可以存放一个符号。控制器有穷个状态。在计算的每一步，控制器总处于某个状态，读写头扫描一个方格。图灵机的形式化定义，图灵机的接受过程和接受语法过程一台基本图灵机M由7部分组成：M=（Q，A，C，δ，B，，F）。其中Q表示状态集，C为带字母表，δ为动作函数，A为输入字母表，B为空白符，为初始状态，F接受状态集。如果从初始格局Bx开始计算，M最终停机在接受格局，则称M接受的所有的字符串组成的集合称作M接受的语言。图灵机的其他形式四元图灵机：动作函数可以用四元组的有穷集合来表示。有三种类型，1） 2) 3)五元图灵机：动作函数用五元组的有穷集合来表示。其中动作函数为δ是从Q×C到C×｛L，R｝×Q的部分函数。有良好总基本类型：1）表示2）表示单向无穷带图灵机：其带在一个方向上是无穷的，有一个最左方格，称作左端。多带图灵机：基本图灵机只有一条带，K带图灵机有k条带。离线图灵机：具有一条只读输入带的多带图灵机。各种图灵机间的关系五元图灵机和四元图灵机是等价的。单向无穷带图灵机与双向无穷带图灵机等价。多带图灵机和离线图灵机与单带图灵机是等价的。总结：图灵机都是等价的不可判定问题及相关结论如果问题的答案只有两种可能：是或者否，则称这个问题