翻译一下先，外国人名字太烦了
1 m' Y8 V7 ^2 ?# n; O2 e
! M6 r% v/ i8 M4 UA、B和C是欠完美岛上的三个居民。他们三人同D、E和F三位姑娘结了婚 (男女的名字不是相对应的)。岛上的居民都分别归属三个部落:永远讲真话的1，从来不讲真话的2，以及交替说真、假或假、真话的3。
2 V: i n$ s) N" ^& Y$ u
9 E; ~$ D5 L# P, e! d2 Q5 S三个男人各属一个部落，三个妇女也各属不同的部落。这个岛上有一条严格的法律:同一部落的人不能通婚。
$ _1 v& Z" u6 p. f, C
2 v# }+ X6 T3 ^3 {0 [/ C 这三个男人说了以下的情况:
2 j$ Z+ g/ ^5 D$ R8 C) d% o; u: I4 h) G# W- a3 M
A: (1)F是我的妻子。 (2)C娶了一个3。0 o0 C6 b- H/ {2 P& U F$ s
! q" e, l. o( M$ t( r0 Y. |5 M B: (1)C没有娶F。 (2)E不是个1。
: d9 j* X, \$ f8 l6 O" [' c( d
w2 \, x5 P# F: \1 I C: (1)A是个1。 (2)B娶了F。 (3)D是我的妻子。: F# d; `0 F) Z
5 |! g5 S, H5 u1 U- ^. r! t假设“A: (1)F是我的妻子”是真话，则有：
- b8 G2 R5 R& a2 a+ z _6 }B: (1)成立，C: (2)B娶了F不成立。由于A，B都有说真话，则C说的全是假话，C是3, S" d0 G. O; S- A& o
则有：) p* @8 L7 N* I6 a! o5 e* d6 @
A不是1--->，A说了真话所以A是3，而A(2)C娶了一个3不成立，则C娶的不是3。B是1，E不是1成立% U# t; G& R# J
B没有娶F" M( w8 D& }" a2 j$ h* Z
C没有娶D--->A娶了F，所以D娶了E，而E不是1，也不是3，只能是2，而C也是2，但是同一部落的人不能通婚
( |/ W) Z( K$ t: N& I" m可以得出结论
2 P1 w) m0 G8 G8 X6 b# s1 x“A: (1)F是我的妻子”是真话不成立( @) U5 s1 s% p4 |, F9 F& f4 O
===================================================- G O! m4 b0 V" k
已确定“A: (1)F是我的妻子”是假话，则A不可能是1，而“C: (1)A是个1”是假的，所以C也不是1，那么只有B是1。/ W, G8 M) t& E- [
得到：
: S" w2 m6 t1 v2 V/ ]“B: (1)C没有娶F。 (2)E不是个1”都成立
. V# K7 t) K2 k9 B) R$ J, b此时的条件可看成" V" i/ j! \) u9 i; P
A是2或3，A没有娶F' [; l; s2 [8 B G7 R9 |
B是1) N6 l% V/ |( {) X
C是2或3，C没有娶F& S# m7 |/ u, C9 A9 I" r6 M9 d
则有B娶了F，那么“C: (2)B娶了F”成立，可证明C是3，则A是2。
6 x# R% a- R6 T! f7 s! u那么A的话全是假的，C娶的不是3
. q. E: j4 G/ @" c: \# RC的话是真假交替，则有C: (1)A是个1=假 (2)B娶了F=真 (3)D是我的妻子=假
) A9 Q. Z9 A& {& nD不是C的妻子，F又是B的妻子，那么只剩下E，所以C娶了E% m) J' `2 I2 _* {3 ^7 C
因为B说的E不是1成立，而C不能娶3，所以E是2$ v0 W, c6 g3 L" W
B是1，则F不是1，也不是2，所以F是3
* C! x6 c4 W% a剩下的就只有D是1的
# j! a4 Z3 s" ^' F8 |最后我们得到) |4 }6 T- N2 W9 B! f3 g5 O
A2—D1
# H1 w1 v% J+ AB1—F3; C3 j" n* E! @7 F' l7 ]
C3—E25 G$ p7 }/ h4 A+ z s0 W5 p$ X: c
: z1 P' H' I d- _2 m% w/ s5 I. S
再翻译回去
* Y: ]% z. o9 e1 x, C% C! D1 K亚瑟-沃汰沃巴+德西-普卡6 y- A7 G2 J: J. i( c# E) O
巴塞罗缪-普卡+范妮-西利撤拉
6 g k4 s: ~/ n6 U; ]4 \/ `' g克莱伦斯-西利撤拉+欧明特鲁德-沃汰沃巴
! X5 g# P! H' x& w& O7 d
( h3 L+ v+ v/ _[ 本帖最后由 墨 于 2007-2-16 15:40 编辑 ] |
简体中文
繁體中文
English
Deutsch
发表于 2007-2-16 09:41