First half-success time in Grover search
ID: first-half-success-time-in-grover-search
For both oracle phases equal to , the good/bad matrix is . Acting times on the initial vector yields success . For , the first crossing of one half is the displayed integer, since the rounded angle stays between and . With this is asymptotic to . Iterating indefinitely is incorrect: the success oscillates after its first maximum.
New to topics? Read the docs here!