[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
472(6): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/06(月)00:05 ID:1Au30FRy(6/13) AAS
>>471 つづき
The strategy is as follows: Let 〜 be the equivalence relation on functions from Ｒ to Ｒ defined by f 〜 g iff for all but finitely many y, f(y) = g(y). Using the axiom of choice, pick a representative from each equivalence class.
In Step 2, choose x with uniform probability from [ 0,1 ].
When, 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. 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).
What is the probability of success of this strategy?
Well, whatever f that Bob picks, the representative g of its equivalence class will differ from it in only finitely many places.
You will win the game if, in Step 2, you pick any number besides one of those finitely many numbers.
省3
473(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/06(月)00:08 ID:1Au30FRy(7/13) AAS
>>472 つづき
先に私の見解を書いておくが、ピエロくんの紹介してくれた >>312 PDF が参考になるね（＾＾
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition by Hardin, Christopher S., Taylor, Alan D.
これで、上記とちょっと違って、７章”The Topological Setting”とかなっていて、さすがに上記は、まずいということらしい。（＾＾
例えば、
P9
”In Chapter 7 we start to move further away from the hat problem
省13
612(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/08(水)20:47 ID:V2sC1YiM(2/2) AAS
>>607
>＞「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」だと証明されている（>>32）
>それが正しい（的外れである）として、そのことから時枝戦略を否定できるとでも？
>できると言うなら証明してごらんなさい
あんた、どこまでは分っているのか？
えーと、時枝の前に、まず、>>471-472の”XOR’S HAMMERの任意関数の数当て解法”（>>540）をやろう！
”XOR’S HAMMERの任意関数の数当て解法”は、>>541に書いたように、時枝の”加算無限個数列の数当て解法”を含んでいるが
省9
613: 2017/11/08(水)20:54 ID:8GhT0iWt(2/3) AAS
>>612
> えーと、時枝の前に、まず、>>471-472の”XOR’S HAMMERの任意関数の数当て解法”（>>540）をやろう！
> ”XOR’S HAMMERの任意関数の数当て解法”は、>>541に書いたように、時枝の”加算無限個数列の数当て解法”を含んでいるが
> これ、シンプルだ！
えーと、これですね
>>541
> ２．任意関数の数当て解法は、射程として、加算無限個数列の数当て解法を含んでいるんだ。それを示そう
省9
767(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/11(土)11:18 ID:nimHTkvQ(11/25) AAS
>>666 戻る
"関数f:S→Rについてあるx∈Sを選んでf(x)の値を当てる件について
(抜粋)
3. Sが区間[0,1]の場合
→fと上記区間内の測度0の集合上のxで値が異なるだけのgを
fと同値とする同値関係を定義し同値類の代表元f'をとれば、
x∈Sについてf(x)=f'(x)となる確率は1 （区間[0,1]上の測度で考える)"
省4
778(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/11(土)13:26 ID:nimHTkvQ(14/25) AAS
>>752 訂正
ああ、>>750 ID:RM9P2EXb さんは、High level people の方だったか。失礼した（＾＾
>> 独立性を「何の情報も得られない」と思い込んでるなら
独立性は、他の箱からは「何の情報も得られない」ってこと。しかし、開けた箱からは情報を貰える
（>>767）
（>>472より）”When, 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. ”
に同じ
819(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/11(土)18:36 ID:nimHTkvQ(22/25) AAS
>>817 補足
（>>767より）
"関数f:S→Rについてあるx∈Sを選んでf(x)の値を当てる件について
(抜粋)
3. Sが区間[0,1]の場合
→fと上記区間内の測度0の集合上のxで値が異なるだけのgを
fと同値とする同値関係を定義し同値類の代表元f'をとれば、
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s