你可以这样回答： `tails[i]` 表示长度为 `i + 1` 的递增子序列里，结尾尽可能小的那个值。因为这些结尾值始终递增，所以遇到新数字时，我们可以用二分找到它应该替换的位置。替换之后虽然不一定保留真实路径，但会把这个长度对应的“结尾”压得更小，后面就更容易接出更长的递增序列，所以整体复杂度是 `O(n log n)`。

如果面试官继续追问，你可以补一句：这个方法不回溯路径，只维护每个长度的最佳结尾，因此空间复杂度是 `O(n)`。