用程序解密爱因斯坦经典难题(C++)

标签：

这个版本的程序我将不会使用任何推理，仅仅用程序描述这15个条件，然后穷举所有组合得到满足这15个条件的唯一解答。

首先构造“人”这个类型，根据题目可以知道每个人拥有颜色，香烟，饮料，宠物，位置，国籍这6个属性。虽然在现实中，人抽香烟，喝饮料，养宠物，拥有国籍，只有这4个属性，颜色和位置是房子的属性，但是人住在哪间房子，就决定了这个人的颜色和位置，所以简便起见，这6种属性全部归类到一个抽象的“人”中。新建一个Person.h的文件：

class Person
{
public:
	Person(Color,Country ,Drink ,Cigarette ,Pet ,int);
	~Person(void);
	Color color;
	Country country;
	Drink drink;
	Cigarette cigarette;
	Pet pet;
	int index;
};

根据这6种属性，可以创造出5^6个不同的“人”。接着，观察这15个条件，条件1，2，3，5，6，7，8，9，12，13，14，全部是以单个人作为约束条件，而剩下的4个都是以2个人之间的关系作为约束条件。首先可以把不满足条件的人过滤掉，再通过组合判断剩下的条件是否满足。比如1.英国人住红色房子，那么国籍是英国但是颜色不是红色的人就是不满足条件的，反过来，颜色是红色但是国籍不是英国的人也不满足条件，用程序的描述就是：

bool test1(const Person &p)
{
	if((p.country==England&&p.color!=Red)||(p.country!=England&&p.color==Red))
		return false;
	return true;
}

同理剩下的以人为约束的条件描述为：

bool test2(const Person &p)
{
	if((p.country==Sweden&&p.pet!=Dog)||(p.country!=Sweden&&p.pet==Dog))
		return false;
	return true;
}

bool test3(const Person &p)
{
	if((p.country==Denmark&&p.drink!=Tea)||(p.country!=Denmark&&p.drink==Tea))
		return false;
	return true;
}

bool test5(const Person &p)
{
	if((p.color==Green&&p.drink!=Coffee)||(p.color!=Green&&p.drink==Coffee))
		return false;
	return true;
}

bool test6(const Person &p)
{
	if((p.cigarette==PallMall&&p.pet!=Bird)||(p.cigarette!=PallMall&&p.pet==Bird))
		return false;
	return true;
}

bool test7(const Person &p)
{
	if((p.color==Yellow&&p.cigarette!=Dunhill)||(p.color!=Yellow&&p.cigarette==Dunhill))
		return false;
	return true;
}

bool test8(const Person &p)
{
	if((p.index==3&&p.drink!=Milk)||(p.index!=3&&p.drink==Milk))
		return false;
	return true;
}

bool test9(const Person &p)
{
	if((p.country==Norway&&p.index!=1)||(p.country!=Norway&&p.index==1))
		return false;
	return true;
}

bool test12(const Person &p)
{
	if((p.cigarette==BlueMaster&&p.drink!=Bear)||(p.cigarette!=BlueMaster&&p.drink==Bear))
		return false;
	return true;
}

bool test13(const Person &p)
{
	if((p.country==Germany&&p.cigarette!=Prince)||(p.country!=Germany&&p.cigarette==Prince))
		return false;
	return true;
}
//条件14可直接表示为蓝色房子是第二间房
bool test14(const Person &p)
{
	if((p.color==Blue&&p.index!=2)||(p.color!=Blue&&p.index==2))
		return false;
	return true;
}

