Quantum search with certainty based on modified Grover algorithms: optimum choice of parameters

In the original Grover algorithm, an exact or almost exact search such that the success probability is unity or infinitesimally close to unity is possible only for certain values of the fraction λ =  M/N where M is the number of marked items that are stored in an unsorted database of N items. There are various modified algorithms with an adjustable phase or phases such that an exact search can be done for any value of λ by means of a finite …