12.5 整数划分问题