问题可以分解为规模较小的子问题;小规模子问题可解;子问题可合并为问题的解;子问题相互独立