部落间的婚姻

此菲比非彼菲比

部落间的婚姻

- _3 ?3 A: |% M1 B4 }" E2 D9 Q　亚瑟、巴塞罗缪和克莱伦斯是欠完美岛上的三个居民。他们三人同德西、欧明特鲁德和范妮三位姑娘结了婚 (男女的名字不是相对应的)。岛上的居民都分别归属三个部落:永远讲真话的普卡，从来不讲真话的沃汰沃巴，以及交替说真、假或假、真话的西利撤拉。

　　三个男人各属一个部落，三个妇女也各属不同的部落。这个岛上有一条严格的法律:同一部落的人不能通婚。
, j! N& m$ M8 d6 ?6 M2 V% n1 m: F# y
/ d$ n2 Z* i6 {  r& C　　这三个男人说了以下的情况:

; B- J: G! u' |+ h　　亚瑟: (1）范妮是我的妻子。 (2)克莱伦斯娶了一个面利撤拉。
; F3 l8 m6 p/ l4 {4 q
　　巴塞罗缪: (1)克莱伦斯没有娶范妮。 (2)欧明特鲁德不是个普卡。
9 H9 l" J1 X4 L8 d
" h4 h5 y" Z  i3 N  W( Y1 D　　克莱伦斯: (1)亚瑟是个普卡。 (2)巴塞罗缪娶了范妮。 (3)德西是我的妻子。
- m! r$ T: ?0 n7 G* x* `6 d
4 m: T" c, U& s( N3 j+ q7 J　　找出这六个人各属于哪个部落以及他们的婚姻关系。

huahuaz

亚瑟是个沃汰沃巴，妻子是德西（普卡）；巴塞罗缪是个普卡，妻子是范妮（西利撤拉）；克菜伦斯是个西利撤拉，妻子是欧明特鲁德（沃汰沃巴）。

Keano

亚瑟(沃汰沃巴) , 妻子欧明特鲁德(西利撤拉)。  
巴塞罗缪 (普卡) , 妻子范妮 (沃汰沃巴)。
8 b/ K6 f0 V+ W5 }* r8 H1 R克莱伦斯 (西利撤拉) , 妻子德西 (普卡)。

Keano

我写错了。$汗$

ringty

好多名字~~~
% x6 N" c/ b" p4 N! P- g一不小心就多了2个人出来

墨

翻译一下先，外国人名字太烦了

A、B和C是欠完美岛上的三个居民。他们三人同D、E和F三位姑娘结了婚 (男女的名字不是相对应的)。岛上的居民都分别归属三个部落:永远讲真话的1，从来不讲真话的2，以及交替说真、假或假、真话的3。

三个男人各属一个部落，三个妇女也各属不同的部落。这个岛上有一条严格的法律:同一部落的人不能通婚。
9 J- w' y6 Y. S0 h: F; ?0 V
' W3 X6 G; K- p) O2 ?2 U' P- _　　这三个男人说了以下的情况:

+ Y9 I8 C$ ?, h9 L　　A: (1)F是我的妻子。 (2)C娶了一个3。
% T6 F  s4 P! |
　　B: (1)C没有娶F。 (2)E不是个1。

3 h5 T' O9 N: @* _/ ^# P* w　　C: (1)A是个1。 (2)B娶了F。 (3)D是我的妻子。
& s6 S0 N: H. t7 g* Y: Q) F
假设“A: (1)F是我的妻子”是真话，则有：
& i* K2 w$ m1 {( |B: (1)成立，C: (2)B娶了F不成立。由于A，B都有说真话，则C说的全是假话，C是3
+ b4 ~5 R/ G% @0 p9 u则有：
* L" U: _! a7 {8 Z5 xA不是1--->，A说了真话所以A是3，而A(2)C娶了一个3不成立，则C娶的不是3。B是1，E不是1成立
( F! w; F9 L( ~# `( B* x7 l* g! i/ \B没有娶F
C没有娶D--->A娶了F，所以D娶了E，而E不是1，也不是3，只能是2，而C也是2，但是同一部落的人不能通婚
  A! I8 z. A2 a7 e可以得出结论
“A: (1)F是我的妻子”是真话不成立
===================================================
已确定“A: (1)F是我的妻子”是假话，则A不可能是1，而“C: (1)A是个1”是假的，所以C也不是1，那么只有B是1。
! c7 c4 J# _% j5 q& _: K0 Z) [得到：
“B: (1)C没有娶F。 (2)E不是个1”都成立
此时的条件可看成
A是2或3，A没有娶F
6 @1 Y" J# H  MB是1
C是2或3，C没有娶F
, ]9 h" a9 F0 {0 _+ Z则有B娶了F，那么“C:  (2)B娶了F”成立，可证明C是3，则A是2。
那么A的话全是假的，C娶的不是3
C的话是真假交替，则有C: (1)A是个1=假 (2)B娶了F=真 (3)D是我的妻子=假
0 E) J, `& L* B+ f" M5 I  JD不是C的妻子，F又是B的妻子，那么只剩下E，所以C娶了E
" n5 [/ O0 D% a8 z因为B说的E不是1成立，而C不能娶3，所以E是2
B是1，则F不是1，也不是2，所以F是3
剩下的就只有D是1的
; O% p% N" n  j3 G1 a: \/ e+ f( n, L最后我们得到
A2—D1
4 W/ K7 c6 z0 F) C' ^6 P6 \B1—F3
C3—E2

再翻译回去
: w, A) I/ f0 J5 F  }亚瑟-沃汰沃巴+德西-普卡
巴塞罗缪-普卡+范妮-西利撤拉
克莱伦斯-西利撤拉+欧明特鲁德-沃汰沃巴
" e. }, O- G; G. v( Z
5 W/ w$ L' j8 g; r3 |. l) s% E[ 本帖最后由 墨 于 2007-2-16 15:40 编辑 ]