パズルの答え、教えて下さい

パズルの答えがわからなくて困っています。どなたか
教えて下さい。

問題：アリスは４つの人形（ネル、エマ、べス、ドーン）を
持っています。人形たちはアリスと同じで、みんなエプロンを
着けています。ある日、アリスは人形のドレスとエプロンを
４体の中で互いに着せ替えました。着せ替えのあと、どの人形が
だれのドレスとエプロンを着ているでしょう？
（1）少なくとも１体は自分のドレスを着ていて、少なくとも
１体は自分のエプロンを着けています
（2）「ネルのドレスを着けている人形」のエプロンを着けているのはべスです
（3）「エマのドレスを着けている人形」のエプロンを着けているのはネルです
（4）「ドーンのエプロンを着けている人形」のエプロンを着けているのはエマです

No.3 ベストアンサー 回答者： stomachman 回答日時： 2001/06/06 18:24

既に解が出てますから単なる蛇足ですが、パターンマッチングで解くと機械的に見通しよく扱えるものです。

問題は
１１２２３３４４　問題の条件の番号
ａｂＢｘＮｙＥｚ　着用者
ａ＊ｘ＊ｙ＊ｚＤ　エプロンの持ち主
＊ｂ＊Ｎ＊Ｅ＊＊　ドレスの持ち主
＄　　　　　＋＋
という表になります。ここでx,y,z,a,bは変数、＊はそれぞれ別の（名前なしの）変数を表します。（変数が別だからと言って、同じ値になることが禁じられている訳ではありません。以下、実例を見ればその意味がお分かりになるかと思います。）
「列同士が矛盾しないように、虫食い（変数）のところをＮＥＢＤのどれかで埋めろ」という問題ですね。（解が１つあるとは限りません。）
　なお、＋印の２列を見れば、ｚ≠Ｅ,Ｄは明らかです。従って、＄の列を見れば、a≠Ｅ,Ｄも明らかなんですが、これらは一応試してみることにしましょう。どこから手を付けようか迷っちゃいますが、ドレスがらみは＊が多くて早く絞り込めないでしょう。ですからaから始めてみましょう。

(1) ａ＝Ｎ としてみる。
　ａのところにＮを代入し、パターンが合う列を探して決められるところを決めていきます。初めは細かく操作手順を説明しましょう。まず代入しますと、
ＮｂＢｘＮｙＥｚ　着用者
Ｎ＊ｘ＊ｙ＊ｚＤ　エプロンの持ち主
＊ｂ＊Ｎ＊Ｅ＊＊　ドレスの持ち主
∧　　　∧　　　印の所のパターンが合うので、ｙ=Ｎと決まります。これを代入。
ＮｂＢｘＮＮＥｚ　着用者
Ｎ＊ｘ＊Ｎ＊ｚＤ　エプロンの持ち主
＊ｂ＊Ｎ＊Ｅ＊＊　ドレスの持ち主
∧　　　　∧　　印の所のパターンが合うので、これも代入して
ＮｂＢｘＮＮＥｚ　着用者
Ｎ＊ｘ＊ＮＮｚＤ　エプロンの持ち主
Ｅｂ＊ＮＥＥ＊＊　ドレスの持ち主
を得ます。重複する列を省くと、
ＮｂＢｘＥｚ　着用者
Ｎ＊ｘ＊ｚＤ　エプロンの持ち主
Ｅｂ＊Ｎ＊＊　ドレスの持ち主
＋　　　＋＋
です。ここまでで一段落。以下同じような要領です。
　さて、＋印の３列に注目すればただちにｚ≠Ｎ,Ｅ,Ｄ,がわかりますから、ｚ＝Ｂであり、
ＮｂＢＤＥＢ　着用者
Ｎ＊Ｄ＊ＢＤ　エプロンの持ち主
Ｅｂ＊Ｎ＊＊　ドレスの持ち主
つまり
ＮｂＢＤＥ　着用者
Ｎ＊Ｄ＊Ｂ　エプロンの持ち主
Ｅｂ＊Ｎ＊　ドレスの持ち主
＋＋　＋
です。＋印の３列を比較すればｂ≠N,E,Dなのでｂ＝Ｂであり、
ＮＢＢＤＥ　着用者
ＮＤＤ＊Ｂ　エプロンの持ち主
ＥＢＢＮ＊　ドレスの持ち主
従って、
ＮＢＤＥ　着用者
ＮＤ＊Ｂ　エプロンの持ち主
ＥＢＮ＊　ドレスの持ち主
ゆえに＊に入れられるものは一意的に決まってしまいました。すなわち
ＮＢＤＥ　着用者
ＮＤＥＢ　エプロンの持ち主
ＥＢＮＤ　ドレスの持ち主
が一つの解ですね。

