任意の位数nの群全てを多項式時間で見つけ出すアルゴリズムは存在する
∩＿＿＿∩
| ノ ヽ
/ ● ● | クマ──！！
| ( _●_) ミ
彡､ |∪| ､｀＼
/ ＿＿ ヽノ /´> )
(＿＿＿） / (_／
| /
| ／＼ ＼
| / ) )
∪ （ ＼
＼＿)
0010１３２人目の素数さん2015/03/25(水) 08:02:43.46ID:7fVaQBU0
みきやんは群の公理から
「単位元を用意して逆元とペアになった2つの元か自分自身が逆元であるような元を加えていく」
というアルゴリズムを切り出しました
しかし結合則や演算が閉じることを満たすうまいアルゴリズムは見つかりませんでした
みきやんは開き直って
「単純群の分類理論はあるのだから多項式時間のアルゴリズムは実装可能のはずだ」
という予想を立てました
＼ ∩─ｰ､ ====
＼／ ● ､_ ｀ヽ ======
/ ＼( ● ● |つ
| X_入__ノ ミ そんな餌で俺様が釣られクマ――
､ (＿／ ノ /⌒l
/＼＿＿＿ノﾞ＿/ / =====
〈 ＿_ノ ====
＼ ＼＿ ＼
＼＿__） ＼ ====== (´⌒
＼ ＿＿_ ＼＿＿ (´⌒;;(´⌒;;
＼＿＿＿）＿＿＿）(´;;⌒ (´⌒;; ズザザザ
0012１３２人目の素数さん2015/03/25(水) 19:29:50.58ID:7fVaQBU0
∩＿＿＿∩
. ＼ | ノ ヽ
＼ / ● ● |
＼| ( _●_) ミ そんなエサでおれが釣られるかクマー！
彡､ |∪| ,/..
ヽ ヽ丿/ /⌒|
/ ＼＿＿ノﾞ＿/ / =====
〈 _ノ ====
＼ ＼＿ ＼
＼＿__） ＼ ====== (´⌒
＼ ＿＿_ ＼＿＿ (´⌒;;(´⌒;;
＼＿＿＿）＿＿＿）(´;;⌒ (´⌒;; ズザザザ
0014１３２人目の素数さん2015/03/29(日) 10:26:08.27ID:jtSjxzZx
> 363 自分：１３２人目の素数さん[sage] 投稿日：2012/08/12(日) 21:39:21.60
> 質問です
> 例えば群であれば、ある位数nの群すべてを多項式時間で見つけ出す
> アルゴリズムは存在しているといえるのですか？
>
> 364 名前：１３２人目の素数さん[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も多項式ですよね？
0017１３２人目の素数さん2015/04/06(月) 11:08:54.63ID:F6SrtD/H
ちなみに釣りではなくマジです
みきやんの顔写真は障害手帳のものだということを示す割り印が写真の右下に確認できます
0018１３２人目の素数さん2015/04/06(月) 11:34:04.15ID:7P+3LodT
障害手帳かは分からないけど堺市発行のものらしきことはわかる
0019１３２人目の素数さん2015/04/06(月) 12:32:19.04ID:F6SrtD/H
直観ではどう思われますか？
みきやんは予想が否定的に証明されても一向に構いません
みきやんは抜群に切れ味の鋭い頭脳の持ち主ではありません
みきやんはむしろアイデアマンです
みきやんが基礎論スレで何の気なしに放った
「完全性定理を『Σ_0^1文を表現可能なΔ_0^1理論は決定不能』のように簡潔な表現で表すとどうなるか教えて下さい」
という質問が、完全性定理の証明に弱い形での選択公理が必要だという事実を炙り出す結果になったりしました
みきやんは計算機屋なので逆数学（再帰理論）ネイティブの発想をします
数学者が算術より上の階層に興味を抱くのに対し、みきやんは算術より下の階層に惹かれます
みきやんは学部中退なので論文を書いた経験がありません
みきやんカンパ貰えるとうれしいです
りそな銀行 初芝支店 3706395 マツザカ ミキヤ
0024１３２人目の素数さん2015/04/22(水) 22:33:17.58ID:9887YmHd
軽犯罪法
第一条 左の各号の一に該当する者は、これを拘留又は科料に処する。
二十二 こじきをし、又はこじきをさせた者
0025１３２人目の素数さん2015/04/25(土) 17:10:17.12ID:X0O2tD+P
みきやんです
トンデモですか？
みきやんです
みきやんの病気(統合失調症)の診断に結構関わりますのでトンデモでないことだけでも確定していただけるとうれしいです
0028１３２人目の素数さん2015/04/28(火) 16:44:03.79ID:+wAEeGOe
数学的におかしければこの板ならツッコミが入りますよね？
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
0031１３２人目の素数さん2015/05/20(水) 10:05:40.51ID:k2JTofHH
> 位数256の群は56,092個
> 位数512の群は10,494,213個
> 位数1024の群は49,487,365,422個
パッと見、桁が３つずつ上がっていってるだけ
多項式でなんとかなる
0032１３２人目の素数さん2015/05/25(月) 10:17:54.11ID:4dn3vlP/
質問です
位数2048の群の個数は世の中的にまだ知られていなくて
それを求めれば論文が書けるということですか？
0033１３２人目の素数さん2015/05/25(月) 11:13:27.57ID:4dn3vlP/
pを素数とし、位数が1の場合、pの場合、2pの場合、・・・とコツコツアルゴリズムを整備していくんですよね？
0034１３２人目の素数さん2015/05/25(月) 15:25:55.74ID:4dn3vlP/
0035１３２人目の素数さん2015/06/01(月) 10:43:20.60ID:+aIGc6Ex
みきやんは数学なんてろくすっぽ知りもしません
みきやんが知ってるのは有限群論と形式言語理論くらいです
0036１３２人目の素数さん2015/09/28(月) 17:29:35.55ID:gr0+9a0e
The existance of the algorithm for finding all groups of any order in polynomial time.
単なる予想に過ぎなくても論文という形にしておいたほうがいいんでしょうか
何も分からなくてすみません
arXivとかに投稿するんですか？
面倒なんでどなたかお願いできませんか？
共著ということで構いません
0038１３２人目の素数さん2016/12/18(日) 17:07:10.44ID:9aVtBTUZ
良スレ
0048１３２人目の素数さん2017/08/07(月) 09:06:40.77ID:0YzkEl/p
耳栓をしたら世界が変わってワロタ