探検


スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6w)

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2026/08/13(木) 10:56:04.02ID:4E98wVFX
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1780699023/
前スレ スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part4w)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の最後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

2.続けて時枝はいう
 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
つまりsd,sd+1,sd+2,・・・を知ればsの類の代表r は決められる.
更に,何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・
が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり,
結局sd (実はsd,sd+1,・・・,sD ごっそり)が決められることに注意しよう.
(補足)
sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字

つづく
172132人目の素数さん
垢版 |
2026/08/15(土) 22:54:18.09ID:1Pb2NGIW
>>171
>長さ2mのW(e)の元であるランダムウォークwの囲む面積は
長さ2mのW(e)の元であるランダムウォークwの囲む面積が0ということは
>Σ[b](i-j)=Σ[d](i-j)
173132人目の素数さん
垢版 |
2026/08/15(土) 23:34:09.42ID:1Pb2NGIW
たとえば
abcabddd abcadacc dabccaa dcb abcdbbdadcbbdc∈W(e)
では
1b12bddd3b34d555d6b6678d8b9b9dbbd0d0bbd0
0b11bddd1b22d234d4b5666d7b7b8dbbd8d9bbd0
(上がi下がj・2回目の0は実際は10)
なので
Σ[b](i-j)=1+1+2+2+1+2+1+1+1+1=13
Σ[d](i-j)=1+1+1+2+1+2+1+1+2+1=13
なので囲む面積は0
abcabdddabcadaccdabccaadcbabcdbbdadcbbdc∈W(e)
であることは
abbdddabcadcdabcadcbabcadcbc
abddabdcdabdcbabcadcbc
adacdacbabcadcbc
addbabdcbc
adacbc
adbc
ac
e
となることで確かめられる
174132人目の素数さん
垢版 |
2026/08/15(土) 23:41:30.34ID:1Pb2NGIW
ちなみに
始点終点両方とも原点であるwが囲む面積が0ならw∈w(e)も言えるはず
ここで
始点終点両方とも原点とは
W→R2→Z^2
という半群の準同形で考えると
wを構成するa,cの個数が同数かつb,dの個数が同数
で判定できる
175132人目の素数さん
垢版 |
2026/08/15(土) 23:44:06.59ID:1Pb2NGIW
>>168
>m=0,1,2,3
>についてはad hocに数え上げたから>>121
>求める条件付き確率が
>p→0
>の極限で70.8%程度以下になることは確認した
この点については>>122で訂正したように
数え間違いしていたので
確認したのは70.6%程度以下だということだった
176132人目の素数さん
垢版 |
2026/08/16(日) 00:04:01.81ID:t10tnG/G
>>170
>aa,ab,ad
>であるものは経路の曲がり方の違いだけであって
>マルコフ性から同じ個数になる
で
どれも原点から2歩離れているので
{aaw:w∈W}∩W2(m-1)
の個数と同じ
んで
{aaw:w∈W}∩W2m
は
aaのあとにabcd4通りのうち
aaa,aab,aad
に続くものは同じ個数で
aac
に続くものは
aから始まるW(e)∩W2(m-1)の元の個数に等しい
すなわち
aW(e)cW(e)∩W2(m-1)
の個数と等しい
aaa
に続くものは
{aaaw:w∈W}∩W2m
の個数に等しい
and so on.....
177132人目の素数さん
垢版 |
2026/08/16(日) 00:08:31.89ID:t10tnG/G
>>174
>W→R2→Z^2
W→F2→Z^2
178132人目の素数さん
垢版 |
2026/08/16(日) 01:59:44.52ID:t10tnG/G
>>174
>ちなみに
>始点終点両方とも原点であるwが囲む面積が0ならw∈w(e)も言えるはず
これはダメだ
正の面積Sと負の面積-Sを囲むようにすればトータルで0だけどW(e)の元ではない
2026/08/16(日) 09:44:13.15ID:DuD4SEVs
あの不完全問題の元凶はここか
2026/08/16(日) 10:31:08.68ID:t10tnG/G
>>178
例えば
aabcddcb
は
12b2dd2b
00b1dd2b
より
2+0=2
1+1=2
で囲む面積は0だが
W(e)の元ではない
2026/08/16(日) 11:15:03.89ID:DuD4SEVs
サイコロ振って
1↑2←3↓4→5、6終了
コイン振って表なら終了裏なら続けて2回振って表表↑表裏←裏表↓裏裏→
どちらも条件満たすけど答えちがう
2026/08/16(日) 11:16:14.06ID:DuD4SEVs
そもそも未来永劫動くのでないならマルコフ過程でもなんでもない
183132人目の素数さん
垢版 |
2026/08/16(日) 11:56:10.34ID:t10tnG/G
>>180
abcd
は
1b1d
0b1d
より
囲む面積は
(1-0)-(1-1)=1
2026/08/16(日) 16:42:15.17ID:CHOk1oJD
>>182
吸収帯付きですね
185132人目の素数さん
垢版 |
2026/08/17(月) 07:04:49.62ID:BUxWQe0b
>>176
>どれも原点から2歩離れているので
>{aaw:w∈W}∩W2(m-1)
>の個数と同じ
この書き方間違い
{aaw:w∈W2(m-1)}
だわね
186132人目の素数さん
垢版 |
2026/08/17(月) 07:07:05.39ID:BUxWQe0b
W(e)∩{aaw:w∈W2(m-1)}
187132人目の素数さん
垢版 |
2026/08/17(月) 15:57:14.34ID:FPzi8Xn7
>>121
>P(W(e)aW(e)b)/P(W(e)aW(e)bW(e))=P(W0)/P(W(e))

