6.2.3 启发式算法与对称群