分治&最大连续子序列和

1,086 阅读3分钟

这是我参与8月更文挑战的第8天,活动详情查看:8月更文挑战

其实对于分治算法,如果有了解快速排序,归并排序的同学,其实就懂得差不多了

分治,也就是分而治之。

它的一般步骤是

① 将原问题分解成若干个规模较小的子问题(子问题和原问题的结构一样,只是规模不一样)

② 子问题又不断分解成规模更小的子问题,直到不能再分解(直到可以轻易计算出子问题的解)

③ 利用子问题的解推导出原问题的解

因此,分治策略非常适合用递归 需要注意的是:子问题之间是相互独立的

主定理

因为公式太复杂了,就直接上图了

最大连续子序列和

我们还是通过做题来讲解一下分治的运用

问题:

**输入:**nums = [-2,1,-3,4,-1,2,1,-5,4]

**输出:**6

**解释:**连续子数组 [4,-1,2,1] 的和最大,为 6 。

这道题也属于最大切片问题(最大区段,Greatest Slice)

概念区分

子串、子数组、子区间必须是连续的,子序列是可以不连续的

暴力出奇迹

这中解题方法我们丝毫都不推荐,暴力的确能解决问题,但是花费的时间太长了,损耗也很高;穷举出所有可能的连续子序列,并计算出它们的和,最后取它们中的最大值

    static int maxSubarray2(int[] nums) {
        if (nums == null || nums.length == 0) return 0;
        int max = Integer.MIN_VALUE;
        for (int begin = 0; begin < nums.length; begin++) {
            int sum = 0;
            for (int end = begin; end < nums.length; end++) {
                // sum是[begin, end]的和
                sum += nums[end];
                max = Math.max(max, sum);
            }
        }
        return max;
    }

空间复杂度O(1)

时间复杂度O(n2)

分治

将序列均匀地分割成 2 个子序列

[begin , end) = [begin , mid) + [mid , end),mid = (begin + end) >> 1

假设 [begin , end) 的最大连续子序列和是 S[i , j) ,那么它有 3 种可能

[i , j) 存在于 [begin , mid) 中,同时 S[i , j) 也是 [begin , mid) 的最大连续子序列和

[i , j) 存在于 [mid , end) 中,同时 S[i , j) 也是 [mid , end) 的最大连续子序列和

[i , j) 一部分存在于 [begin , mid) 中,另一部分存在于 [mid , end) 中

[i , j) = [i , mid) + [mid , j)

S[i , mid) = max { S[k , mid) },begin ≤ k < mid

S[mid , j) = max { S[mid , k) },mid < k ≤ end

简笔画

示例:

 public static void main(String[] args) {
        int[] nums = {-2, 1, -3, 4, -1, 2, 1, -5, 4 };
        System.out.println(maxSubArray(nums));
    }

    static int maxSubArray(int[] nums) {
        if (nums == null || nums.length == 0) {return 0;}
        return maxSubArray(nums, 0, nums.length);
    }
    static int maxSubArray(int[] nums, int begin, int end) {

        if (end - begin < 2)
        {return nums[begin];}
        int mid = (begin + end) >> 1;
        int leftMax = nums[mid - 1];
        int leftSum = leftMax;
        for (int i = mid - 2; i >= begin; i--) {
            leftSum += nums[i];
            leftMax = Math.max(leftMax, leftSum);
        }
        int rightMax = nums[mid];
        int rightSum = rightMax;
        for (int i = mid + 1; i < end; i++) {
            rightSum += nums[i];
            rightMax = Math.max(rightMax, rightSum);
        }
        return Math.max(leftMax + rightMax,
                Math.max(
                        maxSubArray(nums, begin, mid),
                        maxSubArray(nums, mid, end))
        );
    }

动态规划

分治并不是这道题的最优解,还有一种更好的解题方式

动态规划 | GHL-Blog

思考

分治和动态规划的时间复杂度相同,但是因为分治使用了递归,并且维护了四个信息的结构体,运行的时间略长,空间复杂度也不如方法一优秀,而且难以理解。那么这种方法存在的意义是什么呢?

对于这道题而言,确实是如此的。但是仔细观察分治,它不仅可以解决区间 0, n-1,还可以用于解决任意的子区间 l,r 的问题。如果我们把 0, n-1 分治下去出现的所有子区间的信息都用堆式存储的方式记忆化下来,即建成一颗真正的树之后,我们就可以在 O(\log n)O(logn) 的时间内求到任意区间内的答案,我们甚至可以修改序列中的值,做一些简单的维护,之后仍然可以在 O(\log n)O(logn) 的时间内求到任意区间内的答案,对于大规模查询的情况下,这种方法的优势便体现了出来。