看程序员是如何做 “2018年刑侦科推理试题” 的

hello

各位小伙伴

最近过的怎么样

有没有按时吃饭，睡觉，敲代码

一定要照顾好自己呀~

不知道大家前段时间，有没有在朋友圈中收到一份，『2018的刑侦科目推理试题』娜娜偶然在朋友圈中看到过一次~

原图奉上，没有看过的小伙伴可以仔细的看一下哈~

我看到第一题的反应是

题呢？你到给我题呀~连题都不给我~我怎么知道答案~

看到第二题我的脑袋已经无法思考一片空白了~

这尼玛是什么玩意儿，简直就是一个坑啊，然后我就放弃了。

但是最近我看到各路大神对这道题进行了解答，我才意识到，原来看似这么不正经的题其实是有很正经的答案的~

娜娜~不禁想问，这的死多少脑细胞才能做出这样的推理题~看来我那900+多集的柯南是白看了~

python语言实现

#encoding: utf-8

# 《2018刑侦科推理试题》非穷举的 Python 解法

# 需要先安装约束解决库 `pip3 install python-constraint`

# 使用 Python 3.5 编写

from constraint import *

problem = Problem()

# a1 - a10 表示第一题到第十题的答案变量，答案使用“1”表示“A”, “2”表示“B”，以此类推

vars = ["a1", "a2", "a3", "a4", "a5", "a6", "a7", "a8", "a9", "a10"]

problem.addVariables(vars, [1, 2, 3, 4])

#第 2 题

def a2_func(a2, a5):

return (a2 == 1 and a5 == 3) or (a2 == 2 and a5 == 4) or (a2 == 3 or a5 == 1) or (a2 == 4 or a5 == 2)

problem.addConstraint(a2_func, ["a2", "a5"])

#第 3 题

def a3_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

return (a3 == 1 and a6 == a2 == a4 != a3) or (a3 == 2 and a3 == a2 == a4 != a6) \

or (a3 == 3 and a3 == a6 == a4 != a2) or (a3 == 4 and a3 == a6 == a2 != a4)

problem.addConstraint(a3_func, vars)

#第 4 题

def a4_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

return (a4 == 1 and a1 == a5) or (a4 == 2 and a2 == a7) or (a4 == 3 and a1 == a9) or (a4 == 4 and a6 == a10)

problem.addConstraint(a4_func, vars)

#第 5 题

def a5_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

return (a5 == a8 == 1) or (a5 == a4 == 2) or (a5 == a9 == 3) or (a5 == a7 == 4)

problem.addConstraint(a5_func, vars)

#第 6 题

def a6_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

return (a6 == 1 and a2 == a4 == a8) or (a6 == 2 and a1 == a6 == a8) \

or (a6 == 3 and a3 == a10 == a8) or (a6 == 4 and a5 == a9 == a8)

problem.addConstraint(a6_func, vars)

#第 7 题

def a7_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

all_answers = [a1, a2, a3, a4, a5, a6, a7, a8, a9, a10]

counter = [0, 0, 0, 0]

for a in all_answers:

counter[a - 1] += 1

imin = counter.index(min(counter)) + 1

n = len(set(counter))

# 这题为“此10题种被选中的选项最少的为，ABCD选择，说明 ABCD 的数量个不相同”

return n == 4 and ((a7 == 1 and imin == 3) or (a7 == 2 and imin == 2) or (a7 == 3 and imin == 1) or (a7 == 4 and imin == 4))

problem.addConstraint(a7_func, vars)

#第 8 题

def a8_func(a8, a7, a5, a2, a10, a1):

adj = lambda x: abs(a1 - x) != 1

return (a8 == 1 and adj(a7)) or (a8 == 2 and adj(a5)) or (a8 == 3 and adj(a2)) or (a8 == 4 and adj(a10))

problem.addConstraint(a8_func, ["a8", "a7", "a5", "a2", "a10", "a1"])

#第 9 题

def a9_func(a1, a2, a5, a6, a9, a10):

cond1 = a1 == a6

cond = lambda x: cond1 != (x == a5)

return (a9 == 1 and cond(a6)) or (a9 == 2 and cond(a10)) or (a9 == 3 and cond(a2)) or (a9 == 4 and cond(a9))

