【发布时间】：2017-04-29 15:58:59
【问题描述】：
分治与分治与分治与归约有何区别。
从 Fomin 和 Kratsch 的 Exact Exponential Algorithms 中，分支和归约算法使用两种类型的规则：
- 简化规则用于简化问题实例或暂停算法
- 分支规则用于通过递归解决问题的较小实例来解决问题实例。
对我来说，这听起来很像 Wikipedia 上给出的分而治之的定义：
分治法（D&C）是一种基于多分支递归的算法设计范式。分治算法的工作原理是递归地将一个问题分解为两个或多个相同或相关类型的子问题，直到这些子问题变得简单到可以直接解决。
但是，当比较分支和归约算法（如 k 可满足性或计算最大独立集）与分治算法（如快速排序和归并排序）时，我的感觉并不相同。
那么分而治之，分支和归约之间有区别吗？如果是这样，是什么特征使它们与众不同。
【问题讨论】：
标签： algorithm recursion divide-and-conquer