最长上升子序列 (LIS) 算法详解：贪心 + 二分查找

这段代码是一个求解最长上升子序列（Longest Increasing Subsequence，简称 LIS）的算法，采用的是一种叫做‘贪心+二分查找’的方法。

算法的思路是：维护一个数组 top，表示当前所有牌堆的顶部元素，遍历数组 nums，对于每一个元素，通过二分查找找到它所能加入的最左侧的牌堆，如果找不到，则新建一堆，将该元素放到牌堆顶部。最后，牌堆数就是 LIS 的长度。

这个算法的时间复杂度为 O(nlogn)，比较高效。