より詳しく見たら、ここに問題があるのではないかとのこと。
簡単のため、W(e)aW(e)b=Aとおくと、これは
P(AW(e))=P(A)P(W(e))/P(W0) と分解しているが、ここが問題。
なぜなら、集合 AW(e) をAとW(e)の積に分解する仕方が一意的ではないから。
W(e)のかわりに、原点に1度だけ帰還する、初帰還ウォークV(e)を
導入すると、P(AV(e))=P(A)P(V(e))/p(=W0)が成立する。
同様に、P(AV(e)^n)=P(A)P(V(e))^n/p^n,
ゆえに、P(AW(e))= P(A)Σ_{n=0}^∞ P(V(e))^n/p^n=P(A)/(1-P(V(e))/p).
P(A)/P(AW(e))=1-P(V(e))/p.
188132人目の素数さん
垢版 |
2026/08/17(月) 16:16:57.93ID:BUxWQe0b
>>187
そこなんだけど
私も考察は完全じゃ無いとは思っている部分
ただ
>簡単のため、W(e)aW(e)b=Aとおくと、これは
>P(AW(e))=P(A)P(W(e))/P(W0) と分解しているが、ここが問題。
の所はこう考えてます
∀w∈W(e)aW(e)b
に対して
P(w)/P(wW(e))
がwによらず一定の値(たとえばq)になるのはマルコフ性から出てくるので
P(A)/P(AW(e))=(ΣP(w))/(ΣP(wW(e)))=(ΣqP(wW(e)))/(ΣP(wW(e)))=q
であり
P(wW(e))
はwのあとにW(e)のウォークw'を続けるその全ての出現確率の和で
P(ww')=(P(w)/P(W0))P(w')
だから
P(wW(e))=Σ(P(w)/P(W0))P(w')
つまり
P(w)/P(wW(e))=P(w)/Σ(P(w)/P(W0))P(w')=P(W0)/ΣP(w')=P(W0)/P(W(e))
となると
指摘どうもありがとう
自分の中では有無これで上手く行くとは思っていたけれど
式に書いてみて確かに大丈夫と分かりました
>W(e)のかわりに、原点に1度だけ帰還する、初帰還ウォークV(e)を
>導入すると
これは朧にそういうものが必要かなとも思っては居たが(漸化式考えるとそう言うものが出てきそうだったから)ハッキリ意識にはしてませんでした
自分でもちょっと考察してみます
189132人目の素数さん
垢版 |
2026/08/17(月) 16:19:32.52ID:BUxWQe0b
>>188
>P(ww')=(P(w)/P(W0))P(w')
>だから
ここでP(W0)(終了確率p)で割っているのは
P(w)はwで終了する確率であってP(ww')はwで終了せずw'が続くためです
190132人目の素数さん
垢版 |
2026/08/17(月) 16:52:11.49ID:BUxWQe0b
まず
f:W→F2
で
V(e)={w∈W¥W0:f(w)=e,∀u,v∈W¥W0:w=uv→f(u)≠e}
を導入すると
W(e)=ΣV(e)^n(集合の直和)
V(e)^0=W0
V(e)^1=V(e)
VIe)^2=V(e)V(e)
V(e)^3=V(e)V(e)V(e)
P(W(e))=ΣP(V(e)^n)=ΣP(V(e))^n/P(W0)^n-1
P(W0)/P(W(e))=1/Σ((P(V(e))/P(W0))^n=1-P(V(e))/P(W0)
か
確かにそれですね>>187
>P(A)/P(AW(e))=1-P(V(e))/p.
あとは頑張って
P(V(e))
を求めるのか
「途中原点に戻らない」というのが面倒くさそう…
だけど考えます
191132人目の素数さん
垢版 |
2026/08/17(月) 17:05:44.66ID:BUxWQe0b
V(e)∩W2={ac,bd,ca,db}
V(e)∩W4∩{a***}=
{aacc abdc adbc}
V(e)∩W6∩{aa****}=
{aaaccc aabdcc aacacc aacbdc aacdbc aadbcc}
V(e)∩W6∩{ab****}=
{abacdc abbddc abcadc abdacc abdbdc abddbc}
V(e)∩W6∩{ad****}=
{adacbc adbacc adbbdc adbdbc adcabc addbbc}
ad hocには数えやすくはなっているけれど
個数の漸化式思いつかないのは同じか
192132人目の素数さん
垢版 |
2026/08/17(月) 17:21:08.51ID:BUxWQe0b
ああそうか途中原点に戻らないの意味をハッキリさせないと
abcdbadc
は途中原点に戻らないとしなくてはいけない
なぜなら
abcd∈W(e)ではないので
これは許容されるとせねばW(e)の元の分解として機能しない
つまり>>190
>V(e)={w∈W¥W0:f(w)=e,∀u,v∈W¥W0:w=uv→f(u)≠e}
でなくて
V(e)={w∈W(e)¥W0:∀u,v∈W(e)¥W0:w≠uv}
だね
これで
W(e)=ΣV(e)^n
となってあとの計算の辻褄が合う
193132人目の素数さん
垢版 |
2026/08/17(月) 17:29:11.51ID:BUxWQe0b
そして
V(e)∩W2m
の元でaから始まるものは
aaw,abw,adw
の形をしていて(なんとなればacwはacで原点に戻るから)
3パターンどれも総数は同じ
aaw
のパターンのもののwは
W(e)cc(W(e)¥W0)
の形式のものはない(aaW(e)ccで原点に戻るから)
でもどこかで最初のaaを打ち消すccは登場するんだから
それは最後に登場せねばならず
aa(W(e)∩W2(m-2))cc
に限られる
194132人目の素数さん
垢版 |
2026/08/17(月) 17:32:51.67ID:BUxWQe0b
あちがうか
最初のaaを一辺に打ち消さなくても良いんだ
aa(W(e)∩W2i)c(W(e)∩W2j)c(i+j=m-2)
ならよいのか
うーん
見えてきた感じがしてきたぞ
195132人目の素数さん
垢版 |
2026/08/17(月) 17:34:37.10ID:BUxWQe0b
>>187
>W(e)のかわりに、原点に1度だけ帰還する、初帰還ウォークV(e)を
>導入すると
やっぱこれが決め手になりそうですね
素晴らしいアイデア
196132人目の素数さん
垢版 |
2026/08/18(火) 03:03:26.90ID:nRG3U9Ty
F_2のケーリーグラフの対称性とマルコフ性を使うと、abを原点eに移して
考えることができる。停止確率をpとすると、どのウォークの発生確率にも
pが乗ぜられるので、発生確率の比だけを考えればいい。まず最初に停止で
e(空ウォーク)が発生している。あとは、旅をして原点に戻ってきて停止
するウォークがある。両者をまとめてすべて計算すると、p→0の極限で
空ウォークの発生確率の3/2倍になるようだ。つまり、空ウォーク自体に
比べて50%増える。1が空ウォークで、1/2が旅をして戻って来るウォーク。
1/2は等方向から来るはずなので、1/8ずつ4方向からになる。
空ウォーク+1方向の和が 1+1/8=9/8, 残り3方向の和が3/8.
比を見ると3:1。したがって、最初の問題>>61に戻ると、やはり
原点方向からが75%、残り3方向からが合わせて25%という結論になると思う。
197132人目の素数さん
垢版 |
2026/08/18(火) 03:06:42.92ID:nRG3U9Ty
>>190
>「途中原点に戻らない」というのが面倒くさそう…
>だけど考えます

数え上げには、母函数(生成函数)の方法を使うといいようだ。
2026/08/18(火) 04:44:29.94ID:5jjLjbEN
終わる確率が0でないならマルコフ性なんてつかったらダメ
199132人目の素数さん
垢版 |
2026/08/18(火) 06:18:25.94ID:d4w7/ei+
>>196
具体的に数え上げてそれはないって分かってるから>>122
どこか考え間違えてると思うよ
200132人目の素数さん
垢版 |
2026/08/18(火) 06:43:44.62ID:d4w7/ei+
>>196
あらためて
w∈W
について
P(w)=Q(w)P(W0)
つまり
Q(w)
を無限のウォークの中で後に続こうが終わろうがwが発生する確率
((1-p)/4)^n(w∈Wn)
と定義して
求める確率を
1-Q(V(e))
と書くことにすると(最初からこれの方が筋良かったですね)
|V(e)∩W0|=0
|V(e)∩W2|=4
|V(e)∩W4|=12
|V(e)∩W6|=72
1-Q(V(e)))<1-(4((1-p)/4)^2+12((1-p)/4)^4+72((1-p)/4)6)
となり
p→0
で
1-(1/4+3/64+9/512)≒68.6%
>>122より精度が良くなっているのは
V(e)^nのnに制限ない範囲まで考えている
つまり
W(e)∩W2mのmに制限ない所の一部まで計算に入れているから
201132人目の素数さん
垢版 |
2026/08/18(火) 06:55:40.63ID:d4w7/ei+
>>197
それがちょっと大変そうなんだよね
V(e)∩W2m
は>>194のように
W(e)∩W2i
と
W(e)∩W2j
の積の12倍の元数
ところが
W(e)∩W2m
は>>190のように
V(e)^n∩W2m
の
0≦n≦m
の直和なのです
202132人目の素数さん
垢版 |
2026/08/18(火) 07:16:29.75ID:d4w7/ei+
>>201
この考えで
V(e)∩W8
も数え上げると
(楽に書き下せるように
W(e)n=W(e)∩Wn
V(e)n=V(e)∩Wn
と書くことにする)
|V(e)8|=12(|W(e)0||W(e)4|+|W(e)2||W(e)2|+|W(e)4||W(e)0|)=12×(28+16+28)=864
なので
p→0
の極限で
1-Q(V(e))<1-(1/4+3/64+9/512+27/2^11)≒67.2%
あらら?
もしかしたら
|V(e)2m|=3^(m-1)×2^k
の形式?
でも
m=2,4,6,8
で
k=2,6,9,11
だからあんまり法則性はなさそうかも
203132人目の素数さん
垢版 |
2026/08/18(火) 07:51:46.60ID:d4w7/ei+
>>194
あまずいこれ間違い>aa(W(e)∩W2i)c(W(e)∩W2j)c(i+j=m-2)
最初のW(e)∩W2jでW(e)cW(e)cW(e)aW(e)aW(e)の元は除外せねばW(e)cW(e)cまで進んだ時点で原点に戻るわ
うーん面倒
V(e)6でaaから始まるものは
aaaccc aabdcc aacacc aacbdc aacdbc aadbcc
だけど(だからこれまでの計算は正しい)
|W(e)0||W(e)2|+|W(e)2||W(e)0|=8
なのでこの段階で既にこの計算ではダメだとなる
だから>>202
>|V(e)8|=12(|W(e)0||W(e)4|+|W(e)2||W(e)2|+|W(e)4||W(e)0|)=12×(28+16+28)=864
は正しい計算じゃない
もっとずっと少ない筈
aaW(e)0cW(e)4c=aacW(e)4c
は
W(e)4
のうち
W(e)cW(e)aW(e)
の元である
caac cabd caca cadb cbda ccaa cdba acca bdca dbca
を除くから
28-10=18通り
aaW(e)2cW(e)2c
は
どちらのW(e)2もcを含まないbd,dbで無くてはいけないから
2×2=4通り
aaW(e)4cW(e)0c=aaW(e)4cc
は
W(e)4
の中にcが入らないということはaも入らずbとdだけなので
bbdd bdbd dbdb ddbb
の
4通り
合計は
18+4+4=30通り
よって
|V(e)8|=12×30=360通り
か
>>202
>p→0
>の極限で
>1-Q(V(e))<1-(1/4+3/64+9/512+27/2^11)≒67.2%
1-Q(V(e))<1-(1/4+3/64+9/512+45/2^13)≒68.0%
204132人目の素数さん
垢版 |
2026/08/18(火) 08:42:48.12ID:d4w7/ei+
>>203
>aaW(e)2cW(e)2c
>は
>どちらのW(e)2もcを含まないbd,dbで無くてはいけないから
違った
1つめ
caはOK
(2つめはダメ)
>2×2=4通り
3×2=6通り
>aaW(e)4cW(e)0c=aaW(e)4cc
>は
>W(e)4
>の中にcが入らないということはaも入らずbとdだけなので
こっちも
ccaa
以外はOKだから
28-1=27通り
かな?
合計
>18+4+4=30通り
18+6+27=41通り
よって
>|V(e)8|=12×30=360通り
|V(e)8|=12×41=492通り
>1-(1/4+3/64+9/512+45/2^13)≒68.0%
1-(1/4+3/64+9/512+123/2^14)≒67.8%
205132人目の素数さん
垢版 |
2026/08/18(火) 08:49:09.78ID:d4w7/ei+
>>198
各地点で終わる確率pは一定で
abcde(eはendのe)の5通りの無限ランダムウォークのうち
abcdが無限に続くものは除外し
最初のe以降は全部まとめたと考える吸収帯のある話
206132人目の素数さん
垢版 |
2026/08/18(火) 09:00:02.23ID:d4w7/ei+
>>203
>W(e)4
>のうち
>W(e)cW(e)aW(e)
>の元である
>caac cabd caca cadb cbda ccaa cdba acca bdca dbca
>を除くから
W(e)cW(e)aW(e)∩W4=caW(e)2∪cW(e)2a∪W(e)2ca
で
caW(e)2={caac cabd caca cadb}
cW(e)2a={caca cbda ccaa cdba}
W(e)2ca={acca bdca caca dbca}
なので重なりがあるから上記の10通り
数え上げはかなり大変
207132人目の素数さん
垢版 |
2026/08/18(火) 09:21:33.66ID:nRG3U9Ty
>>199
あなたの出した、原点回帰ウォークの数え上げ自体はいい線を行っている。
具体的な母函数を書くと
W(z)=1+4z^2+28z^4+232z^6+2092z^8+ … となる。完全な形も分かっていて
W(z)=3/(1+2√(1-12z^2)) となる。停止確率をpとすると
W0(=p)/pW((1-p)/4) の値は、p→0の極限で、2/3になる。
しかし、この値を答えそのものとすることは、>>187に書いた通り不可。
では、何を意味するか? 逆数を取ると3/2になる。
これは 空ウォークも含めてすべての原点回帰ウォークを数え上げると
空ウォークの1.5倍の重みになることを意味している。
208132人目の素数さん
垢版 |
2026/08/18(火) 09:23:50.28ID:nRG3U9Ty
>>198
具体的にどこがダメか言えますか?
マルコフ性を使わないと何の計算もできませんよ?
実際には、問題によってよかったりダメだったりするというのが正確。
この場合はOK.
209132人目の素数さん
垢版 |
2026/08/18(火) 09:28:12.62ID:d4w7/ei+
>>207
何か変だな>>188から
求める確率は
1-Q(V(e))
じゃないの?
>W0(=p)/pW((1-p)/4) の値は、p→0の極限で、2/3になる。
>しかし、この値を答えそのものとすることは、>>187に書いた通り不可。
なんか2/3じゃないかなと思えてきたところだったからなるほど
2026/08/18(火) 12:06:20.48ID:V+BjG11P
>>208
具体的にも何もマルコフ過程じゃないものにマルコフ過程の時に成立する公式とか定理とか使っていいわけないやん
2026/08/18(火) 12:11:30.24ID:V+BjG11P
でもなんか今の
上下左右の確率か(1-p)4、停止確率がpならマルコフ過程
そこでキッチリ確率出してから極限出すのは構わない
先に極限とってなんか「停止確率0上下左右の確率が1/4のマルコフ過程みたいなもの」とやったらもう数学ではない
212132人目の素数さん
垢版 |
2026/08/20(木) 13:08:04.05ID:/44RyyyB
>>209
>>188の
>P(w)/P(wW(e))
>がwによらず一定の値(たとえばq)になるのはマルコフ性から出てくるので
この部分はOKだが
>P(A)/P(AW(e))=(ΣP(w))/(ΣP(wW(e)))=(ΣqP(wW(e)))/(ΣP(wW(e)))=q
>であり
この部分が誤り。たとえば
w_1=ab, w_2=abb^{-1}b とおくと、これは分子集合では異なる元として
カウントされているが、分母集合では w_2W(e)⊂w_1W(e) という包含関係
があるがあるから、重複カウントされる。つまり、AW(e)が排他的な分解
にならないから、確率をそのまま足し上げることは不可。このあたりを
すっきりさせるには、abへの初到達集合A_0などを導入する必要がありそう。
213132人目の素数さん
垢版 |
2026/08/20(木) 13:12:55.55ID:/44RyyyB
>>187の後半に、わたしが付け足した部分にも誤りがある。
P(AV(e)^n)=P(A)P(V(e))^n/p^n が成立する。ここまではいい。
しかし、P(AW(e))=∪_{n=0}^{∞}P(AV(e)^n) の右辺の集合は
重複があるので、P(AW(e))=Σ_{n=0}^{∞}P(AV(e)^n)とするのは
やはり誤り。結局、重複をなくした上で、確率の積への分解を
用いるためには、Aという集合を修正して abへの「初到達」の集合
A_0に限定する必要がある。そうすればそれは P(W0)/P(W(e))
に等しいという結果が正当化されるが、それは初到達集合A_0に
対する、P(A_0)/P(A_0 W(e))の値に過ぎない。

だから、初回帰集合Vだけで話が済むわけではない。
これはむしろ、W(z)の公式を求めるのに必要な集合。
214132人目の素数さん
垢版 |
2026/08/20(木) 13:15:18.07ID:/44RyyyB
>>196にわたしが書いた
>1/2は等方向から来るはずなので、1/8ずつ4方向からになる
は絶対に必要な論点で、ちゃんと書くとある程度行数を費やすはず。
わたしは幾何学的直観で済ませた。ちなみに、このケーリーグラフは
双曲平面に綺麗に埋め込むことができる。
2026/08/20(木) 16:56:54.03ID:/44RyyyB
>ちゃんと書くとある程度行数を費やすはず

いや簡単なことか。a,b,a^{-1},b^{-1}の入れ替えに関して対称性があるから。
しかし、論点としては言及が必要。

幾何学的な直観として重要とすれば、むしろ「原点の幾何学的な特異性などない」
ということかな。そりゃそうだろう。平面上に原点なんて、どこに取っても
いいのだから。では、なぜ結果が原点方向に偏るかというと、「出発点が
原点だから」という意外の理由などまったくない。逆に言えば、ウォークの
出発点を変えれば、それに応じた結果になるということ。
2026/08/20(木) 17:51:28.37ID:GTIAU6nZ
中国を目の敵にする身の程知らずのニホンザルID:wSwE8w8G
部族主義者のエテ公は政治板で騒いでろ
2026/08/20(木) 17:54:17.46ID:GTIAU6nZ
🐎🦌野郎は五毛であった(禿笑)
2026/08/20(木) 18:00:37.69ID:87kqzOYR
5本の毛と5色の毛はどちらが良いかなw
2026/08/20(木) 18:45:20.10ID:/K85YEVJ
このタイプの問題はあるあるな問題
設定として「平面上を自由に動き回る動点がある。ある時点でPにいた。最後にいたのはどこ?」
みたいな問題にして「対称性より1/4」としたい。解答はどうなるかという発想。
この掲示板でも死ぬほど出てくる。懐かしいのだと
「平面上に自由に直線を引く。直前と固定された単位円が共有点を持つときの元の長さの条件付き期待値は」的なやつ
そもそも平面上の格子点のどこにいる確率も等しいなどという設定がありえない。
少なくとも問題を正当化する方法で普遍的にこんな方法が1番自然といえるものはあまりない。
2026/08/20(木) 18:49:24.33ID:GTIAU6nZ
なんでこんな話を箱入りスレでやってるの?
2026/08/20(木) 19:56:05.97ID:/44RyyyB
>>215
>なぜ結果が原点方向に偏るかというと、「出発点が
>原点だから」という意外の理由などまったくない。

これもなんか違和感があったが、正確ではなかった。
もともと木の構造が、外側に広がってるからと
いうのが根本的にはある。
2026/08/20(木) 20:00:57.78ID:/44RyyyB
>>219
それは知らないというか、普段あまり関心がないから見えてないのか。
>>220
数え上げをしていた方は、非常にはまっていたというか、構造の
美しさに気づいてくれたのなら嬉しいが。
2026/08/20(木) 20:05:54.83ID:GTIAU6nZ
>>222
箱入り無数目と関係ないんだろ
2026/08/21(金) 15:43:38.19ID:Ms6Nvoiz
>>221
そもそも「外側」というのがどの点を中心とするかによって
変わるので、結局>>215のままでよかった。どうもモデルで考えると
絶対的な「外側」があるような気がしてしまうが、それは錯覚だ。
225132人目の素数さん
垢版 |
2026/08/21(金) 21:28:11.67ID:W0dULf7J
>>213
俺も間違いに気が付いた
兎にも角にも求める条件付き確率は
P(W(a)b)/P(W(ab))
これはいい
また
W(a)=W(e)aW(e)
W(ab)=W(e)aW(e)bW(e)
とか
W(e)=ΣV(e)^n
とか問題ない
さらに
P(W(a)b)=Σ{P(w):w∈W(e)aW(e)b}
までもいいのだが
P(W(a)bW(e))≠Σ{P(wW(e)):w∈W(e)aW(e)b}
だわな
複数の
w∈W(e)aW(e)b
について重なってるからな
よって
P(W(a)b)/P(W(ab))=1-Q(V(e))
としたのが間違いで分母がもう少し小さくなる(重なりがあるため)
2026/08/21(金) 23:41:14.83ID:NAooQcK8
レス乞食のプロフィール
家庭に恵まれず、中高一貫校を出て、共通一次で750点取って、理科教師やって数学科に入って、兄弟に自死されて、御大を尊敬
2026/08/22(土) 04:45:25.42ID:m5T0tHPT
レスコ〇キ本人が書いている可能性w
228132人目の素数さん
垢版 |
2026/08/22(土) 07:01:51.99ID:E2L2ulpE
>>227
みたいね
2026/08/22(土) 08:18:20.41ID:YviMZe5F
レス乞食の正義w
数学板からマウントをなくのが目標
マウントは身体的な反射として吐き気がする。
230132人目の素数さん
垢版 |
2026/08/22(土) 08:20:54.17ID:E2L2ulpE
>>225
>P(W(a)b)/P(W(ab))
>これはいい
せっかくQ導入したから
Q(W(a)b)/Q(W(ab))
にしておくか
2026/08/22(土) 08:21:12.60ID:YviMZe5F
レス乞食の数学
学生時代は関数論をやった。いまはルベーグ積分を勉強してる

お兄さんと一緒にルベーグ積分を勉強しよう!
rio2016.5ch.io/test/read.cgi/math/1786514708/
2026/08/22(土) 08:22:56.85ID:YviMZe5F
ダボハゼ爺さんも一緒に
233132人目の素数さん
垢版 |
2026/08/22(土) 08:41:16.05ID:E2L2ulpE
>>230
>Q(W(a)b)/Q(W(ab))
Q(W(a)b)/Q(W(ab))=Q(W(e)aW(e)b)/Q(W(e)aW(e)bW(e))
Q(W(e)aW(e)b)=Σ{Q(w):w∈W(e)aW(e)b}
Q(wW(e))=Q(w)Q(W(e))(マルコフ性)
Q(W(e)aW(e)b)=Σ{Q(wW(e))/Q(W(e):w∈W(e)aW(e)b}=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))
Q(W(e))=Q(ΣV(e)^n)=ΣQ(V(e)^n)=ΣQ(V(e))^n=1/(1-Q(V(e)))
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))=Σ{Q(wW(e)):w∈W(e)aW(e)b}(1-Q(V(e)))
ここまではいいのだが
Q(W(a)b)/Q(W(ab))(1-Q(V(e)))=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))=?
わからん
1だとしてしまったのは間違いだった
234132人目の素数さん
垢版 |
2026/08/22(土) 08:57:18.02ID:E2L2ulpE
>>233
少なくとも
∪{wW(e):w∈W(e)aW(e)b)=W(e)aW(e)bW(e)
は言えるから
Q(W(e)aW(e)bW(e))<Σ{Q(wW(e)):w∈W(e)aW(e)b}
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))>1
ではあるがハテサテ
235132人目の素数さん
垢版 |
2026/08/22(土) 09:05:14.20ID:E2L2ulpE
>>223
>箱入り無数目と関係ないんだろ
ないね>>61 ID:sd0X36qm が前スレに書いたとのことでこのスレにも紹介したところから始まってる
どっか別に行くかな?
「名誉教授」スレはどうかな?
2026/08/22(土) 09:19:54.96ID:FQxsZpx/
>>235
自分でスレ立てられないの
なら・・・永遠に書き込むのやめて黙れば?

