LeetCode 热题 HOT 100 第六十九天 300. 最长递增子序列 中等题 用python3求解

题目地址
给你一个整数数组 nums ，找到其中最长严格递增子序列的长度。
子序列 是由数组派生而来的序列，删除（或不删除）数组中的元素而不改变其余元素的顺序。例如，[3,6,2,7] 是数组 [0,3,1,6,2,2,7] 的子序列。

示例 1：
输入：nums = [10,9,2,5,3,7,101,18]
输出：4
解释：最长递增子序列是 [2,3,7,101]，因此长度为 4 。

示例 2：
输入：nums = [0,1,0,3,2,3]
输出：4

示例 3：
输入：nums = [7,7,7,7,7,7,7]
输出：1

提示：
1 <= nums.length <= 2500
-10的4次方 <= nums[i] <= 10的4次方

进阶：
你能将算法的时间复杂度降低到 O(n log(n)) 吗?

解法：动态规划+二分查找
参考：指路

设计思路

新的状态定义：
我们考虑维护一个列表 tails，其中每个元素tails[k] 的值代表长度为k+1的子序列尾部元素的值。
如[1,4,6]序列，长度为1,2,3的子序列尾部元素值分别为tails=[1,4,6]。

状态转移设计：
设常量数字N，和随机数字x，我们可以容易推出：当N越小时，N<x的几率越大。例如：N=0肯定比N=1000更可能满足N<x。
在遍历计算每个tails[k]，不断更新长度为[1,k] 的子序列尾部元素值，始终保持每个尾部元素值最小（例如[1,5,3]， 遍历到元素5时，长度为2的子序列尾部元素值为5；当遍历到元素3时，尾部元素值应更新至3，因为3遇到比它大的数字的几率更大）。

tails列表一定是严格递增的： 即当尽可能使每个子序列尾部元素值最小的前提下，子序列越长，其序列尾部元素值一定更大。
反证法证明： 当k<i，若tails[k]>=tails[i]，代表较短子序列的尾部元素的值>较长子序列的尾部元素的值。这是不可能的，因为从长度为i的子序列尾部倒序删除i−1个元素，剩下的为长度为k的子序列，设此序列尾部元素值为v，则一定有v<tails[i]（即长度为k的子序列尾部元素值一定更小）， 这和tails[k]>=tails[i]矛盾。
既然严格递增，每轮计算tails[k]时就可以使用二分法查找需要更新的尾部元素值的对应索引i。

算法流程

状态定义：
tails[k]的值代表 长度为k+1子序列的尾部元素值。

转移方程：
设resr为tails当前长度，代表直到当前的最长上升子序列长度。设j∈[0,res)，考虑每轮遍历nums[k]时，通过二分法遍历[0,res)列表区间，找出nums[k]的大小分界点，会出现两种情况：

• 区间中存在tails[i]>nums[k]：将第一个满足tails[i]>nums[k]执行tails[i]=nums[k]；因为更小的nums[k]后更可能接一个比它大的数字（前面分析过）。
• 区间中不存在tails[i]>nums[k]：意味着nums[k]可以接在前面所有长度的子序列之后，因此肯定是接到最长的后面（长度为res），新子序列长度为res+1。

也就是说：
用nums[k]替换掉数组中第一个大于nums[k]的元素
把nums[k]添加在数组最后一个元素，数组长度+1

初始状态：
令tails列表所有值=0。

返回值：
返回res，即最长上升子子序列长度。

直接看文字确实不太好懂，加个例子就比较容易明白，比如序列是78912345，前三个遍历完以后tail是789，这时候遍历到1，就得把1放到合适的位置，于是在tail二分查找1的位置，变成了189（如果序列在此时结束，因为res不变，所以依旧输出3），再遍历到2成为129，然后是123直到12345 这题难理解的核心不在于算法难，而在于在于官方给的例子太拉了，遇不到这个算法真正要解决的问题，即没有我例子中1要代替7的过程，官例中每次替代都是替代tail的最后一个数

复杂度分析：
时间复杂度O(NlogN)：遍历nums列表需O(N)，在每个nums[i]二分法需O(logN)。
空间复杂度O(N)：tails列表占用线性大小额外空间。

代码实现：

# Dynamic programming + Dichotomy.
class Solution:
    def lengthOfLIS(self, nums: [int]) -> int:
        tails, res = [0] * len(nums), 0
        for num in nums:
            i, j = 0, res
            while i < j:
                m = (i + j) // 2
                if tails[m] < num: i = m + 1 # 如果要求非严格递增，将此行 '<' 改为 '<=' 即可。
                else: j = m
            tails[i] = num
            if j == res: res += 1
        return res