vector<Person> v1;
	vector<Person> v2;
	vector<Person> v3;
	vector<Person> v4;
	vector<Person> v5;
	for(int color=0;color<5;++color)
		for(int country=0;country<5;++country)
			for(int drink=0;drink<5;++drink)
				for(int cigarette=0;cigarette<5;++cigarette)
					for(int pet=0;pet<5;++pet)
						for(int index=1;index<=5;++index)
						{
							Person p((Color)color,(Country)country,(Drink)drink,(Cigarette)cigarette,(Pet)pet,index);
							if(test1(p)&&test2(p)&&test3(p)&&test5(p)&&test6(p)&&test7(p)&&test8(p)&&test9(p)&&test12(p)&&test13(p)&&test14(p))
							{
								switch(p.index)
								{
								case 1:
									v1.push_back(p);
									break;
								case 2:
									v2.push_back(p);
									break;
								case 3:
									v3.push_back(p);
									break;
								case 4:
									v4.push_back(p);
									break;
								case 5:
									v5.push_back(p);
									break;
								}
							}
						}

	size_t s1=v1.size();
	size_t s2=v2.size();
	size_t s3=v3.size();
	size_t s4=v4.size();
	size_t s5=v5.size();
    int count=0;
	string countryName[5]={"英国人","瑞典人","丹麦人","挪威人","德国人"};
	string colorName[5]={"蓝色","绿色","白色","红色","黄色"};
	string drinkName[5]={"茶","牛奶","咖啡","啤酒","水"};
	string cigaretteName[5]={"PallMall","Dunhill","Bleeds","BlueMaster","Prince"};
	string petName[5]={"鱼","狗","鸟","猫","马"};
	for(int i1=0;i1<s1;++i1)
		for(int i2=0;i2<s2;++i2)
			for(int i3=0;i3<s3;++i3)
				for(int i4=0;i4<s4;++i4)
					for(int i5=0;i5<s5;++i5)
					{
						Person pp[5]={v1[i1],v2[i2],v3[i3],v4[i4],v5[i5]};
						if(testDistinct(pp)&&test4(pp)&&test10(pp)&&test11(pp)&&test15(pp))
						{
							cout<<"答案"<<++count<<":"<<endl;
							for(int i=0;i<5;++i)
							{
								cout<<"第"<<i+1<<"间房是"<<colorName[pp[i].color]<<",住的是"<<countryName[pp[i].country]<<",喝"<<drinkName[pp[i].drink]<<",抽"<<cigaretteName[pp[i].cigarette]<<",养"<<petName[pp[i].pet]<<endl;
							}
						}
					}

去重的验证，这里用了一点小技巧：

bool testDistinct(Person *pp) 
{
	int state[25]={0};
	for(int i=0;i<5;++i)
	{
		for(int j=0;j<5;++j)
		{
			state[j]+=pp[i].color==(Color)j;
			state[j+5]+=pp[i].drink==(Drink)j;
			state[j+10]+=pp[i].cigarette==(Cigarette)j;
			state[j+15]+=pp[i].pet==(Pet)j;
			state[j+20]+=pp[i].country==(Country)j;
		}
	}

	for(int i=0;i<25;i++)
	{
		if(state[i]!=1)
			return false;
	}
	return true;
}

剩下的4个条件判断：

bool test4(Person *pp)
{
	Person *p1,*p2;
	for(int i=0;i<5;++i)
	{
		if(pp[i].color==Green)
			p1=&pp[i];
	    if(pp[i].color==White)
			p2=&pp[i];
	}
	return p1->index==p2->index-1;
}

bool test10(Person *pp)
{
	Person *p1,*p2;
	for(int i=0;i<5;++i)
	{
		if(pp[i].cigarette==Bleeds)
			p1=&pp[i];
	    if(pp[i].pet==Cat)
			p2=&pp[i];
	}
	return p1->index==p2->index-1||p1->index==p2->index+1;
}

bool test11(Person *pp)
{
	Person *p1,*p2;
	for(int i=0;i<5;++i)
	{
		if(pp[i].pet==Horse)
			p1=&pp[i];
	    if(pp[i].cigarette==Dunhill)
			p2=&pp[i];
	}
	return p1->index==p2->index-1||p1->index==p2->index+1;
}

bool test15(Person *pp)
{
	Person *p1,*p2;
	for(int i=0;i<5;++i)
	{
		if(pp[i].drink==Water)
			p1=&pp[i];
	    if(pp[i].cigarette==Bleeds)
			p2=&pp[i];
	}
	return p1->index==p2->index-1||p1->index==p2->index+1;
}

到这里代码就已经写完了，最后的计算结果是：

最后总结：为什么有的问题人无法解决却可以用计算机解决，虽然这个题目用画表格的方法推理出答案也不太难，但是相比较而言，计算机程序的思路更简单粗暴，而人不可能用这种方式思考问题。假如你要计算987*512，而你并不会乘法口诀，你怎么得到结果？这时给了你一张无比巨大的草稿纸，而且在上面的书写速度会非常快，幸好你的加法还不错，于是你不断演算987+987=1974，1974+987=2961...至到加上512个987为止，最终你得到了正确答案，由于书写速度非常快，甚至快过你用乘法口诀得出答案，这就是计算机解决人无法解决问题的原理，计算机就好比这样的草稿纸。至于如何把问题描述给计算机计算（把乘法问题转成加法问题），以及让计算机运行得更快（你可以累加512次，你也可以仅仅累加9次），这就涉及到计算机科学的一门重要课程--数据结构与算法。

本文章原创地址：http://blog.csdn.net/maidou0921/article/details/51910075

用程序解密爱因斯坦经典难题(C++)

标签：

原文地址：http://blog.csdn.net/maidou0921/article/details/51910075