本文介绍了如何找到整数数组中的最长严格递增子序列。首先，通过动态规划方法定义dp[i]表示以第i个元素结尾的最长递增子序列长度，时间复杂度为O(n^2)。接着，提出了一种基于贪心算法和二分查找的方法来优化求解过程，将时间复杂度降低到O(nlogn)。最后，讨论了如何在输出最长递增子序列时选择字典序最小的一个，并给出了相应的Python代码实现。