计算复杂性 课件.ppt

* 7.6.2 NP类 定义7-13 语言L的验证机是一个算法V，这里 A={w| 对某个字符串c，V接受 w,c} 其中，c表示算法V所使用的附加信息，例如Hamilton路问题中给定的一条路的信息，算法V可以判定c是否是Hamilton路。 定义7-14 NP是具有多项式时间验证机的语言类。 * 7.6.2 NP类 定理7-16 一个语言在NP中，当且仅当它能被某个非确定型多项式时间的图灵机判定。 * 7.6.3 NP完全性 定理7-17 [库克—列文定理] 可满足问题属于P，当且仅当P=NP。 定义7-15 称语言LA多项式时间映射可归约到语言LB，或简称为多项式时间可归约到LB，记为LA≤P LB， 若存在多项式时间可计算函数f：Σ*?Σ*，对于每一个w，有 w LA f(w) LB 称函数f为LA到LB多项式时间归约。 * 7.6.3 NP完全性 定理7-18 若LA≤P LB，且LB P，则 LA P。 定义7-16 语言L是NP完全的，若它满足下面两个条件： （1）L NP； （2）NP中的每个LA都多项式时间可归约为L。 定理7-19 [库克—列文定理] 可满足问题SAT是NP完全的。 推论7-3 3SAT是NP完全的。 * 第7章 计算复杂性 * 7.1 图灵机计算复杂性量度 7.1.1 复杂性的量度 1．空间复杂度 2．时间复杂性 3．巡回复杂性 * 7.1.1 复杂性的量度 1．空间复杂度 定义7-1 令M是一个对于所有输入都停机的离线图灵机，s：N?N是一个函数。如果对于每个长度为n的输入字，M在任一条存贮带（或工作带）上至多扫视s(n) 个单元，那么称M是s(n)空间有界图灵机，或称M具有空间复杂度s(n)。 * 7.1.1 复杂性的量度 2．时间复杂性 定义7-2 设M是一个对于所有输入都停机的确定图灵机，t：N?N是一个函数。如果对于每个长度为n的输入，M在停机前最多做t(n)动作（步骤），那么就称M是一个t(n)时间有界的图灵机，或称M具有时间复杂度t(n)。 * 7.1.1 复杂性的量度 3．巡回复杂性 定义7-3 TM M对于给定的输入w ，其运行的周相为（0, i1）,（i1, i2）,（i2, i3）,…,（ir-2, ir-1）,（ir-1, ），则称0，i1， i2，…，ir-1，是一个有限周相的划分，数r称为该划分的巡回数。 * 7.1.2 复杂性量度的记法 定义7-4 设f和g是两个函数，f、g：N?R+。如果 则称f(n)=O(g(n))。此时，g(n)是f(n)渐近增长的一个上界。 * 7.1.2 复杂性量度的记法 定义7-5 设f和g是两个函数，f、g：N?R+，称f(n)=o(g(n))，如果有 * 7.1.2 复杂性量度的记法 【例7-3】不难验证下面各式具有o关系： n2=o(n3) n=o(nloglogn) nlogn=o(n2) * 7.1.2 复杂性量度的记法 【例7-3】不难验证下面各式具有o关系： n2=o(n3) n=o(nloglogn) nlogn=o(n2) * 7.1.2 复杂性量度的记法 * 7.1.3 算法分析 【例7-4】 考虑接受语言 L = {WCWR |W{0|1}*} 的图灵机的复杂性。 语言L具有时间复杂度Ｏ(n)，因为存在一个图灵机M，它具有两条带，并把C左边的内容复制到第二条带上，然后当遇到C时，M第二带的读头向左，经过它刚刚复制的字符串，回至第二带的开始位置，向右比较输入带C右侧的字符和第二带的字符，如果每对字符都相同，且C左边的符号数相等，那么M接受。易见，如果输入长度是n，则M最多做n+1个动作。 * 7.1.3 算法分析 【例7-4】 考虑接受语言 L = {WCWR |W{0|1}*} 的图灵机的复杂性。 存在另一个图灵机M2，它接受L，具有空间复杂度log2n。M2用二条工作带来作二进制计数器，首先，检查输入，看看是否只出现一个C，以及C左边和右边的符号数是否相等。然后，逐个字符地比较C左边和右边的字，同时用上述计数器找出对应的符号，如果它们不一致，M2停机且不接受，如果所有的符号都一致，M2就接受。 * 7.1.3 算法分析 【例7-5】 自然数的二进制表示转变为一进制表示。 图灵机T1的设计如下：设输入为：a0a1a2…an-1(ai{0,1})，则输出为am，其中m=。T1有两条工作带x和y，T1的工作过程如下： （1）在x上写一个a； （2）若输入为空格，则停机； （3）若输入为1，工作带x的内容送至输出带，并把x的