程序查找最长子字符串的长度,该子字符串在Python中包含k个不同的字符