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 完全問題