题目

以上是新浪微博中一奇葩贴：“我出生于1988年，直到25岁才遇到4个数字都不相同的年份。”也就是说，直到2013年才达到“4个数字都不相同”的要求。本题请你根据要求，自动填充“我出生于y年，直到x岁才遇到n个数字都不相同的年份”这句话。

输入格式
输入在一行中给出出生年份y和目标年份中不同数字的个数n，其中y在[1, 3000]之间，n可以是2、或3、或4。注意不足4位的年份要在前面补零，例如公元1年被认为是0001年，有2个不同的数字0和1。

输出格式：
根据输入，输出x和能达到要求的年份。数字间以1个空格分隔，行首尾不得有多余空格。年份要按4位输出。注意：所谓“n个数字都不相同”是指不同的数字正好是n个。如“2013”被视为满足“4位数字都不同”的条件，但不被视为满足2位或3位数字不同的条件。

输入样例1：

1988 4

输出样例1：

25 2013

输入样例2：

1 2

输出样例2：

0 0001

题解

y, n = map(int, input().split())  # 输入出生年份和目标不同数字的个数
x = 0  # 初始岁数为0
while True:
    year = y + x  # 计算年份
    year_str = str(year).zfill(4)  # 将年份转换为字符串，并补零至4位
    if len(set(year_str)) == n:  # 判断年份中不同数字的个数是否满足目标
        """
        set(year_str) 这一段代码是将一个字符串转换为集合（set）的操作。
        在 Python 中，集合是一种无序且不重复的数据结构。
        使用 set() 函数可以将一个可迭代对象（如字符串、列表、元组等）转换为集合。
        在这段代码中，year_str 是一个字符串，表示当前年份。
        set(year_str) 将这个字符串转换为一个集合，集合中的元素是年份中的每个字符（数字）。
        为什么在这里使用集合呢？
        因为集合的特性是不允许重复元素，而年份中的数字应该是不重复的。
        通过将年份的每个数字放入集合中，我们可以轻松地判断年份中不同数字的个数。"""
        print(x, year_str)
        break  # 结束循环，程序完成
    x += 1  # 增加岁数