非确定性量子查询算法的性质与应用

许多量子算法可在查询模型中分析以计算布尔函数,其中输入由黑盒给出。正如经典决策树版本一样,可能存在不同类型的量子查询算法:精确、零误差、有界误差甚至非确定性。本文研究后一类算法。除已研究的非确定性算法外,我们引入一个新颖概念,提出对偶非确定性量子查询算法。我们考察此类算法的性质,并证明其与精确及非确定性量子查询算法复杂度之间的关系。作为结果及所发现性质应用的一个示例,我们针对特定布尔函数展示了经典确定性与对偶非确定性量子查询复杂度之间 n 对比 2 的差距。