程序,在Python中找到大小为k的字典上最小的子序列