problem.addConstraint(a9_func, ["a1", "a2", "a5", "a6", "a9", "a10"])

#第 10 题

def a10_func(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10):

all_answers = [a1, a2, a3, a4, a5, a6, a7, a8, a9, a10]

counter = [0, 0, 0, 0]

for a in all_answers:

counter[a - 1] += 1

v = abs(max(counter) - min(counter))

return (a10 == 1 and v == 3) or (a10 == 2 and v == 2) or (a10 == 3 and v == 4) or (a10 == 4 and v == 1)

problem.addConstraint(a10_func, vars)

# 约束设置完毕，开始求解

solutions = problem.getSolutions()

print("可能的解决数量：{0}".format(len(solutions)))

chars = ['A', 'B', 'C', 'D']

for si in range(0, len(solutions)):

print("\n---------- 第 {0} 组结果 ----------".format(si + 1))

s = solutions[si]

for i in range(1, 11):

key = "a" + str(i)

answer = chars[s[key] - 1]

print("第 {0} 题答案：{1}".format(i, answer))

运行结果：

c++语言实现

C语言实现：

一上来就是两发，下面代码是精简后的代码。

#include

#define JUDGE(i, JA, JB, JC, JD) \

if (c[i] == 0 && (JA)) continue; \

if (c[i] == 1 && (JB)) continue; \

if (c[i] == 2 && (JC)) continue; \

if (c[i] == 3 && (JD)) continue;

