|
翻译一下先,外国人名字太烦了
1 l5 k) l2 j" z! |: W
$ g z3 t6 c: IA、B和C是欠完美岛上的三个居民。他们三人同D、E和F三位姑娘结了婚 (男女的名字不是相对应的)。岛上的居民都分别归属三个部落:永远讲真话的1,从来不讲真话的2,以及交替说真、假或假、真话的3。
# C0 Y- q& C! `2 T0 ]
, ^8 V* y( U* {# h) y0 _三个男人各属一个部落,三个妇女也各属不同的部落。这个岛上有一条严格的法律:同一部落的人不能通婚。
! Y. L7 _! x. J5 W4 r+ }3 t: Z
' b" {5 @7 ^$ d8 H7 s/ I 这三个男人说了以下的情况:
$ n$ ]' J# s: r1 e# z' H6 o7 w6 }) `6 G
A: (1)F是我的妻子。 (2)C娶了一个3。( h) F7 }+ b; s. O. ~
v6 T5 Q* c9 o/ c
B: (1)C没有娶F。 (2)E不是个1。
$ o' V4 |$ d/ S% f5 S' w+ m0 B7 S0 k) E; e
C: (1)A是个1。 (2)B娶了F。 (3)D是我的妻子。
, o7 }( k3 F. z- i7 ?& S4 P) B, C! ^4 D' j4 Q2 A7 Q" l
假设“A: (1)F是我的妻子”是真话,则有:
9 j, z" q6 d) u5 u _B: (1)成立,C: (2)B娶了F不成立。由于A,B都有说真话,则C说的全是假话,C是3& s; A/ z1 V0 R: N6 W
则有:
* j( r4 ^" I, b9 X* s1 D8 L- xA不是1--->,A说了真话所以A是3,而A(2)C娶了一个3不成立,则C娶的不是3。B是1,E不是1成立
; ~# t4 T2 \; ~8 yB没有娶F/ a$ s* u! z" W
C没有娶D--->A娶了F,所以D娶了E,而E不是1,也不是3,只能是2,而C也是2,但是同一部落的人不能通婚4 m* @3 I) v8 Q, ~3 n2 o# Z
可以得出结论
+ G. G1 x5 {: X4 V& c* {“A: (1)F是我的妻子”是真话不成立- P- U. v' |) Q! U q
===================================================
1 [' j6 ^# f8 [* E7 B q: B6 F已确定“A: (1)F是我的妻子”是假话,则A不可能是1,而“C: (1)A是个1”是假的,所以C也不是1,那么只有B是1。
( M5 A) E6 _- w) V9 ?1 ~得到:
) d1 E! f! a9 H' ]; c“B: (1)C没有娶F。 (2)E不是个1”都成立0 v! n* J6 t, `: a( ~
此时的条件可看成
! z/ }6 J: o! `+ t7 bA是2或3,A没有娶F
- f0 {4 I2 {% y8 |+ eB是1) C# V% \" r6 l, [$ Y7 K" e8 z9 e
C是2或3,C没有娶F/ p( p" o9 @( x- ?- R
则有B娶了F,那么“C: (2)B娶了F”成立,可证明C是3,则A是2。! p4 u) Y; B M
那么A的话全是假的,C娶的不是3& D; Y9 ^$ \1 H. u
C的话是真假交替,则有C: (1)A是个1=假 (2)B娶了F=真 (3)D是我的妻子=假
! m" H6 P: ?8 W$ _8 rD不是C的妻子,F又是B的妻子,那么只剩下E,所以C娶了E
5 z# E- m0 Q$ E" [/ H8 q. V因为B说的E不是1成立,而C不能娶3,所以E是2
|* A# ^1 o aB是1,则F不是1,也不是2,所以F是3' g. G ?" t# D* F' [+ V/ M5 K
剩下的就只有D是1的
7 E$ q0 R) X6 b* s; w6 ]6 Q最后我们得到' @* f- q7 D1 O6 a
A2—D1
% N$ C; }9 ~% z: h& i3 BB1—F3
& J, E: T' F: o, @4 w2 a# P) QC3—E2
$ l5 V% ^/ [& P1 c2 X c+ v# ^9 o# i" P0 R# r6 J
再翻译回去% I. d$ l8 g! j8 U0 B
亚瑟-沃汰沃巴+德西-普卡5 p* Y5 L+ z B' H" e3 g# l% u- A
巴塞罗缪-普卡+范妮-西利撤拉
) \( M; s2 s/ h克莱伦斯-西利撤拉+欧明特鲁德-沃汰沃巴
4 q% B0 @7 d8 }: O0 e2 _
4 r$ V% {4 e3 g8 Q' i- a2 q' D# U[ 本帖最后由 墨 于 2007-2-16 15:40 编辑 ] |
评分
-
1
查看全部评分
-
|