程序在Python中查找字符数至少为k的最长子字符串的长度