[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
233(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/17(金)20:32 ID:ZTm1D3ae(6/10) AAS
>>231 補足
１．（>>217に書いた）「同値類に時間依存性はない」って話も、理解できていなかったんだろうな（＾＾
２．>>48にあるように、関数f 〜 g の同値類で、有限個の値のみ異なる同値類分類をすることを考える。
３．”in step 3, Bob reveals {(x0, f(x0)) ｜ x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. ”
一つのやり方は、事前に全ての関数を類別して、代表を決めておくこと。これ、正攻法でパズルも同じ記載だ。
このやり方の問題点は、必要なのは、一つの関数fの同値類にすぎないのに、無駄な多数の同値類分類をすることだ。
もう一つのやり方は、事後的に”Bob reveals”の後に、問題の関数fの同値類のみを扱うこと。
こうすれば、無駄な作業はない。
４．さて、同値類分類の目的は、>>48にあるように、
”Let g be the representative of that equivalence class that you picked ahead of time. Now, in step 4, guess that f(x) is equal to g(x).”
とするための代表gを得ること。
しかも、代表gはなんでも可で、特別の制約なし。
さすれば、究極の手抜きは、”Bob reveals”の後に、ｆを得て、ｆの有限個の数値を適当に異なるようにして、チョコチョコとｇを作る。
（関数ｆの同値類分類を完成させる必要さえない！！）
このｇを、さも事前に全ての関数の同値類を分類し、全ての代表を選んでおいた顔をして、「これが代表だよ、Bob！」と、ｇを出せば、Bobがびっくりするという仕掛けだ（＾＾
５．いかにも、正攻法でやれば、大変な作業をして関数の数当てをしているように見えるが、
その実、数学的には、”Bob reveals”の後に、ちょこちょことｆをいじって、代表ｇを作るに等価！（＾＾
６．これが、>>48の”The strategy”の数学的パズルの種明かし。
まあ、大学１年の同値類をようやく学んだころの初心者が、こんな目くらましのようなトリックに引っかかり易いのだろうと思う、今日この頃（＾＾
以上
240(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/17(金)23:12 ID:ZTm1D3ae(10/10) AAS
>>233 補足の補足
その実、数学的には、”Bob reveals”の後に、ちょこちょことｆをいじって、代表ｇを作るに等価！（＾＾
これを、数学理論による数当てと思う人は少ないだろうな（＾＾
”Bob reveals”の情報をそのまま使っているのだからね（＾＾
241(1): 2017/11/17(金)23:31 ID:oQVp9LO4(1) AAS
>>233
> その実、数学的には、”Bob reveals”の後に、ちょこちょことｆをいじって、代表ｇを作るに等価！（＾＾
> ６．これが、>>48の”The strategy”の数学的パズルの種明かし。
これが種明かしだってよ笑笑
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.028s