实验4 用枚举法证明6174猜想

6174猜想，也称为卡普雷卡尔常数或卡普雷卡尔迭代，是指从任何四位数（至少包含两个不同的数字）开始，通过特定的迭代过程，最终都会得到6174这个数。这个过程称为卡普雷卡尔流程，具体步骤如下：
1. 取一个四位数（数字可以重复，但至少包含两个不同的数字）。
2. 将这四位数的四个数字从大到小排列，形成一个新的四位数。
3. 将这四位数的四个数字从小到大排列，形成另一个新的四位数。
4. 用大的数减去小的数。
5. 重复步骤2到步骤4。
通过这个过程，大多数四位数都会在有限次迭代后变成6174，然后进入6174 -> 0000 -> 6174的循环。
下面我们使用枚举法来证明6174猜想：
首先，我们需要明确四位数有哪些。四位数是从1000到9999，共有9000个（包括重复数字的）。
我们可以将这些数分为几个类别：
1. 所有数字都相同的数（例如1111, 2222, ... , 9999），这些数在第一次迭代后就会变成0000，随后进入6174循环。因此，这些数满足卡普雷卡尔猜想。
2. 有三个数字相同的数（例如1112, 2211, ... , 9999），这些数在第一次迭代后会产生一个三位数和一个一位数，但第二次迭代后肯定会产生一个所有数字都不相同的数。因此，这些数最终也会进入6174循环。
3. 有两个数字相同的数（例如1122, 2233, ... , 9999），这些数在第一次迭代后也会产生一个所有数字都不相同的数。
4. 所有数字都不相同的数，这是最关键的情况。
对于所有数字都不相同的四位数，我们可以通过以下步骤来证明：
- 从1000到9999共有9000个数，但由于每个数与其数字颠倒的数会产生相同的迭代结果（例如1234和4321），所以实际上只有4500种不同的初始数。
- 在所有数字都不相同的情况下，我们可以进一步缩小范围。因为对于任何四位数abcd，如果a > b > c > d，那么迭代过程是相同的。所以，我们只需要考虑那些第一个数字最大，第二个数字次之，以此类推的数。这意味着我们只需要考虑每个数字组合的一个代表。
由于这个过程是机械的，我们可以通过编程来枚举所有可能的四位数，并验证它们是否最终都会收敛到6174。实际上，已经有人编写了程序来验证这一点，并且发现所有测试的数都满足卡普雷卡尔猜想。
但是，枚举法并不是一个严格的数学证明。尽管它能够验证所有测试的数都满足猜想，它不能保证未来不会发现一个反例。因此，尽管枚举法能够提供强有力的证据，但它不能完全证明6174猜想。数学上，卡普雷卡尔猜想目前仍是一个猜想，并没有被严格证明。

def kaprekar_step(n):
    """
    执行一次卡普雷卡尔迭代。
    """
    # 将数字转换为字符串，以便操作
    str_n = str(n).zfill(4)
    # 从大到小和从小到大排列数字
    maxnum = ''.join(sorted(str_n, reverse=True))
    minnum = ''.join(sorted(str_n))
    # 计算差值
    return int(maxnum) - int(minnum)

def kaprekar_convergence(n):
    """
    返回从n开始卡普雷卡尔迭代的步骤数，直到6174。
    """
    steps = 0
    while n != 6174:
        n = kaprekar_step(n)
        steps += 1
        # 如果出现0，则进入6174和0000的循环
        if n == 0:
            return steps + 7  # 7是进入循环到回到6174所需的步骤数
    return steps

# 验证卡普雷卡尔猜想
for i in range(1000, 10000):
    if len(set(str(i))) > 1:  # 确保至少有两个不同的数字
        steps = kaprekar_convergence(i)
        print(f"从 {i} 开始，经过 {steps} 步到达 6174。")