7.3 水平集分割