#P3001. 「NOIP2003」侦探推理
「NOIP2003」侦探推理
Description
明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中,于是他召集了一群同学玩推理游戏。游戏的内容是这样的,明明的同学们先商量好由其中的一个人充当罪犯(在明明不知情的情况下),明明的任务就是找出这个罪犯。接着,明明逐个询问每一个同学,被询问者可能会说:
|证词内容|证词含义|
|:--------|:---------|
|I am guilty.|我是罪犯|
|I am not guilty.|我不是罪犯|
|XXX is guilty.|XXX 是罪犯 (XXX 表示某个同学的名字)|
|XXX is not guilty.|XXX 不是罪犯|
|Today is XXX.|今天是 XXX (XXX 表示星期几,是Monday Tuesday Wednesday Thursday Friday Saturday Sunday 其中之一)|
证词中出现的其他话,都不列入逻辑推理的内容。
明明所知道的是,他的同学中有 个人始终说假话,其余的人始终说真话。
现在,明明需要你帮助他从他同学的话中推断出谁是真正的凶手,请记住, 凶手只有一个!
Input Format
输入由若干行组成,第一行有二个整数, 、 和 ;
是参加游戏的明明的同学数, 是其中始终说谎的人数, 是证言的总数。
接下来 行, 每行是明明的一个同学的名字(英文字母组成,没有主格,全部大写)。
往后有 行,每行开始是某个同学的名宇,紧跟着一个冒号和一个空格,后面是一句证词,符合前表中所列格式。证词每行不会超过 个字符。
输入中不会出现连续的两个空格,而且每行开头和结尾也没有空格。
Output Format
如果你的程序能确定谁是罪犯,则输出他的名字;
如果程序判断出不止一个人可能是 罪犯,则输出 Cannot Determine ;
如果程序判断出没有人可能成为罪犯,则输出 Impossible。
Sample
logic.in
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??
logic.out
MIKE
Hint
对于 的数据,, 。