刑侦科推理题的手工解法与python解法

题解

刑侦科推理题，不知是谁设计出来的，逻辑严整细致，有耐心看完题目的人就没几个。如果这真是刑警的日常考试题，我觉得他们实在是太厉害了，保证犯罪分子难逃法网。
先上题目：

说一下第10题是什么意思，第10题与第7题是相关联的，第7题问答案中出现次数最少的字母是谁，而第10题问是答案中出现次数最多的字母的出现次数与出现次数最少的字母的出现次数的差是多少。举例来说，如果答案中出现最多的是A，出现5次，出现最少的是C，出现1次，则差是4，第10题即选C。

手工解法

然后说手工解法，手工解法有很多入手点。基本的逻辑是首先给一个题目假设一个答案，然后根据其他题目的逻辑进行推理，遇到矛盾则更换假设。从推理形式来看，确实和刑侦推理有相似之处。
我个人推荐从第三题入手，因为第三题一个假设可以直接确定3道（或4道）题目的答案。
若假设3=B/C/D，则可以确定三题的答案，后面的过程比较容易推理，最多再做一个额外的假设分支即可排除所有。这里会得到一个假结果（B,D,D,B,B,D,D,B,B,B），满足每题的选项，但导致第4题有多解，产生矛盾。
所以3只能=A，于是知道246三题肯定一样，但不是A，所以做假设，假设246=B/C/D，分别进行推演，最后发现只有246=C的时候，逻辑完全通顺，得到真实解。
这个解是什么呢？读者可以在这里自己尝试推导，也可以到文章末尾处找直接找答案。

编程解法分析

编程遍历，这个逻辑本身很普通。但程序中有几个有趣的点值得一提。
首先是十道题，每题有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)

运行结果

稍做验证即可知道，第一个答案是正确的，第二个即前文所提的假结果。