(2) ａ＝Ｅとしてみると
ＥｂＢｘＮｙＥＥ　着用者
Ｅ＊ｘ＊ｙ＊ＥＤ　エプロンの持ち主
＊ｂ＊Ｎ＊Ｅ＊＊　ドレスの持ち主
＃　　　　　＃＃
これはだめ。＃印の列が矛盾しています。

(3) ａ＝Ｂとしてみると　--○
ＢｂＢＢＮｙＥｚ　着用者
Ｂ＊ＢＢｙ＊ｚＤ　エプロンの持ち主
ＮｂＮＮ＊Ｅ＊＊　ドレスの持ち主
従って
ＢｂＮｙＥｚ　着用者
Ｂ＊ｙ＊ｚＤ　エプロンの持ち主
Ｎｂ＊Ｅ＊＊　ドレスの持ち主
＋　　　＋＋
です。＋印の３列に注目すればただちにｚ≠Ｂ,Ｅ,Ｄがわかりますから、ｚ＝Ｎであり、
ＢｂＮＤＥＮ　着用者
Ｂ＊Ｄ＊ＮＤ　エプロンの持ち主
Ｎｂ＊Ｅ＊＊　ドレスの持ち主
つまり
ＢｂＮＤＥ　着用者
Ｂ＊Ｄ＊Ｎ　エプロンの持ち主
Ｎｂ＊Ｅ＊　ドレスの持ち主
＋＋　＋
するとｂ≠N,E,D,Bですから、ダメですね。

(4)ａ＝Ｄとしてみると　--×
ＤｂＢｘＮｙＥＤ　着用者
Ｄ＊ｘ＊ｙ＊ＤＤ　エプロンの持ち主
＊ｂ＊Ｎ＊Ｅ＊＊　ドレスの持ち主
＃　　　　　＃＃
これもだめ。＃印の列が矛盾しています。

というわけで、唯一の解が存在し、
ＮＢＤＥ　着用者
ＮＤＥＢ　エプロンの持ち主
ＥＢＮＤ　ドレスの持ち主

No.5 回答者： stomachman 回答日時： 2001/06/07 14:11

毎度の事ながらstomachmanもチョンボです。

他にも解がありうることを見落としていました。
ＮＢＤＥ　着用者
ＮＤ＊Ｂ　エプロンの持ち主
ＥＢＮ＊　ドレスの持ち主
から
(a)
ＮＢＤＥ
ＮＤＥＢ
ＥＢＮＤ
という解を出しましたが、「着せ替え」の解釈によっては、この＊の所には必ずしもN,B,E,Dが入らなくてもよい。「なし（○で表す）」でも構わない。そう考えますと、
(b)
ＮＢＤＥ
ＮＤ○Ｂ
ＥＢＮＤ
(c)
ＮＢＤＥ
ＮＤＥＢ
ＥＢＮ○
(d)
ＮＢＤＥ
ＮＤ○Ｂ
ＥＢＮ○
という別解が得られます。
解(b)(d)のＤドーンちゃんはエプロンをしていない。
解(c)(d)のＥエマちゃんに至っては「ハダカにエプロン」という究極の悩殺コスチューム。ああっ、キーボードが鼻血だらけに.....

No.4 回答者： noname#598 回答日時： 2001/06/06 21:51

stomachmanさん、いつも助けていただいてありがとうございます。

私の答えとstomachmanさんの答えが合致していないように見えたので、
私の答えを補足します。（stomachmanさんが正しいです）
主語と述語が逆なのです。すいませんでした＆ありがとうございます。

エプロン
Ｅ→Ｄ ＥのエプロンをつけているのはＤ
Ｎ→Ｎ ＮのエプロンをつけているのはＮ
Ｄ→Ｂ ＤのエプロンをつけているのはＢ
Ｂ→Ｅ ＢのエプロンをつけているのはＥ

