题目名称 105. [NOIP 2003]侦探推理
输入输出 logic.in/out
难度等级 ★★★
时间限制 1000 ms (1 s)
内存限制 128 MiB
测试数据 13
题目来源 GravatarBYVoid 于2008-09-14加入
开放分组 全部用户
提交状态
分类标签
字符串 搜索法 NOIP/CSP 网络流
分享题解
通过:83, 提交:254, 通过率:32.68%
Gravatar斯内普和骑士 100 0.000 s 0.00 MiB C++
Gravatar甘罗 100 0.000 s 0.17 MiB Pascal
GravatarMarvolo 100 0.001 s 0.17 MiB Pascal
GravatarEmilio 100 0.001 s 0.17 MiB Pascal
Gravatar风起时 100 0.002 s 0.20 MiB Pascal
GravatarQILIN 100 0.003 s 0.19 MiB Pascal
Gravatar王司徒 100 0.003 s 0.32 MiB C++
Gravatarqing 100 0.003 s 0.32 MiB C++
Gravatarkito 100 0.003 s 0.32 MiB C++
GravatarDissolute丶Tokgo 100 0.003 s 0.32 MiB C++
关于 侦探推理 的近10条评论(全部评论)
写字符串写到怀疑自己是否学过oi…不知道调了几个小时sad
GravatarShirry
2017-09-06 14:59 7楼
又面向数据debug了一波
Gravatarliu_runda
2016-10-05 07:11 6楼
想添个“枚举”的标签为啥成了“网络流”...
Gravatarliu_runda
2016-07-04 14:26 5楼
数据好弱,O(7n*2^n)都过的很快!!
当然这道题并不难在运行时间上,就是这个特判有些乱。。。
Gravatarthomount
2015-10-06 00:31 4楼
最后两个测试点最后没有空行,而且还有N=0的犯规情况。。。如果过了前10个点那么NOIP里面就基本过了。。
GravatarrpCardinal
2014-10-04 15:53 3楼
题目说1<=N<=M,但有数据N=0,如(12)
Gravatar毕之
2014-06-23 20:17 2楼
嗯?有CV情况
GravatarQhelDIV
2012-06-04 21:50 1楼

105. [NOIP 2003]侦探推理

★★★   输入文件:logic.in   输出文件:logic.out   简单对比
时间限制:1 s   内存限制:128 MiB

【问题描述】

明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中,于是他召集了一群同学玩推理游戏。游戏的内容是这样的,明明的同学们先商量好由其中的一个人充当罪犯(在明明不知情的情况下),明明的任务就是找出这个罪犯。接着,明明逐个询问每一个同学,被询问者可能会说:

证词内容 证词含义
I am guilty. 我是罪犯。
I am not guilty. 我不是罪犯。
XXX is guilty. XXX是罪犯。
XXX is not guilty. XXX不是罪犯。
Today is XXX. 今天是XXX(XXX表示星期几,是 Monday Tuesday Wednesday Thursday Friday Saturday Sunday 其中之一)

证词中出现的其他话,都不列入逻辑推理的内容。明明所知道的是,他的同学中有 N 个人始终说假话,其余的人始终说真。现在,明明需要你帮助他从他同学的话中推断出谁是真正的凶手,请记住, 凶手只有一个!

【输入格式】

输 入由若干行组成,第一行有三个整数, M ( 1≤M≤20 )、 N ( 1≤N≤M )和 P ( 1≤P≤100 );M 是参加游戏的明明的同学数, N 是其中始终说谎的人数, P 是证言的总数。接下来 M 行,每行是明明的一个同学的名字(英文字母组成,没有空格,全部大写)。

往后有 P 行,每行开始是某个同学的名宇,紧跟着一个冒号和一个空格,后面是一句证词,符合前表中所列格式。证词每行不会超过 250 个字符。

输入中不会出现连续的两个空格,而且每行开头和结尾也没有空格。

【输出格式】

如果你的程序能确定谁是罪犯,则输出他的名字;如果程序判断出不止一个人可能是罪犯,则输出 Cannot Determine ;如果程序判断出没有人可能成为罪犯,则输出 Impossible 。

【输入样例】

3 1 5
MIKE
CHARLES
KATE
MIKE: I am guilty.
MIKE: Today is Sunday.
CHARLES: MIKE is guilty .
KATE: I am guilty. 
KATE: How are you??

【输出样例】

MIKE