"Simon's algorithm"