逻辑题：

5房子5色，5国人住，他们抽不同香烟，喝不同饮料，养不同宠物。

已知：
1 英国人住红房子。
2 瑞士人养狗。
3 丹麦人喝茶。
4 绿房子右面是白房子。
5 绿房子主人喝咖啡。
6 抽P烟的养鸟。
7 黄房子主人抽登喜路（D）。
8 中间房子主人喝牛奶。
9 挪威人住第一套房子。
10 抽混合烟的与养猫的相邻。
11 抽登喜路烟的与养马的相邻。
12 抽B烟的喝啤酒。
13 德国人抽王子烟（Pr）。
14 挪威人与蓝色房子相邻。
15 抽混合烟的与喝矿泉水的相邻。

问：谁养鱼？

思路：

有一问题框架：5组（u位置，v房色，w国籍，x香烟，y饮料，z宠物），按房子位置从左至
右横排。

位置： 1       2         3         4          5
房色： v1      v2        v3        v4         v5
国籍： w1      w2        w3        w4         w5
香烟： x1      x2        x3        x4         x5
饮料： y1      y2        y3        y4         y5 
宠物： z1      z2        z3        z4         z5

已知信息如同预制件：

1. u     2. u    3. u   4. u   u   5. u   6.  u   7.  u    8.  3 
   红       v        v      绿  白      绿      v      黄       v  
   英       瑞       丹      w   w       w      w       w       w 
   x         x          x       x    x        x       P烟     D烟      x  
   y         y          茶     y   y      咖       y       y       奶 
   z         狗        z     z    z      z       鸟      z       z    
 
  
 9.  1    10.  u   u .or. u   11.   u   u .or. u       12.   u       
     v         v   v      v         v   v      v             v            
      挪        w   w      w         w   w      w             w            
      x           x   混     x         x  D烟      x            B烟          
      y           y    y      y           y   y        y                啤            
      z          猫   z     猫        马   z      马             z       
  
  
   13.  u    14. u   u      15.   u   u .or.  u  
        v          v    蓝            v   v       v   
        德        挪   w            w   w       w 
       Pr烟       x   x             x   混      x   
        y           y   y               矿   y      矿 
        z        z   z             z   z       z   

须无冲突地填入整体框架内。

约定符号 i X j 的意义为：第i步，根据已知信息j，在前面步骤已确定某些值条件下只能
填入值X。
如非只有一种可能，记为 i X hj，意为假设 X 在此位置，遇矛盾后可退回到最后的假设
。
如假设中只剩一种可能时，不用h标记，遇矛盾可追溯到更前面假设。

有：

位置： 1       2         3         4          5
房色： 6黄7    2蓝14     5红1      4绿4      4白4
国籍： 1挪9    10丹3     5英1     12德13    13瑞2
香烟：6 D 7    9混15    11 P 6    12 Pr 13  14 B 12
饮料：8 矿15   10茶3      3奶8      4咖5    14啤12
宠物：15猫10   7马11    11鸟6     16鱼0     13狗2

1，挪威人住1号。
2，蓝色房是2号。
3，住3号的喝奶。
4，绿左白右，绿在1则白与蓝冲突，绿在3则咖啡与牛奶冲突，所以绿在4，同时确定4号喝
咖啡，5号白。
5，红色在什么位置，在1英国人与挪威人冲突，只有3号，同时确定英国人住3号。
6，黄色只能在1号，同时确定D烟。
7，马与D烟相邻，在2号。
8，挪威人喝什么？奶、咖啡已定，茶与丹麦人冲突，啤酒D烟与B烟冲突，所以是矿泉水。

9，混合烟与矿泉水相邻，在2号。
10，2号喝什么，啤酒与B烟冲突，所以是茶，同时确定2号住丹麦人。
11，3号抽什么，B烟与奶冲突，Pr烟与德国人冲突，所以是P烟，同时确定鸟。
12，4号抽什么，B烟与咖啡冲突，所以是Pr烟，同时确定德国人住4号。
13，瑞典人只能住5号，同时确定狗。
14，瑞典人只能抽B烟，喝啤酒。
15，3号养鸟，与混合烟相邻的猫只能在左。
16，鱼只能由德国人养。

本题可以找到一定的次序，使每步只有一种可能性，而不需标记假设。

答案是：德国人养鱼。



希望大家训练系统地思维与表达！