void main() {

int c[10], n[4], dn, sn, dc, sc;

for (int k = 0; k < (1 << 20); ++k) {

n[0] = n[1] = n[2] = n[3] = 0;

for (int i = 0; i < 10; ++i) {

c[i] = ((k >> 2*i) & 3);

++n[c[i]];

}

dn = 0, sn = 10;

for (int i = 0; i < 4; ++i) {

if (dn < n[i]) {dn = n[i]; dc = i;}

if (sn > n[i]) {sn = n[i]; sc = i;}

}

JUDGE(1, c[4] != 2, c[4] != 3, c[4] != 0, c[4] != 1);

JUDGE(2, c[2] == c[5] || c[2] == c[1] || c[2] == c[3],

c[5] == c[2] || c[5] == c[1] || c[5] == c[3],

c[1] == c[2] || c[1] == c[5] || c[1] == c[3],

c[3] == c[2] || c[3] == c[1] || c[3] == c[5]);

JUDGE(3, c[0] != c[4], c[1] != c[6], c[0] != c[8], c[5] != c[9]);

JUDGE(4, c[4] != c[7], c[4] != c[3], c[4] != c[8], c[4] != c[6]);

JUDGE(5, c[7] != c[1] || c[7] != c[3], c[7] != c[0] || c[7] != c[5],

c[7] != c[2] || c[7] != c[9], c[7] != c[4] || c[7] != c[8]);

JUDGE(6, sc != 2, sc != 1, sc != 0, sc != 3);

JUDGE(7, c[0] - c[6] == 1 || c[0] - c[6] == -1,

c[0] - c[4] == 1 || c[0] - c[4] == -1,

c[0] - c[1] == 1 || c[0] - c[1] == -1,

c[0] - c[9] == 1 || c[0] - c[9] == -1);

if (c[0] == c[5]) {

JUDGE(8, c[4] == c[5], c[4] == c[9], c[4] == c[1], c[4] == c[8]);

} else {

JUDGE(8, c[4] != c[5], c[4] != c[9], c[4] != c[1], c[4] != c[8]);

}

JUDGE(9, dn - sn != 3, dn - sn != 2, dn - sn != 4, dn - sn != 1);

printf("1:%c, 2:%c, 3:%c, 4:%c, 5:%c, 6:%c, 7:%c, 8:%c, 9:%c, 10:%c",

'A'+c[0], 'A'+c[1], 'A'+c[2], 'A'+c[3], 'A'+c[4],

'A'+c[5], 'A'+c[6], 'A'+c[7], 'A'+c[8], 'A'+c[9]);

}

Java语言实现

public static void answer(){

// 用 1234 分别对应 ABCD, 计算方便

int[] answers = {1,2,3,4};

// 群举答案

for (int q1 : answers) {

for (int q2 : answers) {

for (int q3 : answers) {

for (int q4 : answers) {

for (int q5 : answers) {

for (int q6 : answers) {

for (int q7 : answers) {

for (int q8 : answers) {

for (int q9 : answers) {

for (int q10 : answers) {

int[] questions = new int[10];

questions[0] = q1;

questions[1] = q2;

questions[2] = q3;

questions[3] = q4;

questions[4] = q5;

questions[5] = q6;

questions[6] = q7;

questions[7] = q8;

questions[8] = q9;

questions[9] = q10;

if (isEnd(questions)){

// 遍历输出符合条件的答案

for (int i = 0 ; i < 10; i++){

System.out.println((i+1) + ":" + questions[i]);

}

/**

* 判断每个答案是否符合题意

* 为了方便 questions 数组中从 0 开始,

* 题目比数组角标多 1(不要问为什么, 奏是这么开)

* 比如 question[0] 的值表示第 1 题答案

**/

static boolean isEnd(int[] questions){

// 第二题, 第 5 题的答案是

switch (questions[4]){

case 1:

// 如果第 5 题答案是 A, 判断第 2 题答案是不是 C 不是返回 false, 是继续

if(questions[1] != 3)

return false;

break;

case 2:

// 原理同上

if(questions[1] != 4)

return false;

break;

case 3:

// 原理同上

if(questions[1] != 1)

return false;

break;

case 4:

// 原理同上

if(questions[1] != 2)

return false;

break;

}

// 第 3 题, 以下选项中哪一题的答案与其他三项不同

switch (questions[2]){

case 1:

if(!(questions[2]!=questions[5] && questions[5]==questions[1] && questions[1] == questions[3]))

return false;

break;

case 2:

if(!(questions[5]!=questions[2] && questions[2]==questions[1] && questions[1] == questions[3]))

return false;

break;

case 3:

if(!(questions[1]!=questions[5] && questions[2]==questions[5] && questions[5] == questions[3]))

return false;

break;

case 4:

if(!(questions[3]!=questions[5] && questions[5]==questions[1] && questions[1] == questions[2]))

return false;

break;

}

// 第 4 题, 以下选项中那两题的答案相同

switch (questions[3]){

case 1:{

// 判断第 1 题与第 5 题答案是否相同

if (questions[0] != questions[4]){

return false;

}

break;

}

case 2:{

// 原理同上

if (questions[1] != questions[6]){

return false;

}

break;

}

case 3:{

// 原理同上

if (questions[0] != questions[8]){

return false;

}

break;

}

case 4:{

// 原理同上

if (questions[5] != questions[9]){

return false;

}

break;

}

// 第 5 题, 以下选项中哪一题的答案与本题相同

switch (questions[4]){

case 1:

// 判断第 8 题答案是否是 A

if (questions[7] != 1)

return false;

break;

case 2:

// 原理同上

if(questions[3] != 2)

return false;

break;

case 3:

// 原理同上

if (questions[8] != 3)

return false;

case 4:

// 原理同上

if (questions[6] != 4)

return false;

break;

}

// 第 6 题, 以下选项中哪两题的答案与第 8 题相同

switch (questions[5]){

case 1:

// 判断第 14 题答案是否与第 8 题答案相同

if(questions[1] != questions[7] || questions[4] != questions[7])

return false;

break;

case 2:

// 原理同上

if(questions[0] != questions[7] || questions[5] != questions[7])

return false;

break;

case 3:

// 原理同上

if(questions[2] != questions[7] || questions[9] != questions[7])

return false;

break;

case 4:

// 原理同上

if(questions[4] != questions[7] || questions[8] != questions[7])

return false;

break;

}

// 由于第 710 题问题是同类型的, 所以一块计算 start

int[] check10 = new int[5];

// 把每个题的答案 (1234) 作为新数组下表, value++ 计算出现次数

for (int i=0;i < questions.length;i++){

check10[questions[i]]++;

}

// 出现最少与最多选项的次数初始化为 A 的次数

int low = check10[1];

int longer = check10[1];

// 出现最少的选项, 初始化为 A

int lowA = 1;

// 最少与最多次数的选项相关计算

for (int i=1;i<5;i++) {

if(check10[i] >0 && check10[i] < low){

low = check10[i];

lowA = i;

}

if (check10[i] > longer){

longer = check10[i];

}

// 第 7 题, 在此十道题中, 被选中次数最少的选项字母为

switch (questions[6]){

case 1:

// 判断才出现最少的字母是否为 C

if (lowA != 3)

return false;

break;

case 2:

// 原理同上

if (lowA != 2)

return false;

break;

case 3:

// 原理同上

if (lowA != 1)

return false;

break;

case 4:

// 原理同上

if (lowA != 4)

return false;

break;

}

// 第 10 题, 在此 10 道题中, ABCD 四个字母出现次数最多与最少者的差为

// 最多次数与最少次数的差值

int t = longer-low;

switch (questions[9]){

case 1:

// 判断差值是否为 3

if (t != 3)

return false;

break;

case 2:

// 原理同上

if (t != 2)

return false;

break;

case 3:

// 原理同上

if (t != 4)

return false;

break;

case 4:

// 原理同上

if (t != 1)

return false;

break;

}

// 第 710 题校验 end

// 第 8 题, 以下选项中哪一题的答案与第 1 题的答案在字母中不相邻

switch (questions[7]) {

case 1:

// 判断第 7 题与第一题答案差值绝对是是否为 1

if (Math.abs(questions[6] - questions[0]) == 1)

return false;

break;

case 2:

// 原理同上

if (Math.abs(questions[4] - questions[0]) == 1)

return false;

break;

case 3:

// 原理同上

if (Math.abs(questions[1] - questions[0]) == 1)

return false;

break;

case 4:

// 原理同上

if (Math.abs(questions[9] - questions[0]) == 1)

return false;

break;

}

// 第 9 题, 已知第 1 题与第 6 题的答案相同与第 X 题与第 5 题的答案相同的真假性相反, 那么 X 为

// 判断第 1 题与第 6 题的答案是否相同

boolean isOne = questions[0]==questions[5]?true:false;

switch (questions[8]){

case 1:

if(isOne){

// 第 1 题与第 6 题相同, 第 6 题与第 5 题答案相同返回 false;

if (questions[5] == questions[4])

return false;

}else {

// 第 1 题与第 6 题不相同, 第 6 题与第 5 题答案不相同返回 false;

if (questions[5] != questions[4])

return false;

}

break;

case 2:

// 原理同上

if(isOne){

if (questions[9] == questions[4])

return false;

}else {

if (questions[9] != questions[4])

return false;

}

break;

case 3:

// 原理同上

if(isOne){

if (questions[1] == questions[4])

return false;

}else {

if (questions[1] != questions[4])

return false;

}

break;

case 4:

// 原理同上

if(isOne){

if (questions[8] == questions[4])

return false;

}else {

if (questions[8] != questions[4])

return false;

}

break;

}

return true;

}

public static void main(String[] args) {

answer();

}

看到上面的答案之后，娜娜躲在角落了瑟瑟发抖，大牛，不就是膝盖吗？我给还不行吗？

然后我看到了下面这条信息，这一是道杭州学军中学的推理社的招新题~招新题~

然后娜娜开始研究怎么把这道题解出来~

此时此刻娜娜

娜娜的心情就和外面的天气一样

当我以为这题没有答案的时候

有人做出了答案

当我以为做答案的都是大牛的时候

有人说这是入门级的题

当我想着别人能做我也能做到的时候

发现自己竟然做不出来

各位小伙伴

开往幼儿园的班车就要发车了

没做出来的小伙伴请上车

和娜娜一起回去学习

不要担心

我一定会回来的~~~

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 206,013评论 6赞 481
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 88,205评论 2赞 382
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 152,370评论 0赞 342
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 55,168评论 1赞 278
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 64,153评论 5赞 371
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 48,954评论 1赞 283
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 38,271评论 3赞 399
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 36,916评论 0赞 259
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 43,382评论 1赞 300
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 35,877评论 2赞 323
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 37,989评论 1赞 333
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 33,624评论 4赞 322
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 39,209评论 3赞 307
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 30,199评论 0赞 19
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 31,418评论 1赞 260
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 45,401评论 2赞 352
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 42,700评论 2赞 345

看程序员是如何做 “2018年刑侦科推理试题” 的

推荐阅读更多精彩内容