谁是嫌疑犯问题Python枚举法

原文：https://blog.csdn.net/yunzifengqing/article/details/81941592 

问题描述：有6名犯罪嫌疑人A、B、C、D、E、F，已知如下事实： 

A、B至少有1人作案；
A、E、F三人中至少有2人参与作案；
A、D不可能是同案犯；
B、C或同时作案，或与本案无关； 

C、D中有且仅有1人作案；
如果D没有参与作案，则E也不可能参与作案。请推理出谁作了案。

下面是人工逻辑推理：

假设1：A参与作案，则
B可能参与作案（A、B至少有1人作案）；
E、F至少有1人参与作案（A、E、F三人中至少有2人参与作案）；
D未参与作案（A、D不可能是同案犯）；
C参与作案（C、D中有且仅有1人作案）；
B参与作案（B、C或同时作案，或与本案无关）；
E未参与作案（如果D没有参与作案，则E也不可能参与作案）；
F参与作案（A、E、F三人中至少有2人参与作案），结果：A、B、C、F参与作案，D、E未参与作案。

假设2：A未参与作案，则
B参与作案（A、B至少有1人作案）；
E、F参与作案（A、E、F三人中至少有2人参与作案）；
C参与作案（B、C或同时作案，或与本案无关）；
D未参与作案（C、D中有且仅有1人作案）；
E未参与作案（如果D没有参与作案，则E也不可能参与作案）；
E既参与作案又未参与作案，出现矛盾，假设不成立；

下面是用Python处理的解题思路：用枚举法遍历所有可能出现的罪犯组合，挑选出符合条件的。
suspects = ['A', 'B', 'C', 'D', 'E', 'F']criminal_dict = {0: 'innocent', 1: 'guilty'}n = 1

for a in range(0, 2):
    for b in range(0,2):
        for c in range(0,2):
            for d in range(0,2):
                for e in range(0,2):
                    for f in range(0,2):
                        if (a + b >= 1) and (a + e + f >= 2) and (a * d == 0) and (b != c) and (c + d == 1) and (d >= e):
                            result = zip(suspects, [criminal_dict[a], criminal_dict[b], criminal_dict[c], criminal_dict[d], criminal_dict[e], criminal_dict[f]])
　　　　　　　　　　　　　　　　　#print(a,b,c,d,e,f)
　　　　　　　　　　　　　　　　　print ("第%d种作案方案:" %(n)) 
　　　　　　　　　　　　　　　　　print(list(result)) 
　　　　　　　　　　　　　　　　　n = n + 1 
print("总共有%d种作案方案" %(n-1))