韩信点兵python穷举法

韩信点兵问题是一个古代数学问题，其大意是：有一队士兵排成一列，从1开始依次编号，每次按照一定的规律报数并出列，直到最后只剩下三人。问这队士兵至少有多少人？

Python可以通过穷举法求解韩信点兵问题。具体做法是从3开始，每次增加3个人进行模拟，判断是否最后只剩下3人。若是，则输出当前的人数即可。若不是，则增加3个人的数量继续模拟。

以下是Python代码实现：

num = 3
while True:
    count = num
    for i in range(5):
        if count % 5 == 1:
            count = (count - 1) // 5 * 4
        else:
            break
    if count % 5 == 3:
        print(num)
        break
    num += 3