Assertion: algorithm | /r/CapableOf | find unique input
Facets:
value: with high probability
type: OTHER
value: to a black box function
type: TRANSITIVE-OBJECT
Source sentences:
text: Grover's algorithm is a quantum algorithm that finds with high probability the unique input to a black box function that produces a particular output value, using just O ( N ) {\displaystyle O({\sqrt {N}})} evaluations of the function, where N {\displaystyle N} is the size of the function's domain.