誰も読んでないよ 君の書き込み
2026/08/22(土) 09:20:35.62ID:FQxsZpx/
中味のない奴の自己顕示は痛々しい
2026/08/22(土) 09:21:36.15ID:FQxsZpx/
数学が分からん奴
数学で結果出せない奴は
数学のことなんか忘れろ

無意味だから
239132人目の素数さん
垢版 |
2026/08/22(土) 09:23:00.64ID:FQxsZpx/
>中高一貫校

頭がいいと神になれる、と洗脳するクソ機関

この世でもっとも有害
240132人目の素数さん
垢版 |
2026/08/22(土) 09:39:47.64ID:E2L2ulpE
>>236
全然問題ない
君も他人からの評価を気にして死んでしまうタイプだね
241132人目の素数さん
垢版 |
2026/08/22(土) 09:40:26.49ID:E2L2ulpE
>>237
それは
レス乞食の君
何かまともな数学書いてみたら?
242132人目の素数さん
垢版 |
2026/08/22(土) 09:41:03.02ID:E2L2ulpE
>>238,239
なんか恨みでもアルンか?々でもいい話ジャネ?
243132人目の素数さん
垢版 |
2026/08/22(土) 10:05:51.85ID:FQxsZpx/
>>61
要するに、元はHausdorffのパラドックスだろ?
244132人目の素数さん
垢版 |
2026/08/22(土) 10:07:15.01ID:FQxsZpx/
>>240
生きるのは害悪
死ぬのが善
245132人目の素数さん
垢版 |
2026/08/22(土) 10:08:07.40ID:FQxsZpx/
>>241
数学書は無意味
般若心経読め
246132人目の素数さん
垢版 |
2026/08/22(土) 10:08:50.80ID:FQxsZpx/
>>242
魔障でしかない貴様には恨みしかない

