Chapter 1 时间复杂性
- 图灵机
- 时间可构造性(不等价)
- 通用图灵机对数时间放大( T → c T l o g T T\rightarrow cTlogT T→cTlogT)
- 对角线方法
- 丘奇-图灵论题(可计算函数就是图灵机可计算函数,“递归定理”)
- 加速定理
- blum加速定理
- 时间压缩定理/线性加速: ϵ T ( n ) + n + 2 \epsilon T(n)+n+2 ϵT(n)+n+2
- 时间复杂性类( P , E X P P,EXP P,EXP)
- 间隙定理(TIME ( b ( x ) ) = (b(x))= (b(x))=TIME ( r ( b ( x ) ) ) (r(b(x))) (r(b(x))))
- 非确定图灵机
- P ⊂ N P ⊂ E X P ⊂ N E X P P\subset NP\subset EXP\subset NEXP P⊂NP⊂EXP⊂NEXP
- 通用非确定图灵机 T → T T\rightarrow T T→T,缺点是不一定终止
- 命题逻辑
- 字(变量或变量否),单项式(若干字的合取),语句(若干字的析取),析取范式(若干单项式的析取),合取范式(若干语句的合取)
- 永真式:所有可满足的合取范式的集合
- SAT ∈ \in ∈NP
- 谓词逻辑
- QBF:所有为真的量化布尔公式的集合
- 计算的逻辑刻画(格局图邻接矩阵表示)
- 时间谱系定理
- f ( n ) log f ( n ) = o ( g ( n ) ) f(n)\log f(n)=o(g(n)) f(n)logf(n)=o(g(n)),则TIME ( f ( n ) ) ⫋ (f(n))\subsetneqq (f(n))⫋ TIME ( g ( n ) ) (g(n)) (g(n))
- 非确定时间谱系定理: f ( n + 1 ) = o ( g ( n ) ) f(n+1)=o(g(n)) f(n+1)=o(g(n)),则NTIME ( f ( n ) ) ⫋ (f(n))\subsetneqq (f(n))⫋ NTIME ( g ( n ) ) (g(n)) (g(n))
- 概率图灵机
- 神谕图灵机
- 归约
- Karp归约:多项式时间可计算的 m m m-归约函数,则称 A A A可卡普规约到 B B B,记作 A ≤ K B A\le_K B A≤KB
- Cook归约: A ∈ A\in A∈ P B ^B B,则称 A A A可库克规约到 B B B,记作 A ≤ C B A\le_C B A≤CB
Chapter 2 空间复杂性
- 绪论
- 空间压缩定理: S ( n ) → ϵ S ( n ) + 1 S(n)\rightarrow \epsilon S(n)+1 S(n)→ϵS(n)+1
- 空间可构造性(等价)
- 通用图灵机线性空间放大( S → c S S\rightarrow cS S→cS)
- 空间谱系定理: f ( n ) = o ( g ( n ) ) f(n)=o(g(n)) f(n)=o(g(n)),则SPACE ( f ( n ) ) ⫋ (f(n))\subsetneqq (f(n))⫋ SPACE ( g ( n ) ) (g(n))