程序查找在Python中形成具有K个唯一字符的字符串的最小机会