归约计算