在Python中找到线性时间中大小为3的排序子序列