论量子语言的复杂性

提供给量子机器的标准输入是经典二进制串。在此观点下，任一量子复杂度类都是 $\{0,1\}^{*}$ 的子集之集合。然而，量子机器也可接受量子态作为其输入。T. Yamakami 引入了量子算符与输入的通用框架 \cite{Yam02}。本文在该模型中给出若干量子语言，并通过推广复杂度类 QMA 与 QCMA 来分析所引入语言的复杂性。我们还讨论了如何由给定量子语言导出经典语言，并由此引入了新的 QCMA 与 QMA 语言。