在Python中查找具有给定数值的最小字符串的程序