Miao House题解

Miao House

首先我们来进行逻辑题最难的一个步骤，读一遍题目：

1. 喵喵屋一共有六层，每层有4间房 从左到右，从下到上的编号为101-604
2. 每间房都住着有且只有一只喵
3. 24间房的住户恰好组成12对异性情侣
4. 302 402 502 都住着女生 且分别第10到12个出场（一一对应）
5. barton先生楼上正对着的房间的住客第一个出场
6. cami住在503房间 他（她）的左邻右舍是一对情侣，这一层剩下的房间住着一名女生
7. charley小姐和异性朋友lure住在同一层，但他们不是情侣
8. debera的楼上正对着的房间住着iran，且（debera的）隔壁住着omero
9. eliga第9个出场， 他（她）的楼上楼下以及左邻右舍四间房的房主都是女生
10. fury先生，pare先生以及gust先生的房间是同一层连续的三个房间（fury住在最左边，gust住在最右边），他们那一层还住着一位女生
11. laney小姐住在stelar正下方相距5层的房间
12. lase是住在duet右边第三间房的同性朋友，且他们的出场顺序之和为10
13. maze住在alf楼上正对着的房间，且他（她）们的出场顺序相差7
14. mire先生第7个出场
15. nika小姐和她的爱人都住在第二层，且他们是邻居
16. pell小姐的爱人delver住在她楼上正对着的房间，他们第8个出场
17. yee第四个出场，他（她）住在cram先生正上方3层
18. 编号末尾为03的六个房间住着4名女生 2名男生
19. 第六层有且只有一名女生，她是edris
20. 第一层住着两对情侣，但没有一对情侣是邻居，这两对情侣分别第3个和第6个出场
21. 603的住客在103的住客出场之后第5个出场
22. 编号末尾为04的房间中住着一对情侣
23. 503的住客在203的住客出场之后第1个出场

我们可以发现，根据线索1,2,3，题目要做的是在一个6x4的表格中填24个人，并且还要把24个人分为12对排序。我们可以先把排序表格画出来，以及把最明显的几个线索（4,6,14,16,19）画在上面：

注意到第20条线索：

第一层住着两对情侣，但没有一对情侣是邻居，这两对情侣分别第3个和第6个出场

说明101和103是一对，102和104是一对，但是不知道哪个在第3个出场哪个在第6个。我们先标记好。然后根据第11条线索：

laney小姐住在stelar正下方相距5层的房间

结合6层只有Edris (F)一名女性可知，Laney (M)住在1层，Stelar (M)住在6层。

然后根据第10条线索：

fury先生，pare先生以及gust先生的房间是同一层连续的三个房间（fury住在最左边，gust住在最右边），他们那一层还住着一位女生

在某一层的123都是男性或者234都是已知姓名的男性。只有2层和6层可以放连续3名男性，但是6层已经有一个Stelar (M)了，所以只能放在2层。并且由于第15条线索：

nika小姐和她的爱人都住在第二层，且他们是邻居

说明Nika (F)的爱人是Fury (M)或者Gust (M)。

然后看第9条线索：

eliga第9个出场， 他（她）的楼上楼下以及左邻右舍四间房的房主都是女生

在剩下的位置上能放得下上下左右四个女生，并且还确定是第9个出场的地方只有403了。根据第21条线索：

603的住客在103的住客出场之后第5个出场

由于103是第3个或第6个登场，故603是第8个或第11个登场。又因为第16条线索：

pell小姐的爱人delver住在她楼上正对着的房间，他们第8个出场

如果603是第8个登场那么将会和503矛盾。所以603是第11个登场，而且是M11（因为F11在402）。

这时我们会发现，根据第18条线索：

编号末尾为03的六个房间住着4名女生 2名男生

两名男生全部满了，故03的六间房剩下的都是女生。然后我们数一下所有的女生数目，2+1+2+3+3+1=12已经有全部的12名女生了，所以3层和4层剩下的可以全部填上男生。

再回来看第16条线索：

pell小姐的爱人delver住在她楼上正对着的房间，他们第8个出场

能够放得下一个有名字的(F8)上层（然而上层表格里在下面）是(M8)的地方，只有501和601。由于第12条线索：

lase是住在duet右边第三间房的同性朋友，且他们的出场顺序之和为10

可以看到Lase住在第四列，Duet住在第一列。剩余的可以放在第四列和第一列的两名有名字同性只有301和304。同时结合出场顺序表，排除2+8、3+7、4+6，可以得出这两人一个是第一个出场一个是第九个出场。

根据第5条线索：

barton先生楼上正对着的房间的住客第一个出场

由于(M1)楼下都是有名字的人，所以只有可能是Barton (M)上层为(F1)。检查所有能放的地方发现只有504和604。于是Edris (F1)。然后看第13条线索：

maze住在alf楼上正对着的房间，且他（她）们的出场顺序相差7

需要上下挨着的两个无姓名的人，出场顺序差7。排除1+8、2+9，然后3+10也可以排除因为2层所有人都是有姓名的。还剩4+11和5+12，(M11)上下和(F11)上下也都无法摆一个有姓名的(?4)，故只可能是502和602的(F12)与(M4)。然后把第6层的Stelar和第1层的Laney填上。

再来看剩下的线索，第23条：

503的住客在203的住客出场之后第1个出场

503是Cami (F)，她的前一个是Named (M)，在出场顺序表上找没有确定房间位置的空位，发现只有(F5)和(M4)。而由于第17条：

yee第四个出场，他（她）住在cram先生正上方3层

Yee (F4)只能放在4层404。这时，由于之前的线索，2层的唯一的女性和她挨着的人是夫妻，而(M4)已有(F4)，故2层唯一的女性只能放在201房间，2层的所有人也确定了。而且唯一两个都空着的情侣是第二个出场的，可以把这两位填进去。

剩下的收尾就很简单了。根据第22条线索：

编号末尾为04的房间中住着一对情侣

可以确定Lase是(M1)。根据第8条线索：

debera的楼上正对着的房间住着iran，且（debera的）隔壁住着omero

可以填入302、303、402三个房间。303房间的(F)只能放在(F7)，401的(M)只能放在Mire (M7),204的Gust (M)只能放在(M10)，一层剩余的两位就是第7条线索：

charley小姐和异性朋友lure住在同一层，但他们不是情侣