2081: 宝典2第六章侦探推理-图

【问题描述】侦探推理（LOGIC.cpp/c/pas）NOIP 2003

穿越的李旭琳终于在网络上联系到了小时候的墨老师（那时他还是一个普通的不能再普通的魔法学徒，我们称他为小墨老师好了），但小墨老师并不相信李旭琳在网络上所说的话。无可奈何之际，李旭琳冒充学院交换生，进入了小墨老师所在的班级。

那时小墨老师痴迷漫画，特别是侦探漫画《柯南》并沉醉于推理游戏之中，他经常召集了一群同学玩推理游戏。游戏的内容是这样的，由同学们先商量好由其中的一个人充当罪犯（在小墨老师不知情的情况下），小墨老师的任务就是找出这个罪犯。接着，小墨老师逐个询问每一个同学，被询问者可能会说的内容如表所示。

证词中出现的其他话，都不列入逻辑推理的内容。

小墨老师所知道的是，他的同学中有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