用于查找元素比 Python 中的其他列表更小的数组的第一次拆分的最小长度的程序