3.2 约简算法及分析