[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
245(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/18(土)08:03 ID:EemFP5PJ(3/34) AAS
>>240-241 補足の補足の補足
”Bob reveals”の情報は、いずれにせよ使わざるを得ない
１．（>>233の）正攻法で、事前に全ての関数を類別して、代表を決めておく場合
”Bob reveals”の情報は、同値類を特定するために必須
つまり、同値類を特定するために必須の情報として、Bobの関数ｆについてほとんど全ての情報を必要とする
２．一方、（>>233の）手抜き法の場合でも、上記と同じだけの情報を必要とする（＾＾
これが、>>48の”The strategy”の数学的パズルの種明かし（＾＾
372(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/19(日)13:34 ID:W1ZiI7BV(17/34) AAS
>>371 つづき
１．数学の論の進め方に、同値な命題に置き換えるというのがある
２．下記は、同値だ
命題Ａ：
・choose x with uniform probability from [ 0,1 ]
↓
・f(x) と g(x) と比較し、f(x) = g(x) ならh(x)=1, f(x) ≠ g(x) ならh(x)=0, なる関数h(x)を定める
↓
・関数h(x)を区間[0,1]まで積分する。外れが有限で零集合だから、積分値は１。つまり、的中率１
命題Ｂ：
・choose x with uniform probability from [ 0,1 ] より
↓
・x=0からゲームを始め、f(x) と g(x) と比較し、f(x) = g(x) ならh(x)=1, f(x) ≠ g(x) ならh(x)=0, なる関数値h(x)を、x=1まで記録してゆく
↓
・関数値h(x)がすべて決まる。外れが有限で零集合だから、的中率１
３．命題Ａと命題Ｂとの同値であることは、ほぼ自明。（∵命題Ｂは、命題Ａを単に”ゲーム”という言葉で置き換えたに過ぎない）
４．命題Ａと命題Ｂとが同値である以上、私スレ主の主張”XOR’S HAMMERの関数数当てパズルの種明かし”（>>233&>>245>>365）になんの問題もない
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.050s