滅びてしまえ
2026/08/22(土) 10:37:52.30ID:ushgiAWR
>>229
それはミジンコの正義の間違いだからw
ちっちゃくても頑張るよ、お兄さんは。
248132人目の素数さん
垢版 |
2026/08/22(土) 10:38:02.24ID:E2L2ulpE
>>243
それで説明して
249132人目の素数さん
垢版 |
2026/08/22(土) 10:39:27.36ID:E2L2ulpE
>>244-246
キモチワルイ人だな ID:FQxsZpx/
そういうことでしか生き甲斐を感じれないのは憐れね
2026/08/22(土) 10:40:38.14ID:ushgiAWR
>>239
俺の行った中高一貫校は特殊って言ってるんだけどね。
本当に人の話を全く聞いていないよね。
251132人目の素数さん
垢版 |
2026/08/22(土) 10:40:56.22ID:E2L2ulpE
異なる自然数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
書かれている自然数の大きい方が勝ち
さてA,Bの勝つ確率は?
2026/08/22(土) 10:41:23.32ID:ushgiAWR
ピヨピヨ、ヒヨコだよ🐣
253132人目の素数さん
垢版 |
2026/08/22(土) 10:42:03.39ID:E2L2ulpE
>>250
言ったことが伝わるわけ無いじゃん
都度言えよ
2026/08/22(土) 10:44:01.67ID:ushgiAWR
都度言ってる。
多分3回は言ったw
255132人目の素数さん
垢版 |
2026/08/22(土) 10:49:10.37ID:E2L2ulpE
言え言えドンドン言え言え
2026/08/22(土) 11:00:41.04ID:ushgiAWR
ミジンコて言うの辞めたらねw
257132人目の素数さん
垢版 |
2026/08/22(土) 11:04:48.60ID:6bkxFzFk
ミジンコを飼っていることで有名な
ジャズミュージシャンがいた
2026/08/22(土) 11:10:14.10ID:ushgiAWR
ミジンコの餌の件
2026/08/22(土) 12:01:52.45ID:TlyVKZ55
>>250
特殊学級がある学校ね
2026/08/22(土) 12:04:25.21ID:TlyVKZ55
>>254
特別支援学校って?
2026/08/22(土) 12:12:19.92ID:ushgiAWR
>>260
ミジンコは無視しますw
2026/08/22(土) 12:13:20.44ID:ushgiAWR
俺は院卒だっちゅーとんねんw
2026/08/22(土) 13:02:05.53ID:ushgiAWR
>>256
違う人だった。
264132人目の素数さん
垢版 |
2026/08/22(土) 16:29:43.05ID:FQxsZpx/
>>262
>俺は院卒