ドレス についても同様に、
Ｎ→Ｄ Ｎのドレスを着ているのはＤ
Ｅ→Ｎ Ｅのドレスを着ているのはＮ
Ｄ→Ｅ Ｄのドレスを着ているのはＥ
Ｂ→Ｂ Ｂのドレスを着ているのはＢ　なので、

ＮはＮのエプロンをつけ、Ｅのドレスを着ている
ＢはＤのエプロンをつけ、Ｂのドレスを着ている
ＤはＥのエプロンをつけ、Ｎのドレスを着ている
ＥはＢのエプロンをつけ、Ｄのドレスを着ている

これで合致します。
中途半端に終わらせて自己満足で引き上げてしまってすいませんでした。

No.2 回答者： noname#598 回答日時： 2001/06/06 08:34

途中で間違えたので、もう一度最初からお願いします。

ネルのドレスを着けている人形をＸ
エマのドレスを着けている人形をＹ
ドーンのエプロンを着けている人形をＺ　とし、
ネル＝Ｎ　エマ＝Ｅ　ベス＝Ｂ　ドーン＝Ｄ　とします。
エプロンについての交換表は、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｚ
Ｚ→Ｅ
ドレスについての交換表は
Ｎ→Ｘ
Ｅ→Ｙ
です。

まずはエプロンに注目。
（４）より、Ｄのエプロンを付けているのがＤかＥだと、
（４）自身に矛盾するので、Ｚ＝ＢかＮです。

Ｚ＝Ｎのとき、
エプロンの交換表を作りなおすと、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｎ
Ｎ→Ｅ

２番目と３番目が同じになったので、Ｙ＝Ｄとなり、３人が交換に参加したので、
（１）の条件からＸ＝Ｂです。
ドレスについての交換表を作り直すと、
Ｎ→Ｂ
Ｅ→Ｄ
４人とも交換に参加してしまっているので（１）に矛盾。（Ｚ＝Ｎまでさかのぼる）

また、Ｚ＝Ｂのとき、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｂ
Ｂ→Ｅ
よって、Ｘ＝Ｄとなり、Ｙ＝Ｎとなる。
ドレスについての交換表は
Ｎ→Ｄ
Ｅ→Ｎ
（１）の条件よりＢ→Ｂ

よって、

エプロン
Ｅ→Ｄ
Ｎ→Ｎ
Ｄ→Ｂ
Ｂ→Ｅ

ドレス
Ｎ→Ｄ
Ｅ→Ｎ
Ｄ→Ｅ
Ｂ→Ｂ

です。

No.1 回答者： noname#598 回答日時： 2001/06/06 07:17

ネルのドレスを着けている人形をＸ

エマのドレスを着けている人形をＹ
ドーンのエプロンを着けている人形をＺ　とし、
ネル＝Ｎ　エマ＝Ｅ　ベス＝Ｂ　ドーン＝Ｄ　とします。
エプロンについての交換表は、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｚ
Ｚ→Ｅ
ドレスについての交換表は
Ｎ→Ｘ
Ｅ→Ｙ
です。

まずはエプロンに注目。
（４）より、Ｄのエプロンを付けているのがＤかＥだと、
（４）自身に矛盾するので、Ｚ＝ＢかＮです。

Ｚ＝Ｎのとき、
エプロンの交換表を作りなおすと、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｎ
Ｎ→Ｅ

２番目と３番目が同じになったので、Ｙ＝Ｄとなり、３人が交換に参加したので、
（１）の条件からＸ＝Ｂです。
ドレスについての交換表を作り直すと、
Ｎ→Ｂ
Ｅ→Ｄ
４人とも交換に参加してしまっているので（１）に矛盾。（Ｚ＝Ｎまでさかのぼる）

また、Ｚ＝Ｂのとき、
Ｘ→Ｂ
Ｙ→Ｎ
Ｄ→Ｂ
Ｂ→Ｅ
よって、Ｘ＝Ｂとなり、Ｙ＝Ｎとなる。
ドレスについての交換表は
Ｎ→Ｂ
Ｅ→Ｎ
（１）の条件よりＤ→Ｄ

よって、

エプロン
Ｅ→Ｄ
Ｎ→Ｎ
Ｄ→Ｂ
Ｂ→Ｅ

ドレス
Ｎ→Ｂ
Ｅ→Ｎ
Ｂ→Ｅ
Ｄ→Ｄ

です。