4.1.4 Simon算法