みきやん予想 [転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
任意の位数nの群全てを多項式時間で見つけ出すアルゴリズムは存在する ∩___∩
| ノ ヽ
/ ● ● | クマ──!!
| ( _●_) ミ
彡、 |∪| 、`\
/ __ ヽノ /´> )
(___) / (_/
| /
| /\ \
| / ) )
∪ ( \
\_) みきやんは群の公理から
「単位元を用意して逆元とペアになった2つの元か自分自身が逆元であるような元を加えていく」
というアルゴリズムを切り出しました
しかし結合則や演算が閉じることを満たすうまいアルゴリズムは見つかりませんでした
みきやんは開き直って
「単純群の分類理論はあるのだから多項式時間のアルゴリズムは実装可能のはずだ」
という予想を立てました \ ∩─ー、 ====
\/ ● 、_ `ヽ ======
/ \( ● ● |つ
| X_入__ノ ミ そんな餌で俺様が釣られクマ――
、 (_/ ノ /⌒l
/\___ノ゙_/ / =====
〈 __ノ ====
\ \_ \
\___) \ ====== (´⌒
\ ___ \__ (´⌒;;(´⌒;;
\___)___)(´;;⌒ (´⌒;; ズザザザ みきやんが17歳の時に雑誌に投稿したゲーム
http://mio.servequake.com/~takky/emuz2000/sos/invader.html ∩___∩
. \ | ノ ヽ
\ / ● ● |
\| ( _●_) ミ そんなエサでおれが釣られるかクマー!
彡、 |∪| ,/..
ヽ ヽ丿/ /⌒|
/ \__ノ゙_/ / =====
〈 _ノ ====
\ \_ \
\___) \ ====== (´⌒
\ ___ \__ (´⌒;;(´⌒;;
\___)___)(´;;⌒ (´⌒;; ズザザザ > 363 自分:132人目の素数さん[sage] 投稿日:2012/08/12(日) 21:39:21.60
> 質問です
> 例えば群であれば、ある位数nの群すべてを多項式時間で見つけ出す
> アルゴリズムは存在しているといえるのですか?
>
> 364 名前:132人目の素数さん[sage] 投稿日:2012/08/12(日) 22:33:17.37
> nが2のべきの時に位数nの群の同型類の個数はやたら大きくなるから
> そもそも個数自体が多項式で抑えられるか疑問だと思う
> たぶん無理
>
> 位数256の群は56,092個
> 位数512の群は10,494,213個
> 位数1024の群は49,487,365,422個
>
> http://www.icm.tu-bs...re/small/number.html みきやんからは以上です。
みきやんは晩年のゲーデル同様、精神病院に入院していますので雑談でも何でも歓迎です みきやんです
n^100+n^10+nも多項式ですよね? ちなみに釣りではなくマジです
みきやんの顔写真は障害手帳のものだということを示す割り印が写真の右下に確認できます 障害手帳かは分からないけど堺市発行のものらしきことはわかる 直観ではどう思われますか?
みきやんは予想が否定的に証明されても一向に構いません みきやんは抜群に切れ味の鋭い頭脳の持ち主ではありません
みきやんはむしろアイデアマンです
みきやんが基礎論スレで何の気なしに放った
「完全性定理を『Σ_0^1文を表現可能なΔ_0^1理論は決定不能』のように簡潔な表現で表すとどうなるか教えて下さい」
という質問が、完全性定理の証明に弱い形での選択公理が必要だという事実を炙り出す結果になったりしました みきやんは計算機屋なので逆数学(再帰理論)ネイティブの発想をします
数学者が算術より上の階層に興味を抱くのに対し、みきやんは算術より下の階層に惹かれます みきやんは学部中退なので論文を書いた経験がありません みきやんカンパ貰えるとうれしいです
りそな銀行 初芝支店 3706395 マツザカ ミキヤ 軽犯罪法
第一条 左の各号の一に該当する者は、これを拘留又は科料に処する。
二十二 こじきをし、又はこじきをさせた者 みきやんです
みきやんの病気(統合失調症)の診断に結構関わりますのでトンデモでないことだけでも確定していただけるとうれしいです 数学的におかしければこの板ならツッコミが入りますよね? このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所 > 位数256の群は56,092個
> 位数512の群は10,494,213個
> 位数1024の群は49,487,365,422個
パッと見、桁が3つずつ上がっていってるだけ
多項式でなんとかなる 質問です
位数2048の群の個数は世の中的にまだ知られていなくて
それを求めれば論文が書けるということですか? pを素数とし、位数が1の場合、pの場合、2pの場合、・・・とコツコツアルゴリズムを整備していくんですよね? みきやんは数学なんてろくすっぽ知りもしません
みきやんが知ってるのは有限群論と形式言語理論くらいです The existance of the algorithm for finding all groups of any order in polynomial time. 単なる予想に過ぎなくても論文という形にしておいたほうがいいんでしょうか
何も分からなくてすみません
arXivとかに投稿するんですか?
面倒なんでどなたかお願いできませんか?
共著ということで構いません ■ このスレッドは過去ログ倉庫に格納されています