9.9 西蒙算法