18、量子对数空间计算与多项式大小建议及自动机等价性检查

量子对数空间计算与多项式大小建议及自动机等价性检查

在计算理论领域，量子计算与自动机理论一直是研究的热点。本文将探讨量子对数空间计算中多项式大小建议的作用，以及有限转换器和两带自动机的等价性检查问题。

量子对数空间计算相关内容

定理 5 及相关命题

设 (A, B \in {D, N, BP, BQ})，有 (2A/poly \subseteq 2B) 当且仅当 (AL \subseteq BL/poly)（其中 “(DL)” 理解为 “(L)”）。为了证明这个定理，需要先证明一些相关的命题和引理。

命题 6 建立了非均匀状态复杂度类和参数化复杂度类之间的紧密关系。设 ((A, B) \in {(2D, L), (2N, NL), (2BP, BPL), (2BQ, BQL)})：
1. 对于任何参数化决策问题 ((L, m))，设 (L = {(L_n, \overline{L_n})} {n \in N}) 是由 ((L, m)) 诱导的族，则 ((L, m) \in para - B/poly \cap PHSP) 当且仅当 (L \in A/poly)。
2. 设 (L = {(L_n, \overline{L_n})} {n \in N}) 是任何承诺决策问题的族，设 ((K, m)) 是由 (L) 诱导的参数化决策问题，则 (L \in A/poly) 当且仅当 ((K, m) \in para - B/poly \cap PHSP)。

这里仅展示 (A = 2BQ) 和 (B = BQL) 的情况，命题 6(1) 的证明分为两个引理。

引理 7