[過去ﾛｸﾞ]
プログラミングのお題スレ Part21 (1002ﾚｽ)
プログラミングのお題スレ Part21 http://mevius.5ch.net/test/read.cgi/tech/1668333636/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
185: デフォルトの名無しさん [sage] 2022/11/20(日) 23:19:52.84 ID:Z+w66nI6 >>184 メモ書きというのが証明のアウトラインと呼べるものならともかく、到底そんなレベルではない たとえばSₙ₊₁の互換の生成元σ₁‥σₙによるreduced expressionを見つけるアルゴリズムの話とかだと 定理 g∈Sₙ₊₁に対してg(i)>g(i+1)である任意のiに対してgσᵢのreduced expression の長さがgのそれより真に1小さくなるものが存在する とかがキーになる そしてこれが証明できれば確かに線形時間で証明ができるのは数学ちょっと学んだ人間ならすぐわかる 前の方のレスで「最後の寿司で場合分け」といっていたけどそれでは指数時間になる、ミソは“g(i)>g(i+1)である任意のiに対して”言えてるのがミソで場合分けの必要がなく以下gσᵢのreduced expressionを求める問題に還元されるので線形時間とわかる 逆に言えばこの定理の証明のキーだけ書いてあれば“アウトライン”と呼べるし、オレはこの定理の勉強した時、“なるほどそうか、なら後は自分で挑戦！”と思ってやっていい練習になったのを覚えてる そういうのが数学の世界でアウトラインと呼んでもらえるやつ あのメモはそのレベルにない http://mevius.5ch.net/test/read.cgi/tech/1668333636/185
201: デフォルトの名無しさん [sage] 2022/11/21(月) 01:58:04.34 ID:KDDXOYAA × 簡潔明瞭なレス書かないで 〇 簡潔明瞭なレス書けないので 典型例 ⇒ >>185 http://mevius.5ch.net/test/read.cgi/tech/1668333636/201
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s