分治算法需要满足的条件