Grover's quantum search: ⌊π/4·√N⌋ oracle-query optimum (quantum)

Quantum application of L0 Peano successor and natural numbers. Grover's 1996 unstructured-search algorithm finds a marked element among N items using exactly ⌊π/4·√(N/M)⌋ oracle calls when M elements are marked. The…