分治 divide and conquer

思想

分治算法的核心思想：分而治之。

将原问题划分成 n 个规模更小并且结构与原问题相似的子问题，递归地解决这些子问题，最后合子问题的结果，就得到原问题的解。

适用问题？

分治算法解决的问题，一般需要满足下面 4 个条件

1. 原问题与分解成的子问题具有相同的结构
2. 由原问题分解成的子问题可以独立求解，子问题之间没有相关性，这一点是分治算法与动态规划的明显区别
3. 具有分解终止条件，当问题足够小时，可以直接求解
4. 可以将子问题的结果合并成原问题的结果，而这个合并操作的代价不能太大，否则就达不到降低时间复杂度的效果。

和递归的关系？

分治看起来有点像递归。分治算法是一种处理问题的思想，而递归是一种编程技巧。实际上，分治算法一般使用递归来实现。

在分治算法的递归实现中，每一层递归都会涉及下面 3 个操作

1. 分解：将原问题分解成一系列的子问题
2. 解决：递归地求解各个子问题，若子问题足够小则直接求解
3. 合并：将子问题的结果合并成原问题的结果

Rust 代码模版

fn divide_conquer(problem, param1, param2, ...) {
    // 递归终止条件
    if 满足结束条件 { return 求解结果; }

    // 处理当前逻辑，将问题拆分为子问题
    data = prepare_data(problem);
    subproblems = split_problem(problem, data);

    // 下探到下一层，求解子问题
    subresult1 = divide_conquer(subproblems[0], p1, ...);
    subresult2 = divide_conquer(subproblems[1], p1, ...);
    ...

    // 将子问题的结果合并成原问题的解
    result = process_result(subresult1, subresult2, ...);

    // 清理当前层状态
    clear_state();
}

参考资料：

• http://gk.link/a/11qgn
• https://github.com/inrust/Rust-Programming-in-Action