谁是嫌疑犯问题Python枚举法

问题描述：有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 = 0for 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]])n = n + 1print "第%d种作案方案:" %(n)print result
print "\n总共有%d种作案方案" % (n)