计算复杂性课程

Chapter 1 时间复杂性

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

Chapter 2 空间复杂性

• 绪论
  • 空间压缩定理：$S(n)\to ϵS(n)+1$
  • 空间可构造性（等价）
  • 通用图灵机线性空间放大（$S\to cS$）
  • 空间谱系定理：$f(n)=o(g(n))$，则SPACE$(f(n))⫋$ SPACE ( g ( n ) ) (g(n))