1.分治法

基本概念

字面上的解释是“分而治之”,就是把一个复杂的问题分成两个或更多的相同或相似的子问题,再把子问题分成更小的子问题……直到最后子问题可以简单的直接求解,原问题的解即子问题的解的合并。这个技巧是很多高效算法的基础,如排序算法(快速排序,归并排序),傅立叶变换(快速傅立叶变换)……

基本思想及策略

  • 基本思想:将一个问题,分解为多个子问题,递归的去解决子问题,最终合并为问题的解
  • 策略:对于一个规模为n的问题,若该问题可以容易解决则直接解决,否则将其分解为k个规模较小的子问题,这些子问题互相独立与原问题形式相同,递归地解决这些子问题,然后将各子问题的解合并得到原问题的解

适用情况

  1. 问题分解为小问题后容易解决
    2.问题可以分解为小问题,即最优子结构
  2. 分解后的小问题解可以合并为原问题的解
  3. 该问题所分解出的各个子问题是相互独立的,即子问题之间不包含公共的子子问题。

    第一条特征是绝大多数问题都可以满足的,因为问题的计算复杂性一般是随着问题规模的增加而增加;

第二条特征是应用分治法的前提它也是大多数问题可以满足的,此特征反映了递归思想的应用;、

第三条特征是关键,能否利用分治法完全取决于问题是否具有第三条特征,如果具备了第一条和第二条特征,而不具备第三条特征,则可以考虑用贪心法或动态规划法。

第四条特征涉及到分治法的效率,如果各子问题是不独立的则分治法要做许多不必要的工作,重复地解公共的子问题,此时虽然可用分治法,但一般用动态规划法较好。

一般框架

分治法在每一层递归上都有三个步骤:

  • step1 分解:将原问题分解为若干个规模较小,相互独立,与原问题形式相同的子问题;
  • step2 解决:若子问题规模较小而容易被解决则直接解,否则递归地解各个子问题
  • step3 合并:将各个子问题的解合并为原问题的解。
    它的一般的算法设计模式如下:

    Divide-and-Conquer(P)

    1. if |P|≤n0

    2. then return(ADHOC(P))

    3. 将P分解为较小的子问题 P1 ,P2 ,…,Pk

    4. for i←1 to k

    5. do yi ← Divide-and-Conquer(Pi) △ 递归解决Pi

    6. T ← MERGE(y1,y2,…,yk) △ 合并子问题

    7. return(T)

    其中|P|表示问题P的规模;n0为一阈值,表示当问题P的规模不超过n0时,问题已容易直接解出,不必再继续分解。ADHOC(P)是该分治法中的基本子算法,用于直接解小规模的问题P。因此,当P的规模不超过n0时直接用算法ADHOC(P)求解。算法MERGE(y1,y2,…,yk)是该分治法中的合并子算法,用于将P的子问题P1 ,P2 ,…,Pk的相应的解y1,y2,…,yk合并为P的解。

依据分治法设计程序时的思维过程

实际上就是类似于数学归纳法,找到解决本问题的求解方程公式,然后根据方程公式设计递归程序。
1、一定是先找到最小问题规模时的求解方法
2、然后考虑随着问题规模增大时的求解方法
3、找到求解的递归函数式后(各种规模或因子),设计递归程序即可。

案例分析

1.最大子数组问题

问题:一个包含n个整数(有正有负)的数组A,找出和最大的非空连续子数组。(例如:[0, -2, 3, 5, -1, 2]应返回9,[-9, -2, -3, -5, -3]应返回-2。)

基本解法:暴力求解找出所有子数组(Θ(n2)Θ(n2)),对每个子数组求和(Θ(n)Θ(n)),总复杂度是Θ(n3)Θ(n3)。在遍历过程中,这些子数组的和是有重复计算的。下标i与j的区间和sum[i][j] = sum[i][j - 1] + A[j],所以子数组求和变为Θ(1)Θ(1),时间复杂度降为Θ(n2)Θ(n2)

分治解法:要寻找A[left…right]的最大子数组,可以在中点mid处将A一分为二成A[left…mid]和A[mid+1…right]。A[left…right]的最大子数组必定是以下三者之一:

完全位于A[left…mid]
完全位于A[mid+1…right]
跨越了中点,即最大子数组的左边界落在left和mid之间,右边界落在mid和right之间
1和2两种情况可以通过递归调用来查找最大子数组,所以关键是3这个“合并”的步骤。因为跨越中点的子数组都由两个子数组A[i…mid]和A[mid…j]组成,所以我们可以从mid这个位置开始,分别向前和向后查找两个以mid为界的最大子数组,最后把这两个子数组合并成A[i…j]这个跨越中点的最大子数组即可。最后,问题的解就是上述三种情况里面和最大的那个子数组

package com.test;

import java.util.ArrayList;
import java.util.List;

public class MyTest02 {
    public static void main(String[] args) {
        int[] a = { 13, -3, -25, 20, -3, -16, -23, 18, 20, -7, 12, -5, -22, 15, -4, 7 };
        int[] s = getMaxSummary(a, 0, 15);
        for (int i = 0; i < s.length; i++) {
            System.out.println(s[i]);
        }
    }

