量子计数是一种关键量子算法,旨在确定数据库中标记元素的数量。该算法基于量子相估计算法,并使用Grover算法的进化算子,因为其非平凡特征值取决于标记元素的数量。由于Grover的算法可以看作是在完整图上的量子步行,因此扩展量子计数的自然方法是在不完整的图上使用基于量子 - 步行的搜索的进化运算符,而不是Grover的运算符。在本文中,我们通过分析具有任意数量的标记顶点的完整两分图上的量子步行来探讨此扩展。我们表明,进化运算符的某些特征值取决于标记的顶点的数量,并且使用此事实,我们表明量子相估计可用于获得标记的顶点的数量。与我们的算法与原始量子计数算法紧密相位的两分图中标记顶点数量的时间复杂性。
主要关键词