Biham提出的Grover量子搜索算法的递归方程分析等.[物理版本A60,2742(1999)]。它适用于一大类Grover型算法,其中Hadamard变换被任何其他幺正变换替换,相位反演被任意角度的旋转替换。对于任何初始复振幅分布,标记态和未标记态振幅的时间演化用一阶线性差分方程表示。求解这些方程确切地解决方案提供了迭代次数T型在此之后,测量时发现标记状态的概率最高,以及此概率的值,两者都有T型和被发现依赖于有标记和无标记状态的初始振幅分布的平均值和方差,但不依赖于较高的矩。
内政部:https://doi.org/10.1103/PhysRevA.63.012310