第十三章计算复杂性

1、第十三章第十三章 计算复杂性计算复杂性13.1 计算模型计算模型13.2 复杂性类型之间的关系复杂性类型之间的关系13.3 归约性关系归约性关系13.4 完备性完备性13.1 计算模型计算模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.

2、1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.1 图灵机的基本模型图灵机的基本模型13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2

3、k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.2 k带图灵机和时间复杂性带图灵机和时间复杂性13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图

4、灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.3 离线图灵机和空间复杂性离线图灵机和空间复杂性 13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理 13.1.4 可满足性问题和可满足性问题和Cook定理定理 13.1.4 可满足性问题和Cook定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.

5、1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.1.4 可满足性问题和可满足性问题和Cook定理定理13.2 复杂性类型之间的关系复杂性类型之间的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.2 时间谱系

6、定理和空间谱系定理时间谱系定理和空间谱系定理13.2.3 填充变元填充变元13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性

7、的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.1 时间复杂性和空间复杂性的关系时间复杂性和空间复杂性的关系13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系

8、定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和

9、空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.2 时间谱系定理和空间谱系定理时间谱系定理和空间谱系定理13.2.3 填充变元填充变元13.2.3 填充变元填充变元13.2.3 填充变元填充变元13.2.

10、3 填充变元填充变元13.2.3 填充变元填充变元13.2.3 填充变元填充变元13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.3 归约性关系归约性关系13.4 完备性完备性13.4.1 完全问题完全问题13.4.2 完全问题和完全问题完全问题和完全问题13.4.1 完全问题完全问题13.4.1 完全问题完全问题13.4.1 完全问题完全问题13.4.1 完全问题完全问题13.4.1 完全问题完全问题13.4.1 完全问题完全问题13.4.1 完全问题