Finds elements which satisfy constraints determined by black-box function. Classical algorith complexity is O(N) while quantum is O(square root of N).