論理的思考力を鍛えよう Part1 (785ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
705(4): 2012/08/21(火)02:45 AAS
まず十分性について示す。
○×のうち少ない方の印をA、多い方の印をBとする。
（同数の場合は、どちらか一方をA他方をBとする、どちらがAでもよい）
額にAの印が付いている人をpA、Bの付いている人をpBとする。
また、pA、pBが複数いる場合、各pA、pB個人が得られる情報には差異はなく
各個人は同じように論理的なので、pAはpAどうし,pBはpBどうし全て同じ行動を取る。
よってpA一人の行動が(乱数などを含まず)論理的に一意に決まれば
省1
706: 705 2012/08/21(火)02:46 AAS
続き
命題(1)： pAがn人の時、n日目の夜はpAが村を出ていくのに十分な時である (ただしn≧1)
pAが１人の時
pA自分以外が全てAでない印が付いている事を知り
その夜(1日目の夜)に出ていくので命題(1)は正しい …(2)
pAがk人のときに命題(1)が正しいとの仮定の下で
pAがk+1人のときを考える
省12
709(1): 2012/08/24(金)11:24 AAS
あ、>>704にもう書いてあったか。すまん。
矛盾が起こることを、全てのケースについていっぺんに示すのは
おそらくけっこう面倒な事になるので
>>705でやっているように、n日目についてだけを考えて
あとは数学的帰納法ってのが見通しがよさそう。
719: 2012/08/31(金)04:49 AAS
必要性というのがいまひとつわからないんだけど
>>705じゃダメなの？
720: 2012/09/01(土)02:31 AAS
>>705だと、例えば○がｎ人いる場合（×はもっと多い）について
○の人がn日目に自分の印を知る方法が示されている。
しかし、それよりも前の日に自分の印を知る方法は
存在しないことについてはなにも触れていない。
つまり、遅くともn日目の夜までには○は皆出ていくことは分かったが
実際には（と言う言い方も変だが）それよりも早く出ていくかもしれない。
ｎ日目の夜よりももっと早く出ていく可能性が否定できないということ。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.630s*