    /**
     * 程序主入口
     * @param A
     * @param low
     * @param high
     * @return
     */
    public static int[] getMaxSummary(int[] A, int low, int high) {
        if (low == high) { // 如果長度就一個,那麼就把這個取出來
            int[] result = { low, high, A[low] };
            return result;
        } else {
            int middle = (int) Math.floor((low + high) / 2); // 获取中间值
            int[] left = new int[3]; // 保存左边部分返回结果
            int[] right = new int[3]; // 保存右边部分返回结果
            int[] cross = new int[3]; // 返回交叉部分返回结果
            left = getMaxSummary(A, low, middle);
            right = getMaxSummary(A, middle + 1, high);
            cross = getMaxCrossMid(A, low, high, middle);
            if (left[2] >= right[2] && left[2] >= cross[2]) {   // 那部分大就用了那部分
                return left;
            } else if (right[2] >= left[2] && right[2] >= cross[2]) {
                return right;
            } else {
                return cross;
            }
        }
    }

    /**
     * 獲取最大子數組(一部分在左邊,一部分在右邊)
     * 
     * @param A
     * @param low
     * @param high
     * @param middle
     * @return
     */
    public static int[] getMaxCrossMid(int[] A, int low, int high, int middle) {
        int leftSum = Integer.MIN_VALUE;
        int sum = 0; // 保存和的
        int left = 0; // 记录左边位置
        for (int i = middle; i >= low; i--) {
            sum = sum + A[i];
            if (sum > leftSum) { // 证明所加数字为正数,那么符合条件(因为最大子数组内正数越多指定越大)
                leftSum = sum;
                left = i;
            }
        }

        int rightSum = Integer.MIN_VALUE;
        int sum2 = 0;
        int right = 0; // 记录右边位置
        for (int i = middle + 1; i <= high; i++) {
            sum2 = sum2 + A[i];
            if (sum2 > rightSum) {
                rightSum = sum2;
                right = i;
            }
        }

        int[] result = new int[3];
        result[0] = left;
        result[1] = right;
        result[2] = leftSum + rightSum;
        return result;
    }




}
1. 分治法应用过程 分治法通过递归将问题分解为子问题,并合并子问题解。应用过程如下: • 分解策略:对于每个金块,递归考虑挖掘或不挖掘两种选择。 • 递归公式: o 定义函数 f(i,t)f(i,t) 表示考虑前 ii 个金块、剩余时间 tt 的最大价值。 o 基本情况:若 i=0i=0 或 t≤0t≤0,则 f(i,t)=0f(i,t)=0。 o 递推关系: f(i,t)=max⁡{f(i−1,t)(不挖掘第 i 块)vi+f(i−1,t−ti)(若 t≥ti,挖掘第 i 块)f(i,t)=max{f(i−1,t)vi+f(i−1,t−ti)(不挖掘第 i 块)(若 t≥ti,挖掘第 i 块) • 结果:最大价值为8(挖掘金块12,或仅挖掘金块3)。分治法本质是穷举所有组合,时间复杂度为 O(2n)O(2n),本例 n=3n=3,计算简单,但大数据集效率低。 2. 贪心法应用过程 贪心法基于局部最优选择(如价值/时间比率排序),逐步构建解。 • 贪心选择过程: 1. 选择比率最高的金块3(t3=4,v3=8t3=4,v3=8),消耗时间4秒,剩余时间1秒。 2. 剩余时间不足以挖掘任何其他金块(金块2需3秒 >1秒,金块1需2秒 >1秒)。 3. 总价值:8。 • 结果:最大价值为8(仅挖掘金块3)。贪心法高效(时间复杂度 O(nlog⁡n)O(nlogn) 排序 + O(n)O(n) 选择),但本例中恰得最优解;若贪心比率不主导全局最优,可能非最优(如价值更高但低比率的金块被忽略) 动态规划法 保证最优解(全局最优解构造) 动态规划法使用表格存储子问题解,避免重复计算。应用过程如下: • DP表定义:dp[i][w]dp[i][w] 表示考虑前 ii 个金块、时间限制 ww 的最大价值。 • 初始化: o dp[0][w]=0dp[0][w]=0 for w=0 to Tw=0 to T(无金块时价值0) 结果:最大价值为8(挖掘金块12)。动态规划法保证最优解,时间复杂度 O(n×T)O(n×T),本例高效,但 TT 大时可能低效(伪多项式时间) • 共同点: • 三者均可用于组合优化问题。 • 在本例中均得最优解(总价值8),但原因不同:分治法动态规划保证最优,贪心法因比率排序巧合最优。 • 都基于问题分解,但策略各异:分治法递归分解、贪心法逐步选择、动态规划迭代填表。 • 差异点: • 最优性保证:动态规划分治法(正确实现)始终最优;贪心法仅当贪心选择性质成立时最优。 • 效率:贪心法最高效,但牺牲最优性;分治法最差;动态规划平衡最优性效率,但依赖 TT。 • 实现复杂度:分治法易编码但递归开销大;贪心法简单;动态规划需设计状态转移。 结论 在《黄金矿工》问题中,动态规划法是平衡最优性效率的稳健选择,尤其当时间限制 TT 可控时;贪心法高效但不保证最优,适用于实时系统;分治法仅适合极小规模问题。本例中,所有方法均得最优解8,验证了算法的正确性。 总共多少个字
最新发布
11-01
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值