计算理论导引8空间复杂性.pptVIP

例8.3 例8.3 证明用线性空间算法能求解 SAT 问题。 例：语言的非确定性空间复杂性 例8.4 令 ALLNFA ＝ { A | A 是一个 NFA 且 L(A) = ?* } TQBF 问题 量词： ? 、? 对于自然数，语句 ?x [ x+1x ] 为真。 ? y [ y+y=y ]为假。 辖域：量词的作用范围。 前束范式： 形如 ? = Q1x1 Q2 x2 … Qk xk B， Qi 为?或? 量词化布尔公式：带量词的布尔公式（必须是前束范式）。 全量词化：公式中的每个变量都出现在某一量词的辖域中。 TQBF 问题就是要判定一个全量词化的布尔公式是真是假。 TQBF={ ? | ? 是真的全量词化的布尔公式} TQBF 问题 下面，证明 TQBF 是 PSPACE 难的。 设 A 是一个由 TM M 在 nk 空间内判定的语言，k 是某个常数。 下面给出一个从 A 到 TQBF 的多项式时间归约。该归约把字符串 w 映射为一个量词化的布尔公式 ? ， ? 为真当且仅当 M 接受 w。 为了说明怎样构造 ? ，需解决一个更一般的问题。利用两个代表格局的变量集合 c1 和 c2 及一个数 t 0，构造一个公式? c1, c2 , t。如果把 c1 和c2 赋为实际的格局，则该公式为真当且仅当 M 能够在最多 t 步内从 c1到达 c2。然后，可以令 ? 是公