5.9 模板
这是分治算法模板的一种,另外一种模板是二分算法。
void solve(p) // p表示问题的范围、规模或别的东西。
{
if (p的规模够小) { 用简单的办法解决 }
// 分解:将原问题分解为若干个规模较小,相互独立,与原问题形式相同的子问题。
// 一般把问题分成规模大致相同的两个子问题。
for (int i=1;i<=k;i++)
把p分解,第i个子问题为pi
// 解决:若子问题规模较小而容易被解决则直接解,否则递归地解各个子问题。
for (int i=1;i<=k;i++)
solve(pi);
// 合并:将各个子问题的解合并为原问题的解。
……
}
分治法:对于一个规模为 n 的问题,若该问题可以容易地解决(比如说规模 n 较小)则直接解决,否则将其分解为 k 个规模较小的子问题,这些子问题互相独立且与原问题形式相同,递归地解这些子问题,然后将各子问题的解合并得到原问题的解。这种算法设计策略叫做分治法。
分治法所能解决的问题一般具有以下几个特征:
1. 该问题的规模缩小到一定的程度就可以容易地解决。
2. 该问题可以分解为若干个规模较小的相同问题,即该问题具有最优子结构性质。
3. 利用该问题分解出的子问题的解可以合并为该问题的解。
4. 该问题所分解出的各个子问题是相互独立的,即子问题之间没有交集