少年院か
2026/08/22(土) 16:36:14.22ID:Jkl/2R2J
しょーもな。
2026/08/22(土) 16:38:47.47ID:Jkl/2R2J
他の板で病院卒扱いされたが、病院の方がマシだなw
267132人目の素数さん
垢版 |
2026/08/22(土) 16:54:24.75ID:E2L2ulpE
レス乞食は語彙が少ない
話の膨らみもないな
2026/08/22(土) 17:28:00.09ID:YviMZe5F
俺は高卒公務員だったし。

もう、嫁に行った姉を除いたら家族もおらん。
私は37にして戸籍に一人取り残された、大変な人生を送っているのだよ。
2026/08/22(土) 17:30:30.91ID:528I65wv
苦労してますアピール恥ずかしい
勉強してますアピール恥ずかしい
まあ恥知らずに言っても無駄か
2026/08/22(土) 17:35:43.49ID:YviMZe5F
昨日絡まれたんでw
新人と言っても、この板に来てから8か月くらいは経つね。
2026/08/22(土) 17:55:52.59ID:fvgOkMEt
>>269
マウント取りへの反論と捉えてくれないのなら、話にならないね。
全てはこの板に蔓延するマウント体質が原因なのだよw
これもどうせ他責だと言うのだろう、お話にならないねw
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況