斑马问题

试求解下面这个由爱因思坦提出的著名难题（也称斑马问题）。 5个不同国家且工作各不相同的人分别住在一条街上的5所房子里，每所房子的颜色不现，每个人都有自己养的宠物，喜欢喝不同的饮料。根据以下提示，你能告诉多哪个房子里的人养斑马（zebra）,哪个房子里的人喜欢喝矿泉水吗。

　　英国人住在红色的房子里，西班牙人养了一条狗。日本人是油漆工。意大利人喜欢喝茶。挪威人住在左边的第一房子里。 绿色房子在白房子的左边。摄影师养了一只蜗牛。外交官住在黄色的房子里。中间房子里的那个人喜欢喝牛奶。养狐狸的人住的房子与医生的房子相邻。养马的人所住的房子与外交官的房子相邻。（提示绘一张表，其中行表示每个人，列表示每个人所住的房子的颜色、他们的工作他们所养的宠物以及他们喜欢喝的饮料，用逻辑推理来判断表中正确的项。）

解：1. 以房子的顺序为顺序排表（且规定从上到下的顺序等同于从左到右）。根据“挪威人住在左边的第一个房子”、“挪威人住在蓝色房子旁边”和“中间房子里的人喜欢喝牛奶”这三条条件可以得出一个基本表：

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）
2		蓝色（挪威人住在蓝色的房子旁边）
3					牛奶（中间房子里的人喜欢喝牛奶）
4
5

2. 检查其中的一些捆绑条件：根据绿色房子在白色房子右边的条件，可以确定1和3不是绿色或白色，所以绿色房子只有两种可能：要么是是4，要么是5；

2.1 假设序号4是绿色房子，那么序号3是白色房子如下图：

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）	黄色	外交官（外交官住在黄房子里）		矿泉水
2	意大利	蓝色（挪威人住在蓝色的房子旁边）		马（养马的人与外交官相邻）	茶（意大利人喜欢喝茶）
3		白色（绿色房子在白色房子右边）			牛奶（中间房子里的人喜欢喝牛奶）
4		绿色（假设）			咖啡（喜欢喝咖啡的人住在绿色的房子里）
5	英国人	红色（英国人住在红色的房子里）	小提琴		桔汁（小提琴家喜欢喝桔汁）

2.1.1 假设3为日本人：

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）	黄色	外交官（外交官住在黄房子里）		矿泉水
2	意大利	蓝色（挪威人住在蓝色的房子旁边）	？？？？	马（养马的人与外交官相邻）	茶（意大利人喜欢喝茶）
3	日本	白色（绿色房子在白色房子右边）	油漆工		牛奶（中间房子里的人喜欢喝牛奶）
4	西班牙	绿色（假设）	？？？？	狗	咖啡（喜欢喝咖啡的人住在绿色的房子里）
5	英国人	红色（英国人住在红色的房子里）	小提琴		桔汁（小提琴家喜欢喝桔汁）

由于“摄影师养了一只蜗牛”在此表中，无法填写，所以4假定为绿色，3假定为日本人不正确。

2.1.2假定4为日本人：

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）	黄色	外交官（外交官住在黄房子里）		矿泉水
2	意大利	蓝色（挪威人住在蓝色的房子旁边）		马（养马的人与外交官相邻）	茶（意大利人喜欢喝茶）
3	西班牙	白色（绿色房子在白色房子右边）		狗	牛奶（中间房子里的人喜欢喝牛奶）
4	日本	绿色（假设）	油漆工		咖啡（喜欢喝咖啡的人住在绿色的房子里）
5	英国人	红色（英国人住在红色的房子里）	小提琴		桔汁（小提琴家喜欢喝桔汁）

由于“摄影师养了一只蜗牛”在此表中，无法填写，所以4假定为绿色，4假定为日本人不正确。

2.2假设序号5是绿房子，那么序号4是白房子，如下图：

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）	黄色	外交官（外交官住在黄房子里）
2		蓝色（挪威人住在蓝色的房子旁边）		马（养马的人所住的房子与外交官相邻）
3	英国人	红色（英国人住在红色的房子里）			牛奶（中间房子里的人喜欢喝牛奶）
4		白色（绿色房子在白色房子右边）
5		绿色（假设）			咖啡（喜欢喝咖啡的人住在绿色的房子里）

2.2.1 假设4是小提琴家，则

	国籍	房子的颜色	工作	所养宠物	喜欢喝的饮料	备注
1	挪威（挪威人住在左边的第一个房子）	黄色	外交官（外交官住在黄房子里）	狐狸	矿泉水
2	意大利	蓝色（挪威人住在蓝色的房子旁边）	医师	马（养马的人所住的房子与外交官相邻）	茶（意大利人喜欢喝茶）
3	英国人	红色（英国人住在红色的房子里）	摄影师	蜗牛	牛奶（中间房子里的人喜欢喝牛奶）
4	西班牙	白色（绿色房子在白色房子右边）	小提琴家	狗	桔汁（小提琴家喜欢喝桔汁）
5	日本	绿色（假设）	油漆工	斑马	咖啡（喜欢喝咖啡的人住在绿色的房子里）

所以，日本人养了一只斑马；挪威人喜欢喝矿泉水。