量子分支程序与空间受限的非均匀量子复杂性

本文研究了非均匀量子计算的空间复杂性。所选择的模型是量子分支程序，它为顺序量子算法提供了图形化描述。在论文的第一部分，我们给出了量子分支程序与非均匀量子图灵机之间的模拟，这使得两个模型之间的下界和上界结果可以相互转换。在第二部分，我们将量子OBDD的不同变体与其确定性和随机化对应物进行了比较。在第三部分，我们考虑了所执行的酉操作可能依赖于先前测量结果的量子分支程序。对于该模型，我们给出了随机化OBDD的模拟以及指数下界。