8.7 Simon算法