刑侦科推理题，不知是谁设计出来的，逻辑严整细致，有耐心看完题目的人就没几个。如果这真是刑警的日常考试题，我觉得他们实在是太厉害了，保证犯罪分子难逃法网。
编程遍历，这个逻辑本身很普通。但程序中有几个有趣的点值得一提。
首先是十道题，每题有4种可能的选项，全部为4^10=1M，约100万种可能，可以利用python的yield功能，避免将这么多中间结果保存起来。
def makeList(choose, n):
if n==1:
for x in choose:
yield x
a= makeList(choose, n-1)
for item in a:
b= list(item)
for x in choose:
c= b.copy()
c.append(x)
yield c另一个问题就是怎样把这些题目和选项完整地形式化。
就不一一讲解了，代码逻辑很清晰，直接上代码。注意：所有加fake的函数，代表对题目的略写，仅保证了选项正确，而没有保证非选项错误。
之所以这样处理，是希望假结果也出现。计算结果表明，第5、6、8使用略写法不会增加新的假结果，只有第4题放开才出现假结果。
为了和题目统一序号，避免出错，使用了1起，所以在列表前面增加了一个空选项。对其他题目不会有影响，但对第7题和第9题须注意一下，排除掉空选项的干扰。
def q1(x):
return True
def q2(x):
i1= x[2]==A and x[5]==C
i2= x[2]==B and x[5]==D
i3= x[2]==C and x[5]==A
i4= x[2]==D and x[5]==B
return i1 or i2 or i3 or i4
def q3(x):
i1= x[3]==A and x[2]==x[4]==x[6] and x[2]!=A
i2= x[3]==B and x[2]==x[4]==x[3] and x[6]!=B
i3= x[3]==C and x[3]==x[4]==x[6] and x[2]!=C
i4= x[3]==D and x[2]==x[3]==x[6] and x[4]!=D
return i1 or i2 or i3 or i4
def q4(x):
i1= x[4]==A and x[1]==x[5] and x[2]!=x[7] and x[1]!=x[9] and x[6]!=x[10]
i2= x[4]==B and x[1]!=x[5] and x[2]==x[7] and x[1]!=x[9] and x[6]!=x[10]
i3= x[4]==C and x[1]!=x[5] and x[2]!=x[7] and x[1]==x[9] and x[6]!=x[10]
i4= x[4]==D and x[1]!=x[5] and x[2]!=x[7] and x[1]!=x[9] and x[6]==x[10]
return i1 or i2 or i3 or i4
def q4_fake(x):
i1= x[4]==A and x[1]==x[5]
i2= x[4]==B and x[2]==x[7]
i3= x[4]==C and x[1]==x[9]
i4= x[4]==D and x[6]==x[10]
return i1 or i2 or i3 or i4
def q5(x):
i1= x[5]==A and x[8]==x[5] and x[4]!=x[5] and x[9]!=x[5] and x[7]!=x[5]
i2= x[5]==B and x[8]!=x[5] and x[4]==x[5] and x[9]!=x[5] and x[7]!=x[5]
i3= x[5]==C and x[8]!=x[5] and x[4]!=x[5] and x[9]==x[5] and x[7]!=x[5]
i4= x[5]==D and x[8]!=x[5] and x[4]!=x[5] and x[9]!=x[5] and x[7]==x[5]
return i1 or i2 or i3 or i4
def q5_fake(x):
i1= x[5]==A and x[8]==x[5]
i2= x[5]==B and x[4]==x[5]
i3= x[5]==C and x[9]==x[5]
i4= x[5]==D and x[7]==x[5]
return i1 or i2 or i3 or i4
def q6(x):
i1= x[6]==A and (x[8]==x[2]==x[4]) and not(x[1]==x[6]==x[8]) and not(x[3]==x[10]==x[8]) and not(x[5]==x[9]==x[8])
i2= x[6]==B and not(x[8]==x[2]==x[4]) and (x[1]==x[6]==x[8]) and not(x[3]==x[10]==x[8]) and not(x[5]==x[9]==x[8])
i3= x[6]==C and not(x[8]==x[2]==x[4]) and not(x[1]==x[6]==x[8]) and (x[3]==x[10]==x[8]) and not(x[5]==x[9]==x[8])
i4= x[6]==D and not(x[8]==x[2]==x[4]) and not(x[1]==x[6]==x[8]) and not(x[3]==x[10]==x[8]) and (x[5]==x[9]==x[8])
return i1 or i2 or i3 or i4
def q6_fake(x):
i1= x[6]==A and (x[8]==x[2]==x[4])
i2= x[6]==B and (x[1]==x[6]==x[8])
i3= x[6]==C and (x[3]==x[10]==x[8])
i4= x[6]==D and (x[5]==x[9]==x[8])
return i1 or i2 or i3 or i4
def q7(x):
x0=x[1:]
mn= min(x0, key=x0.count)
i1= x[7]==A and mn==C
i2= x[7]==B and mn==B
i3= x[7]==C and mn==A
i4= x[7]==D and mn==D
return i1 or i2 or i3 or i4
def q8_fake(x):
i1= x[8]==A and abs(ord(x[7])- ord(x[1]))!=1
i2= x[8]==B and abs(ord(x[5])- ord(x[1]))!=1
i3= x[8]==C and abs(ord(x[2])- ord(x[1]))!=1
i4= x[8]==D and abs(ord(x[10])- ord(x[1]))!=1
return i1 or i2 or i3 or i4
def q9(x):
i1= x[9]==A and xor(x[1]==x[6], x[6]==x[5])
i2= x[9]==B and xor(x[1]==x[6], x[10]==x[5])
i3= x[9]==C and xor(x[1]==x[6], x[2]==x[5])
i4= x[9]==D and xor(x[1]==x[6], x[9]==x[5])
return i1 or i2 or i3 or i4
def q10(x):
x0=x[1:]
m1= max(x0, key=x0.count)
m2= min(x0, key=x0.count)
mx= x0.count(m1)
mn= x0.count(m2)
i1= x[10]==A and mx- mn==3
i2= x[10]==B and mx- mn==2
i3= x[10]==C and mx- mn==4
i4= x[10]==D and mx- mn==1
return i1 or i2 or i3 or i4注意看一下第9题，其中的xor不是python自带的函数，它的定义很简单。
def xor(a, b):
return (a or b) and not(a and b)最后遍历得到结果：
def testAnswer(x):
a= q1(x)
a= a and q2(x)
a= a and q3(x)
a= a and q4_fake(x)
a= a and q5_fake(x)
a= a and q6_fake(x)
a= a and q7(x)
a= a and q8_fake(x)
a= a and q9(x)
a= a and q10(x)
return a
A='A'
B='B'
C='C'
D='D'
a= makeList([A, B, C, D], 10)
c= 0
for x in a:
x.insert(0, '')
c+=1
if testAnswer(x):
print(c, x)
print('tested %d times' % c)运行结果
稍做验证即可知道，第一个答案是正确的，第二个即前文所提的假结果。
更多Python知识，请关注Python视频教程！！