[過去ﾛｸﾞ] プログラミングのお題スレ Part21 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
185(1): デフォルトの名無しさん [sage] 2022/11/20(日) 23:19:52.84 ID:Z+w66nI6(1/4) AAS
>>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を求める問題に還元されるので線形時間とわかる
逆に言えばこの定理の証明のキーだけ書いてあれば“アウトライン”と呼べるし、オレはこの定理の勉強した時、“なるほどそうか、なら後は自分で挑戦！”と思ってやっていい練習になったのを覚えてる
そういうのが数学の世界でアウトラインと呼んでもらえるやつ
あのメモはそのレベルにない
187: デフォルトの名無しさん [sage] 2022/11/20(日) 23:37:04.67 ID:Z+w66nI6(2/4) AAS
>>186ないやん？
まず他人に読ませる気なら数学の世界で一般的な用語の定義から入らんと読めない
少なくともひとつの主張の証明でもその用語を使った議論が有ればエスパーできなくはないが、あの文章にはそもそも証明と呼べるレベルの議論が何ひとつない、もちろん意味不明
なんかある性質を持ってる経路を探索するアルゴリズムらしいが、
「最短経路→その性質を持つ」の議論ゼロで以下その性質を持つ経路の探索アルゴリズムの話にはいつてる
アホかと
188: デフォルトの名無しさん [sage] 2022/11/20(日) 23:51:16.20 ID:Z+w66nI6(3/4) AAS
一般的でない用語の説明ね
まぁ論文レベルの文章読んだ事ないんやろ
読まなきゃ書き方わからんわな
190(1): デフォルトの名無しさん [sage] 2022/11/20(日) 23:58:03.57 ID:Z+w66nI6(4/4) AAS
>>189具体的な不備の指摘ができないなら黙っとけと言うのがバカだと言ってるんだよ能無し君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s