用python制作韩信点兵

韩信点兵是一个经典的数学趣味问题，源于中国古代的一个故事，说的是韩信统率军队时，通过一种独特的方式确认士兵的数量。他让士兵们每两人一组站成一排，如果剩余一人，则将这组排除；然后再让剩下的士兵每三人一组，结果又剩二人。最后，他又让剩下的人每五人一组，发现正好分完，没有剩余。这样就可以确定出士兵总数是13的倍数。

在Python中，你可以编写一个函数来模拟这个过程。下面是一个简单的实现：

def count_soldiers(soldiers):
    while len(soldiers) > 1:
        # 首先尝试每两个人一组
        soldiers = [soldier for soldier in soldiers if soldier % 2 == 0]
        if not soldiers:  # 如果余下人数能被2整除，说明不是13的倍数
            return -1
        # 然后尝试每三人一组
        soldiers = [soldier for soldier in soldiers if soldier % 3 == 1]
        if not soldiers:  # 如果余下人数能被3整除，也不是13的倍数
            return -1
        # 最后尝试每五人一组
        soldiers = [soldier for soldier in soldiers if soldier % 5 != 0]
    
    return soldiers[0] if soldiers else -1

# 示例
total_soldiers = count_soldiers(range(1, 100))  # 测试1到99之间是否能找到符合条件的士兵数量
if total_soldiers != -1:
    print(f"总共有{total_soldiers}名士兵")
else:
    print("找不到符合条件的士兵数量")