侦探推理

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

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

明明所知道的是，他的同学中有N个人始终说假话，其余的人始终说真。

现在，明明需要你帮助他从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个！

 

 

输入描述:

输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）；M是参加游戏的明明的同学数，N是其中始终说谎的人数，P是证言的总数。接下来M行，每行是明明的一个同学的名字（英文字母组成，没有主格，全部大写）。
往后有P行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。
输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。

输出描述:

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

示例1

输入

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

 

#include <iostream>
#include <cstring>
#include <string>
#include <algorithm>
#include <stdio.h>
#include <string.h>

using namespace std;

const int N = 110;

int m, n, P;
string sentence[N]; 
string name[N];
string weekday[7] = {
	"Today is Monday.",
	"Today is Tuesday.",
	"Today is Wednesday.",
	"Today is Thursday.",
	"Today is Friday.",
	"Today is Saturday.",
	"Today is Sunday.",
};

int state[N];

int get_person(string str) {
	for (int i = 0; i < m; i++) {
		if (name[i] == str) {
			return i;
		}
	}
	return -1;
}

pair<int, string> get(string str) {
	int t = str.find(":");
	int p = get_person(str.substr(0, t));
	return { p, str.substr(t + 2) };
}


int get_state(int bad_man, int day, int now, string str) {
	if (str == "I am guilty.") {
		if (now == bad_man) return 0;
		return 1;
	}
	if (str == "I am not guilty.") {
		if (now != bad_man)return 0;
		return 1;
	}
	int t = str.find(" is guilty.");
	if (t != -1) {
		int p = get_person(str.substr(0, t));
		if (p == bad_man) return 0;
		return 1;
	}
	t = str.find(" is not guilty.");
	if (t != -1) {
		int p = get_person(str.substr(0, t));
		if (p != bad_man) return 0;
		return 1;
	}

	for (int i = 0; i < 7; i++) {
		if (weekday[i] == str) {
			if (i == day) return 0;
			return 1;
		}
    }
		return -1; 
}
bool check(int bad_man, int day) {
	memset(state, -1, sizeof state);
	for (int i = 0; i < P; i++) {
		auto t = get(sentence[i]);
		int p = t.first;
		int s = get_state(bad_man, day, p, t.second);

		if (s == 0) {
			if (state[p] == 1) return false;
			state[p] = s;
		}
		else if (s == 1) {
			if (state[p] == 0) return false;
			state[p] = s;
		}
	}

	int fake = 0, other = 0;
	for (int i = 0; i < m; i++) {
		if (state[i] == 1) fake++;
		else if (state[i] == -1) other++;
	}

	if (fake <= n && n <= fake + other) return true;
	return false;
}
int main() {
	cin >> m >> n >> P;
	for (int i = 0; i < m; i++) cin >> name[i];
	getline(cin, sentence[0]);
	for (int i = 0; i < P; i++) getline(cin, sentence[i]);

	int res = 0, p;
	for (int i = 0; i < m; i++) {
		bool flag = false;
		for (int j = 0; j < 7; j++) {
			if (check(i, j)) {
				flag = true;
				break;
			}
		}
		if (flag) {
			res++;
			p = i;
		}
	}

	if (res == 1) cout << name[p] << endl;
	else if (res > 1) puts("Cannot Determine");
	else puts("Impossible");

	return 0;
}