计算复杂性
文章平均质量分 72
遨游的laugh哥
CS
展开
-
难解性:intractability
直观感觉:给图灵机更多的时间或空间就能扩大它所能求解的问题类。例如图灵机在时间内能比其在时间内判定更多的语言。层次定理可以证明其正确性:时空界限较大的类比较小的类包含更多的语言。一:层次定理 1)空间层次定理f(n)在O(f(n))空间内可计算:作为只读输入带,输出带是二进制f(n),而工作带所用空间不超过O(f(n).常见的空间可构造函数:线性加速定理:证明思路:修改字母表,多个相邻格子作为一个格子;修改转移函数,若干步转为一步。意义:采用大O记号,常数没有..原创 2021-06-27 17:22:33 · 312 阅读 · 0 评论 -
空间完全理论
一:复杂性理论相关术语1)归约方法1)复杂性理论给出两个复杂性类:,但是A与B是否相等还不清楚。(如:A为P类,B为NP类或PSPACE类)定义A归约:(这种归约指的是机器所用到的资源不能超过A的大小)如果:A归约具有传递性,A和B都在这种归约下封闭,可定义关于B的完全问题。2)复杂性类和完全问题一个复杂性类中的完全问题越多,这个复杂性类就越重要。一个问题只有被证明是某个复杂性类的完全问题才算是被恰当分类。例外:图的同构问题目前没被很好的分类3)分离与塌方两者原创 2021-06-25 19:03:18 · 759 阅读 · 0 评论 -
NP完全理论
一:多项式时间规约def:多项式时间可计算函数: 若存在多项式时间图灵机M,使得在任何输入w上,M停机时f(w)恰好在带上,则称函数:为---多项式时间可计算函数。def:多项式时间规约 语言A可多项式时间(映射)归约到语言B,记为: : 多项式时间可计算函数f,对于每一个输入w,, 这样的函数f成为A到B的多项式时间归约。通俗来说:A和B分别是输入空间和的两个语言,...原创 2021-06-25 13:32:02 · 1430 阅读 · 0 评论 -
空间复杂性1:(SPACE,NSPACE,PSPACE,L,NL,CONL)
目录 空间复杂性空间复杂性1:设M是一个处处停机(在所有输入都停机)的确定性图灵机(DTM),则M的空间复杂度为:函数f:NN,其中f(n)是M在任何长度为n的输入上最多扫描f(n)个不同的带方格。也称:M在空间f(n)内运行。即:DTM M在长度为n的输入上最多用了(读或写)f(n)个格子。2:设NTM M在所有输入的所有计算分支上都停机。(非确定性图灵判定机),则M的空间复杂度为:M在任何长度为n的输入上,在任何计算分支上所扫描带方格的最大数f...原创 2021-06-23 18:22:12 · 3905 阅读 · 0 评论 -
时间复杂性2:P,NP,CONP
几个重要的时间复杂性类:原创 2021-06-20 21:54:15 · 1695 阅读 · 0 评论 -
时间复杂性1:时间复杂度定义,如何计算
def1:时间复杂度设M是一个处处停机的DTM(确定性图灵机),定义函数原创 2021-06-20 01:56:51 · 1095 阅读 · 0 评论 -
图灵机1:简介
图灵机(TM)的特点:1:在带子上既能读又能写2:读写头既能左移又能右移3:带子是无限长的(可以无限存储)4:在jing'ru原创 2021-06-18 02:27:53 · 5315 阅读 · 0 评论 -
图灵机2:等价变形+算法定义
一些形式的图灵机:双向无穷、多维带(带子是平面)、多个带子、一个带上多个读写头,非确定性图灵机等。这些变形是等价的,即在能力上具有等价性:可以识别相同的语言类。因而:图灵机具有wen'jian'xing...原创 2021-06-19 01:36:38 · 3486 阅读 · 1 评论