UVA 592 Island of Logic

这道题目和 UVA 131有点像

都是把可能的结果列出来，然后去硬搜

我自己也是没有A，逻辑不好的人做这个很吃力

下面的代码是别人那里拿过来的，看的我头都大了 哈哈哈哈哈

#include<iostream>
#include<string.h>
using namespace std;

#define N 55
#define M 10

int people[M];
int brith[M];
int n;
int ok;
int FP;
int now[M];
int yes[M];

struct say{
	char talk;
	char name;
	int bo;
	int sex;
};

void thesome()
{
	for (int i = 0; i < 6; i++)
	if (now[i] != people[i])
		yes[i] = 1;
}

int ture_say(say f)
{
	if (f.sex != -1)
	{
		if (f.name == 'T')
		{
			if (f.bo && f.sex - 4 == people[0])
				return 1;
			else if (!f.bo && f.sex - 4 != people[0])
				return 1;
			else
				return 0;
		}
		else
		{
			int id = f.name - 'A' + 1;
			if (f.bo && f.sex == people[id])
				return 1;
			else if (!f.bo && f.sex != people[id])
				return 1;
			else
				return 0;
		}
	}
	else
	{
		int id = f.name - 'A' + 1;

		if (people[id] == 3 && !f.bo)
			return 1;
		else if (people[id] == 1 && f.bo)
			return 1;
		else if (people[id] == 2)
		{
			if (people[0] && !f.bo)
				return 1;
			else if (!people[0] && f.bo)
				return 1;
			else
				return 0;
		}
		else
			return 0;
	}
}

int write(char str[])
{
	if (strncmp(str, "divine.", 7) == 0)
		return 3;
	else if (strncmp(str, "human.", 6) == 0)
		return 2;
	else if (strncmp(str, "evil.", 5) == 0)
		return 1;
	else if (strncmp(str, "day.", 4) == 0)
		return 5;
	else if (strncmp(str, "night.", 6) == 0)
		return 4;
	else if (strncmp(str, "lying.", 6) == 0)
		return -1;
}

void read(say tem[])
{
	char str[M];
	int id;

	for (int i = 0; i < n; i++)
	{
		cin >> str;
		tem[i].talk = str[0];
		id = str[0] - 'A' + 1;
		brith[id] = 1;

		cin >> str;
		if (strcmp(str, "It") == 0)
			tem[i].name = 'T';
		else if (str[0] == 'I')
			tem[i].name = tem[i].talk;
		else
		{
			tem[i].name = str[0];
			id = str[0] - 'A' + 1;
			brith[id] = 1;
		}

		cin >> str;
		cin >> str;
		if (strcmp(str, "not"))
		{
			tem[i].bo = 1;
			tem[i].sex = write(str);
		}
		else
		{
			tem[i].bo = 0;
			cin >> str;
			tem[i].sex = write(str);
		}

		//		if(tem[i].sex == -1 && tem[i].talk == tem[i].name && tem[i].bo)
		//			FP = 1;
	}
}

int judge(say tem[])
{
	for (int i = 0; i < n; i++)
	{
		int id = tem[i].talk - 'A' + 1;
		if (people[id] == 3)
		{
			if (ture_say(tem[i]))
				continue;
			else
				return 0;
		}
		else if (people[id] == 2)
		{
			int f = ture_say(tem[i]);
			if ((people[0] && f) || (!people[0] && !f))
				continue;
			else
				return 0;
		}
		else if (people[id] == 1)
		{
			if (!ture_say(tem[i]))
				continue;
			else
				return 0;
		}
	}
	return 1;
}

void build(int k, say tem[])
{
	if (k < 6)
	{
		if (brith[k])
		{
			for (people[k] = 1; people[k] < 4; people[k]++)
				build(k + 1, tem);
		}
		else
			build(k + 1, tem);
	}
	else if (judge(tem))
	{
		//		cout << k << endl;
		if (ok >= 1)
			thesome();
		else
		for (int i = 0; i < 6; i++)
			now[i] = people[i];
		ok++;
	}

}

int main()
{
	int t = 1;
	while (cin >> n, n)
	{
		// Init.
		memset(people, 0, sizeof(people));
		memset(brith, 0, sizeof(brith));
		ok = 0;
		say tem[N];
		//	FP = 0;
		memset(yes, 0, sizeof(yes));

		// ReadZZg.
		read(tem);

		cout << "Conversation #" << t++ << endl;
		//		if(FP)
		//			cout << "This is impossible." << endl;
		//		else
		//		{
		for (people[0] = 0; people[0] < 2; people[0]++)
			build(1, tem);

		if (ok == 0)
			cout << "This is impossible." << endl;
		else
		{
			//*
			int oi = 0;
			for (int i = 1; i < 6; i++)
			{
				if (!yes[i] && now[i])
				{
					oi++;
					char c = 'A' + i - 1;
					if (now[i] == 3)
						cout << c << " is divine." << endl;
					else if (now[i] == 2)
						cout << c << " is human." << endl;
					else if (now[i] == 1)
						cout << c << " is evil." << endl;
				}
			}

			if (oi == 0 && yes[0])
				cout << "No facts are deducible." << endl;
			if (now[0] && !yes[0])
				cout << "It is day." << endl;
			else if (!yes[0])
				cout << "It is night." << endl;
			//			}
		}
		cout << endl;
	}
	return 0;
}