【計算】高校生がスーパーコンピュータを使って5×5魔方陣の全解を求めることに成功/筑波大学

このエントリーをはてなブックマークに追加
1ケンシロウとユリア百式φ ★
筑波大学計算科学研究センターは、全国共同利用施設として、
一般公募による「学際共同利用プログラム」を実施しています。

平成25年度に、茨城県立並木中等教育学校4年次(高校1年)の
杉ア行優(すぎざき・ゆきまさ)君の申請が採択されました。
杉ア君は筑波大学計算科学研究センターの朴泰祐教授と共同研究を進めた結果、
スーパーコンピュータ「T2K-Tsukuba」※を使った並列計算により、
5×5の魔方陣の全ての解を求めることに成功しました。

※スーパーコンピュータ「T2K-Tsukba」
2008年に稼働開始した648ノード、総演算性能95.4TFLOPS(1秒間に95.4兆回)の
並列スーパーコンピュータシステム。筑波大、東大、京大の3機関で共通の仕様を用いているため
「T2K」の名がついた。T2K-Tsukba は2014年2月末に運用を終了する。

魔方陣とは、正方形のマス目に、縦・横・斜めの合計が同じになるよう数字を置いたものです。
5×5の魔方陣の全解は2億7530万5224通りあることがすでにわかっています。
杉ア君は「枝刈り法」を改良した求解アルゴリズムを考案し、
スパコンに並列計算させるためのプログラムを開発しました。
朴教授は、並列データの収集や並列化に関する詳細なアドバイスを行いました。
並列計算はT2K-Tsukubaの全648ノードのうち32ノードを使って行われ、
最速で約2時間36分で全解を求めることができました。

図:魔方陣の例
3×3
http://www.ccs.tsukuba.ac.jp/wordpress/uploads/2014/02/image1.png
4×4
http://www.ccs.tsukuba.ac.jp/wordpress/uploads/2014/02/image2.png
5×5
http://www.ccs.tsukuba.ac.jp/wordpress/uploads/2014/02/image3.png

マス目の数が3×3のとき、縦・横・斜めの和はすべて15になっており、
解は対称のものを除くと1通りだけである。4×4では和は34で解は880通り、
5×5では和は65で解は2億7530万5224通り(1970年代に発見)。
6×6の解の総数はわかっていない。

ソース:筑波大学プレスリリース(平成26年2月28日)より抜粋引用
http://www.ccs.tsukuba.ac.jp/pr/media/140228_press

※全文・詳細はソースにてご確認ください。
2名無しのひみつ:2014/03/02(日) 19:23:27.00 ID:rcJg+K/p
いかにも並列計算機の得意そうな分野
3名無しのひみつ:2014/03/02(日) 19:35:11.62 ID:xd/dRKeo
6*6もたかだか36!=3.72e+41通りなんだから
ごり押しで何とかなりそうなんだけどなぁ
4名無しのひみつ:2014/03/02(日) 19:36:18.42 ID:hhW/kqy7
>>1
>T2K-Tsukba は2014年2月末に運用を終了する。

最後の暇つぶし?
5名無しのひみつ:2014/03/02(日) 19:38:21.46 ID:/MfS7CWY
(無理だけど)10^20回/秒で調べられても100兆年かかるんだよ?
赤色矮星ですら燃え尽きちゃうんだよ?
6名無しのひみつ:2014/03/02(日) 19:52:28.26 ID:jApiNJpe
>筑波大学計算科学研究センターの朴泰祐教授

いろんなとこにいるな
7名無しのひみつ:2014/03/02(日) 19:54:05.12 ID:B0331f71
量子コンピュータなら1回の演算処理で出来る
8名無しのひみつ:2014/03/02(日) 20:01:28.81 ID:l+aMBVgz
量子コンピュータてものすごいらしいね
スマホをとりあえず量子コンピュータで
何とかサクサクしてもらいたいww
9名無しのひみつ:2014/03/02(日) 20:04:26.84 ID:/MfS7CWY
>>7
確かに得意そうだ

でも今回みたいに、未知数個ある解を全てあげるような問題にもなじむものなの?
いまいち理解できてないところではあるが
10名無しのひみつ:2014/03/02(日) 20:13:20.53 ID:fraK6Qc2
このスレはカガクニュース隊に引用され














ない
11名無しのひみつ:2014/03/02(日) 20:23:21.74 ID:DP4LPmIz
6×6を解けよ、と思ったら現状では無理なのか

> 6×6魔方陣へのチャレンジは、現時点では不可能と判断しています。
> 総当たり数を36から23まで減らすことができていますが、現在の
> プログラムでは150兆年かかると見積もられています。
12名無しのひみつ:2014/03/02(日) 20:33:17.98 ID:wY9IEgwl
『フカシギの数え方』 おねえさんといっしょ!を思い出した
13名無しのひみつ:2014/03/02(日) 21:22:58.74 ID:O2+SF55t
>>8
それを上回る煩雑さの広告表示とスパイ活動が実行されるだけ。
ハードウエアや通信技術がいくら進化しても無駄です。
14名無しのひみつ:2014/03/02(日) 21:25:00.79 ID:32CSYKg7
>>9
解き方にもよるけど解の数も同時に確定させたり出来る。
15名無しのひみつ:2014/03/02(日) 21:31:42.61 ID:/MfS7CWY
>>14
解の数も解ってことか
16名無しのひみつ:2014/03/02(日) 21:48:41.20 ID:1rPyZBPH
Corei7の3.5GHzが224 GFLOPSって事は同石400個分位はあるって事だね
17名無しのひみつ:2014/03/02(日) 21:58:11.15 ID:dTaidLJ/
>>7
アルゴリズムがあればね。
量子コンピュータのネックはハードとアルゴリズムの考案。
18名無しのひみつ:2014/03/02(日) 22:00:13.20 ID:IrIuLQRA
3次元魔法陣の場合どうなんだろ

例えば3×3×3の立体魔法陣は作れるの?
19名無しのひみつ:2014/03/02(日) 22:11:34.71 ID:a+Z5PkLt
エロイムエッサイム
回れ地獄の魔方陣
20名無しのひみつ:2014/03/02(日) 22:19:10.66 ID:N2SCvw0Q
このニュースの一番凄いところは「高校生がスーパーコンピュータを使って」の部分だな。
スパコンでこのタスクをやるより、スパコンを使わせてもらえる高校生になる方が遥かに難しい。
21名無しのひみつ:2014/03/02(日) 22:40:34.42 ID:ZivIGI8N
>>18
ちょっと考えると無理なことがわかる
22名無しのひみつ:2014/03/02(日) 22:57:37.36 ID:jABKiXz+
こんなネタが採用されるとは、ほかのがよほどしょぼかったのか、スパコン使っても解けそうもなかったのか。
23KUM(゚_゚)N ◆o4DQN..yEA :2014/03/02(日) 22:59:33.46 ID:VWLoW6bC
(゚_゚)おねえさんの出番だな。
http://youtu.be/Q4gTV4r0zRs
24名無しのひみつ:2014/03/02(日) 23:06:57.14 ID:QQ6/6np8
>>22
というか、

>>1
> T2K-Tsukba は2014年2月末に運用を終了する。
だから最後のイベント的に高校生とか向けに一般公募したんじゃないの?

その前提でこれがショボいと言ってるなら言うことないけど。
25名無しのひみつ:2014/03/02(日) 23:07:22.99 ID:qhJCMIHH
5の魔方陣が2時間30分くらいなのに、6の魔方陣がうん万年もかかるなんて信じられない…
26名無しのひみつ:2014/03/02(日) 23:08:03.02 ID:WyPg2fhU
科学ニュース+板って、理系の女性や中高生が何か新たな発見や業績を達成したときにまず疑ったり、
批判したりするスタンスでニュースに向かうのは何故?

(例)
「こんなの大したことない」
「無駄なことだ」
「何かおかしい」
など。



ちょっとひねくれすぎだろう。
27名無しのひみつ:2014/03/02(日) 23:10:15.81 ID:QQ6/6np8
>>26
> 新たな発見や業績を達成
分かってるんかもしれんけど>>1は新たな業績ではないよ。
>>1
> 5×5の魔方陣の全解は2億7530万5224通りあることがすでにわかっています。
28名無しのひみつ:2014/03/02(日) 23:10:19.98 ID:H2AGEMrC
凄いな力技で押し切れるのがスパコンの良いところだよなあ
29名無しのひみつ:2014/03/02(日) 23:15:36.34 ID:xd/dRKeo
新たな業績かも知れんぞ
全解を書き下したのは今回が初かも知れない

何通りあるかてのと
それが実際にどうかてのは
別の話
30名無しのひみつ:2014/03/02(日) 23:23:52.65 ID:T5gpFkLp
>>7
それは無理。3億近い正解の結果(12列が65になること)を確認するだけで33億回の計算がいる。
31名無しのひみつ:2014/03/02(日) 23:44:24.92 ID:5Ty07FKR
やっぱりキモオタデブだろうなあw
文系部活ってそう言うイメージ
by 運動部
32名無しのひみつ:2014/03/03(月) 00:08:57.84 ID:QhSMB7Yg
5x5で2億7千万なら6x6なら平気で10ケタ20ケタふっとばした数になりそうだな
計算するにも物理メモリが足りないな
情報爆発って怖いね
33名無しのひみつ:2014/03/03(月) 00:35:41.46 ID:HNvuct3e
2×2はないのか
なんでだ?
34名無しのひみつ:2014/03/03(月) 00:41:27.10 ID:uFCjlTGh
6x6に懸賞金掛けたら?
35名無しのひみつ:2014/03/03(月) 01:04:30.37 ID:FhYTkjNh
> 5×5の魔方陣の全解は2億7530万5224通りあることがすでにわかっています。

PCでπ計算させ続けているのと変わらんなあ
36名無しのひみつ:2014/03/03(月) 01:10:26.48 ID:N1fU45aZ
>>35
πは無限につづくけどこれは有限だからね
37名無しのひみつ:2014/03/03(月) 01:14:03.65 ID:prdXgoKa
これって何かに使えるの?
あるいは、何かと関係してたりするの?
38名無しのひみつ:2014/03/03(月) 01:48:09.03 ID:/IHGupjs
>>25
急激に発散する関数なんていくらでもある
39名無しのひみつ:2014/03/03(月) 02:00:00.89 ID:9o4XDu4B
全解を求めたってどうやって証明できんの?
おしえてくれ
40名無しのひみつ:2014/03/03(月) 02:05:03.23 ID:NchqLn26
なんでこれに”魔”なんて文字がついてるんだ?
41名無しのひみつ:2014/03/03(月) 02:06:20.13 ID:B6+svLRc
朴泰祐教授「全部ウリの手柄ニダ」
42名無しのひみつ:2014/03/03(月) 02:08:56.17 ID:/IHGupjs
>>39
検算はしてないんじゃないの
プログラムに問題点が無いことを確認できたので、それを使って計算した結果は
正しいだろうって判断だと思われる
43名無しのひみつ:2014/03/03(月) 02:25:59.76 ID:CZKX6OPU
>>16
そう考えると、改めてi7はバケモノだと思うわ
出た当初「宇宙でも行く気か」って言われてたのがよく分かる
44名無しのひみつ:2014/03/03(月) 03:01:49.57 ID:ITTMw7oQ
で、封じられてた悪魔は苦手な数学以外のことならなんでも叶えようってか
45名無しのひみつ:2014/03/03(月) 03:05:54.00 ID:gI+SL9L1
>>43
でもメモリの性能は5GFLOPS分
46名無しのひみつ:2014/03/03(月) 03:53:29.93 ID:IYtYHHOa
今まで求められていなかった事に驚いた…
47名無しのひみつ:2014/03/03(月) 05:12:14.81 ID:2c3bHeq1
エロイムエッサイム
48名無しのひみつ:2014/03/03(月) 06:58:55.84 ID:9MmQUASP
>共同研究を進めた結果

>朴泰祐教授と
49名無しのひみつ:2014/03/03(月) 07:16:25.73 ID:EhKuMqT2
魔法陣解くと何を召喚できるん?
50名無しのひみつ:2014/03/03(月) 09:26:01.55 ID:uBINmkl1
理系一貫教育の高専みたいな人だろうけど
新聞社は「高校生ガー」ってゴシップ記事書きたがるよね

貴社の記者はなんにも知らないくせに、匿名記事で
51名無しのひみつ:2014/03/03(月) 09:58:48.32 ID:9A50W/BW
で、ちゃんと答え合わせしたのかよ
52名無しのひみつ:2014/03/03(月) 10:12:44.45 ID:GfzQEQxA
>>26
まあ、中高生が何か発見したとか発明したとかって
無知なマスコミが騒いでるだけで、実際よく見てみるとショボいってのが多いからしゃーない

女性の場合もマスコミが必要以上に持ち上げてるケースが多すぎる
53名無しのひみつ:2014/03/03(月) 10:19:20.45 ID:Efa09uAc
嫉妬深いおっさんが多いからじゃね?
54名無しのひみつ:2014/03/03(月) 10:42:47.71 ID:jKVYjpJz
誰もやってない所に目をつけるのは才能と努力の結晶だよ
55名無しのひみつ:2014/03/03(月) 11:31:58.83 ID:uBINmkl1
「高校生が」って枕詞のゴシップ記事でしょ、中身しらないくせに
ラディゲも怒るさ、そんな枕言葉
56名無しのひみつ:2014/03/03(月) 11:32:22.63 ID:TJDhrk4S
PS3繋げてレッツ計算!
57名無しのひみつ:2014/03/03(月) 11:34:04.87 ID:HB2FmHuE
オワコンでも研究継続するつもりのない学生さんなら有効活用できるということですね
58名無しのひみつ:2014/03/03(月) 11:43:27.31 ID:NIoG5fkO
オセロも解法みつかってない。
その方が先だろ。
59名無しのひみつ:2014/03/03(月) 11:45:53.01 ID:uBINmkl1
Cの勉強で「エラトステネスのふるい」やってたなー、この年頃
60名無しのひみつ:2014/03/03(月) 11:52:51.95 ID:Gl+kYSfe
まず魔方陣が何のことかを説明してくれ・・・
61名無しのひみつ:2014/03/03(月) 12:01:29.21 ID:gaRZDYll
>>26
> 理系の女性や中高生が何か新たな発見や業績を達成したときにまず疑ったり、
阿部彩子のスレとかは疑いもなく納得って感じで扱われてるが
62名無しのひみつ:2014/03/03(月) 12:22:31.80 ID:ck94XyC2
>1
1から25までしか使っちゃいけないことを書いておかないと無限に出来るよね。
63名無しのひみつ:2014/03/03(月) 12:33:42.74 ID:Z71msmp5
ずいぶん多いなと思ったら二桁以上の数字も使うのか。
魔方陣って1から9までの数字で作らなきゃいかんものと思ってた。
64名無しのひみつ:2014/03/03(月) 12:36:24.59 ID:rGOYh+gQ
>>13
言えてるわ。
PCモニターがワイド画面になったけど左右に広告が縦に並んで表示されてるだけで
記事自体の量は広告がなかった時代と変わらないっていう。
PCマシンパワーの大半がFLASHやJava多用した広告表示に使われてる
65名無しのひみつ:2014/03/03(月) 13:29:44.59 ID:BYWLxMpi
>>63
数独と混ざってない?
縦、横及び内部を区切る四角形で同じ数字が出てきちゃいけないのが数独
全体のマス目で同じ数字が出てきちゃいけないのが魔方陣だよ
66名無しのひみつ:2014/03/03(月) 13:40:44.91 ID:aoVg/m8O
>>60
294と思えば753

294
753
618
67名無しのひみつ:2014/03/03(月) 14:02:34.38 ID:O/8dzab2
5×5の魔方陣って、1から9までの数字を公平に振り当てることが
できないんだけど、どうやって数字を決めるんですか?
68名無しのひみつ:2014/03/03(月) 14:17:53.30 ID:Jfk3yUQy
>>26
科学関係に携わる人間としては職業病みたいなモノ。
出された発表にはまず全力(科学的な全力)で検証の俎上にのせられるから。
例の細胞の話みたいに正しさに徹底的にこだわる。
(それでもその検証に対するメディアの報道はバカげたくらいに煽情的ではあるが)


まぁ、一般人的にはお察しの通りかも知れない。
69名無しのひみつ:2014/03/03(月) 15:15:03.12 ID:0DAvnI7c
糞食いグック絡みか
捏造の可能性も有り得る
70名無しのひみつ:2014/03/03(月) 15:24:38.21 ID:p0w6BuAG
名前ホントかよ
71名無しのひみつ:2014/03/03(月) 15:28:07.05 ID:lM10JMed
(´・ω・`) 5x5でさえスパーコンピューターじゃないと解けなかったの?凄いわね・・・。
72名無しのひみつ:2014/03/03(月) 15:33:21.00 ID:5D/lc2yA
5掛ける5だと1〜25の数字を全部ひとつずつ使う。
73名無しのひみつ:2014/03/03(月) 16:19:45.88 ID:08hh9ZWk
もっとキレイな方法はないのか
74名無しのひみつ:2014/03/03(月) 18:38:42.22 ID:/DqhhZqS
擦り寄りの朴さん
75名無しのひみつ:2014/03/03(月) 18:42:13.63 ID:eGKe/pSI
それ以前にスパコンがいるのか魔法陣解くのに
76名無しのひみつ:2014/03/03(月) 18:55:14.07 ID:fNjQeQrm
>>23
なんか泣けてきたやないかい
77名無しのひみつ:2014/03/03(月) 19:40:36.22 ID:QKL1KzbL
高校生に中途半端に夢を見させた感じがして、良いプロジェクトとは思えない
飛び級で大学に入った奴が挫折してトラック運転手やってるらしいが
やっぱり基礎的なことすっ飛ばして背伸びさせても長続きしないよ

今回のも学校のPCでクラスター組んで自分たちで苦労して結果だしたほうが身になったんじゃないのかな
創意工夫は不便な環境から生まれるものだから
78名無しのひみつ:2014/03/03(月) 19:45:32.72 ID:hY8n14ia
>>73
こういうの見るといっつも思ってたんだが

対称操作で全部埋めれるんじゃないかと考えてたんだけど
数年前までルービックキューブの最小手が分かってなかったと知ってから諦めた
79名無しのひみつ:2014/03/03(月) 19:47:28.78 ID:/ChACRan
シムシティを稼動させたい
80名無しのひみつ:2014/03/03(月) 19:57:29.27 ID:fH8PI2o2
6÷2(1+2)=?
81名無しのひみつ:2014/03/03(月) 20:09:36.87 ID:Vg7WsdbN
みなさんレスありがとうございます。

>>26です。

>>27
>>52
>>61
>>68

偏見と言うよりは「色眼鏡」という言葉が合うかもしれません。理系の女性、中高生、大学生でも
学部生や修士課程ぐらいの20代前半ぐらいまでの若い人が何か面白い発見や成果を発表しても
とにかく「叩いておく」「いぶかしげにコメントする」「若さ(など)をやっかむ」というような反応をする
「理系をこじらせたおっさん」が一部にはいるということがわかりました。

僕は完全に文化系の人間なので、理系の方々が僕のような者にもわかりやすいように面白い発見を
説明してくれると興味を持ちます。

自分の専門分野は言語ですが、数量言語学やコーパスなどでもうつまずいています。理系の皆様
におかれましては、文化系(文系の手前)の自分などにもわかりやすくこの板でご解説くだされば幸
いに思います。
82名無しのひみつ:2014/03/03(月) 20:24:54.35 ID:8F8hkj6k
義務教育と高校をくっつけて良かったんだ
83名無しのひみつ:2014/03/03(月) 21:05:17.04 ID:8h6jZ/8U
だから何で朝鮮人を税金で雇うんだ
84名無しのひみつ:2014/03/03(月) 21:20:08.98 ID:uFCjlTGh
>>77
お前さんが子供っぽいだけでは?

高2んとき、ちょうどITバブルで

・海外サーバをドル建て決済で年間契約
・レジストラからドメインを申請、ドメインを設定
・インフラ屋にサーバを調整
・某フリーシステムの商業ライセンスを取得
・プログラマー屋を雇い↑を加工して貰って
・オーネットの広告を掲載して1割キックバック(アフィって言葉がなかったw)

結構、小遣い稼いでたわ
85名無しのひみつ:2014/03/03(月) 21:21:02.58 ID:b/DysIXg
MZ-1200TK2がどうしたって?
86名無しのひみつ:2014/03/03(月) 21:45:21.38 ID:IcYJ9Pbu
こっちの方が半歩踏み込んで書いているかな
http://pc.watch.impress.co.jp/docs/news/yajiuma/20140303_637771.html

将棋とかもそうだけど、定跡(数学的モデル)の取捨選択と機械によるぶん回しのバランスが全てなんだろうな
87KUM(゚_゚)N ◆o4DQN..yEA :2014/03/03(月) 22:24:54.43 ID:tg4duabF
>>86
(゚_゚)わかりやすい。
てか、この子すごいやん。
88名無しのひみつ:2014/03/03(月) 22:30:56.41 ID:JDenChz4
高校生でしょ
大したもんだ
89名無しのひみつ:2014/03/03(月) 22:56:03.23 ID:wjRTP6en
うぜええええええカガクニュースの奴引用した上レスを無視しやがった!!!!!
死ね死ね死ね!!!!!!
90名無しのひみつ:2014/03/04(火) 02:20:43.15 ID:ixAwoxUB
http://www.data-max.co.jp/2014/01/12/post_16455_yh_03.html

https://twitter.com/search?q=%E8%87%AA%E6%B0%91%E3%80%80%E7%B5%B1%E4%B8%80%E6%95%99%E4%BC%9A&src=typd
                    .∩,,,∩
      .∩,,,∩ツイッチ    ( ・(ェ)・) 
      ( ・(ェ)・)http://ja.twitch.tv/  
       ゚し-J゚   ( ・(ェ)・)ツイキャス
              ゚し-J゚http://twitcasting.tv/
                    .∩,,,∩
      .∩,,,∩         ( ・(ェ)・) 
      ( ・(ェ)・)  ∩,,,∩  ゚し-J゚
       ゚し-J゚   ( ・(ェ)・)twitter
              ゚し-J゚https://twitter.com/

         /   ,ィ〃//゙ヽ. ヾ ヽ::::::::::::} 
         /  ∠_     `'、   ゝ:::::::::j
        {  /,.=、`   ,.ニ ̄`メ ヾ }:::::::メ 
        ノ)イ1仆..}    ri⌒ヾ ソ苺ト、::::/
          リソ,,`ー' .   、、::;♪ 仆⌒!ソ  
          八    、_   ̄ '' ,.!|f_ノリ 
      ∧_∧   ヽ.         ィルリ♪楽 (⌒─⌒)
     (´・ω・`)    ` ー┬   トx     ((´^ω^)) 
      ( o旦o ) '^~  ̄く(__ ___/ ,ゝ 、   (∪  )
      |__|      /桃♪ r一'~´  ヽ、|__|
      /   レヘ、___//.:::::.ヽ\      入/   |
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
え、まだ「●●●、●■●■」?
https://twitter.com/search?q=%E8%87%AA%E6%B0%91%E3%80%80%E7%B5%B1%E4%B8%80%E5%8D%94%E4%BC%9A&src=typd&f=realtime

https://twitter.com/search?q=%E7%B5%B1%E4%B8%80%E6%95%99%E4%BC%9A%E3%80%80%E8%87%AA%E6%B0%91&src=typd&f=realtime
91名無しのひみつ:2014/03/04(火) 04:18:27.42 ID:aYaqA3xQ
>>86
一手減らしたのか

並び手順を求めること自体をアルゴリズムにできたりしないのかな
92名無しのひみつ:2014/03/04(火) 04:51:01.77 ID:nrjnd6XF
>杉ア君は筑波大学計算科学研究センターの朴泰祐教授と共同研究を進めた結果

>朴泰祐教授と

こんなところにもチョンのスパイが!
情報横流しされるぞ!
学校にチョンが教える側として侵入してるのは将来「日本人の恩師ヅラ」するためだからな!
永遠の上下関係をつくるためだ
93名無しのひみつ:2014/03/04(火) 04:55:27.22 ID:CSgDdjjT
高校生でアルゴリズム勉強してる上に申請しようとする発想がすごすぎる
院生のおもちゃってイメージしかない
94名無しのひみつ:2014/03/04(火) 06:34:37.78 ID:xADo5t1q
>>84
いくら掛かったの?
カネの出所は?
95名無しのひみつ:2014/03/04(火) 07:45:20.50 ID:y6kZyDyf
>>92
まずそこから入るから、あなたのような書き込みは駄目なんだよ。
96名無しのひみつ:2014/03/04(火) 08:52:54.64 ID:VqrGP/+T
何の特になるの?
97名無しのひみつ:2014/03/04(火) 09:09:55.69 ID:Ka+9l53h
損得誤字ウスラバカ
98名無しのひみつ:2014/03/04(火) 20:18:40.35 ID:lS3HbF6W
やるじゃん。高校生。
99名無しのひみつ:2014/03/04(火) 20:40:26.94 ID:gEEbo+dU
つか魔方陣ってなんや?
そんなもん問いて意味あるんか?
100名無しのひみつ:2014/03/04(火) 21:00:03.56 ID:ixAwoxUB
>>99
それを突き詰めて考えると「人生って何?」となってしまうので、文系の自分は考えないように
している。メンタル的にしんどくなる。
101名無しのひみつ:2014/03/04(火) 21:00:41.07 ID:+xEvXv4Q
意識についてとかもなかなか奥が深い
102名無しのひみつ:2014/03/04(火) 21:04:56.29 ID:a7dejnic
シムシティのシムだよ
103名無しのひみつ:2014/03/04(火) 21:15:27.94 ID:LC3RSGpJ
数学者にとって「これは何かの役に立つのか?」は二の次
ただ解くために解いている
104名無しのひみつ:2014/03/04(火) 21:29:39.71 ID:ZisrU9Um
そうなの?
数学って意味を理解し始めると
この世界を創造しているってことに気がつくはずなのに
ただそこにたどり着くにはね、
まだ研究があまりなされていない分野を切り開く必要があるの
105名無しのひみつ:2014/03/04(火) 21:30:43.12 ID:JZz3Av+V
>>1
杉崎の業績が何かわからん。
アルゴリズムの改良か?
106名無しのひみつ:2014/03/04(火) 21:35:04.24 ID:ZisrU9Um
もちろん、人間も
107名無しのひみつ:2014/03/04(火) 21:36:08.51 ID:ZisrU9Um
そう、人間も物理同様に数学的法則に従っているの
信じられないでしょw
108名無しのひみつ:2014/03/04(火) 22:33:00.81 ID:GufMQghI
何で総数がわかってない6×6に挑戦しないかな
109名無しのひみつ:2014/03/04(火) 23:13:21.76 ID:ixAwoxUB
>>108
36だな。たぶん。
110名無しのひみつ:2014/03/04(火) 23:27:05.47 ID:sgkq/isT
>>108
リンク先読めよ

> 6×6魔方陣へのチャレンジは、現時点では不可能と判断しています。
> 総当たり数を36から23まで減らすことができていますが、現在のプログラムでは150兆年かかると見積もられています。
> これはエクサスケールのスパコンでも54万年以上かかる計算で、事実上不可能です。
111名無しのひみつ:2014/03/04(火) 23:48:43.57 ID:vNWJLHTf
発展型数独
112名無しのひみつ:2014/03/05(水) 02:44:59.75 ID:aISbTprF
NP完全とかいうのは総当りしか解がないっつー予想だっけ
113名無しのひみつ:2014/03/05(水) 07:02:02.95 ID:vSfzuroZ
>>91
5×5の14
6×6の23

は俺でも数えることができたから
たいした話じゃないなぁ
114名無しのひみつ:2014/03/05(水) 07:21:05.81 ID:fI2JtGmZ
>>105
でも、縦横ななめで12個の等式があって、5つの縦の式の総和と5つの横の式の総和は
同じ式になるので、一時独立なのは11個

だから、25-11=14マスの総当たりになるのは、自明
115名無しのひみつ:2014/03/05(水) 07:44:53.22 ID:vSfzuroZ
>>114
おう、なあるほど
6×6も同じだ
116名刺は切らしておりまして:2014/03/05(水) 08:10:10.46 ID:fj+ahmYJ
俺にはわからん なにがすごいのか
117名無しのひみつ:2014/03/05(水) 08:14:16.70 ID:ienDARKl
良いニュースだなと思ったら..
朴教授?
何だ?この名前で価値が下がってしまった。
118名無しのひみつ:2014/03/05(水) 09:17:35.56 ID:fI2JtGmZ
だめだ、こりゃ

http://www.gaspalou.fr/magic-squares/order-5.htm
An enumeration of magic squares of order 5 is possible with existing personal
computers, if you use a compiled language and a reduced program.

In September 1997, I drove such an enumeration in 6 hours and half with a reduced
program (group G of order 32 and permutation "complement to 26") on a K6 of AMD,
running at 200 MHz, under Turbo Pascal. I found the well known total of 2 202 441 792
squares.

I remember that Richard SCHROEPPEL was the first to compute the number of magic
squares of order 5 in 1973 (cf. article of Martin GARDNER in Scientific American,
January 1976, Volume 234).

と、15年以上前にパソコンで6時間で全パターン調べ終わってるし、数も20億以上と、一桁
違うwwwwwwwwwwwwwwwwww
119名無しのひみつ:2014/03/05(水) 09:57:47.48 ID:PUeVcTIE
>>81
君へのレスのどこを読んだら「理系をこじらせたおっさん」がいると分かるんだ?
結局、レスは関係無しに自分が最初から思っていたことを言ってるだけだろ、君
120名無しのひみつ:2014/03/05(水) 10:17:06.32 ID:AvOsrT4U
>>112
まぁ簡単に言うとそんなイメージなんだけど
より正確には、計算が多項式時間で終わらないやつ
121名無しのひみつ:2014/03/05(水) 10:20:35.30 ID:AvOsrT4U
>>112
あと、ある解が与えられたとき
この場合だと魔法陣の例の検算にかかる計算量なんで
この場合はP≠NP予想の逆じゃないかな
答えを見つけるのはNPだけど検算はPだから
122名無しのひみつ:2014/03/05(水) 12:00:07.64 ID:WD2F9jI6
>朴泰祐教授

あららチョンかよ、

こらぜんぜんだめだな。
123名無しのひみつ:2014/03/05(水) 15:24:59.91 ID:02tR5M5P
>>94
マジレスカコワルイ
124名無しのひみつ:2014/03/05(水) 17:33:36.82 ID:dM3el6CQ
>>119
本人が理系をこじらせてるんじゃないの?
実際文系だと言って逃げてるわけだしw
理系志望だけど数学できなくて諦める奴は実際多いしね
125名無しのひみつ:2014/03/05(水) 20:14:47.82 ID:2A1uOuVM
>>124
高校入学時から「国際科」みたいなところに入学したので積極的な文系選択者ですよ。
126名無しのひみつ:2014/03/06(木) 21:40:00.58 ID:cXTXx0rT
これで2ちゃんねるのトリップ検索もしたいなー
127名無しのひみつ:2014/03/11(火) 08:44:20.07 ID:ZeSTTHhX
                                __ノ´ ̄ ̄´
      |\   lVVVVl   /|      __ノ´ ̄ ̄´
      ヽ\>┴(@)┴<//  ノ ̄__||_ =====ッ
       〉´  /  \  `〈 /    ̄/|| ̄   || 〃 ============
      i ⊂'⊃   ⊂'⊃ i      〃 ||    ;リ
    _|/_  ▽  _\|_ ―--- __
     >ヽ -モ_人_チ- / く          ̄ ̄ ―-- _
     Z \   ヽノ    /__「                    ̄
      └v'~''r-----r''^v┘
    ⊂へ   |―――|
        | |  |‐―――|
        ヽニ.|ー―――|
         └-------┘
128名無しのひみつ:2014/03/12(水) 18:58:03.99 ID:OzEv8+/G
これ探索順序が悪いから効率あんまり良くないな。
10の場所より、13の場所を先に探索した方が速い。
もっともセルの数字を1個ずつ決めていく方法そのものが遅いから普通使わないが。
6x6も、23マス総当りなんて馬鹿な方法は普通使わない。もっと速いアルゴリズムがある。
129名無しのひみつ:2014/03/15(土) 14:35:35.64 ID:cRKydeBn
>>86
埋める順番を工夫して枝刈りの位置を高く出来たのか。
全解を求めたことより、この発見の方が素晴らしいな。
130名無しのひみつ:2014/03/15(土) 14:38:14.30 ID:cRKydeBn
>>120
より正確には並列分岐を許す計算で多項式時間で終わるやつ
131名無しのひみつ:2014/03/15(土) 19:19:37.57 ID:9jiIj+2g
自分のPCでプログラムを書いて実行したら、1スレッドで8時間、4スレッドで 2時間を切るプログラムができました。
この問題は、並列化が簡単なので、512スレッドなら、1〜2分で終わりそう。
132名無しのひみつ:2014/03/15(土) 21:10:25.57 ID:c/ClFQA9
>>131みたいに個人でできるレベルの事を
わざわざスパコンでやったって事か…
なんだかなぁ
133名無しのひみつ:2014/03/15(土) 21:16:59.27 ID:uSftEIta
次はcudaで挑戦しましょう
134名無しのひみつ:2014/03/15(土) 21:26:22.62 ID:ANPqh0KT
>>131
>自分のPCでプログラムを書いて実行したら、1スレッドで8時間、4スレッドで 2時間を切るプログラムができました。
>この問題は、並列化が簡単なので、512スレッドなら、1〜2分で終わりそう。

>>118
>と、15年以上前にパソコンで6時間で全パターン調べ終わってるし、数も20億以上と、一桁
>違うwwwwwwwwwwwwwwwwww

と、数からして違うようなんだけど、実際どうなの?
135名無しのひみつ:2014/03/15(土) 21:38:15.25 ID:Bm5mITEk
数学的には何の意味も無いな
136名無しのひみつ:2014/03/16(日) 23:02:58.99 ID:SzT2sVMG
137名無しのひみつ:2014/03/17(月) 01:04:41.52 ID:xoUDrWlc
celeronn G540 2.5Ghzで3時間ぐらいかかりそう。
i7とそんなに違う物なのかね?
138名無しのひみつ:2014/03/17(月) 07:18:35.62 ID:YdgkwugK
これって高校生には非はないと思うんだけど、共同研究したって言う教授は
流石に恥ずかしいんじゃね?

いや、スパコンの性能が実は低すぎるのか知らんけど
139名無しのひみつ:2014/03/17(月) 07:38:45.23 ID:P2DipkRP
そんな事より
シナチョン人種や
どこぞのキチガイ将軍様とやらのDNA遺伝子ヒトゲノム配列を徹底解明してくれ
どうやったらあんなキチガイ出来るんだ?
140名無しのひみつ:2014/03/17(月) 08:45:08.84 ID:TK2uJSEX
>>137
L3キャッシュの量がかなり違うだろ、重いアプリほどキャッシュメモリ
の効果が重要で、小さいキャッシュほどまったく機能しなくなる。
ほぼDRAMのIO速度まで落ちてしまう。
DRAMの最悪動作速度は100MHzにすら達しない。いまだキャッシュミス時の
遅延時間が40nsとか当たり前に発生する。
1命令実効するたびにDRAMからデータをキャッシュなしバッファ
スルーで読み込む状態になるとCPUのそれはDRAMの最悪遅延速度まで
減速しちゃうことが頻発するのよ。
通常はキャッシュメモリがそれを起きないようにしているだけ。
141名無しのひみつ:2014/03/17(月) 10:07:17.20 ID:AHQWl1c8
>>137
>>118
>と、15年以上前にパソコンで6時間で全パターン調べ終わってるし、数も20億以上と、一桁
>違うwwwwwwwwwwwwwwwwww

>>138
まあ、恥ずかしいわな、意図的な捏造ってわけじゃあないだろうけど「

>>140
キャッシュ容量使うような問題じゃねーよ
142名無しのひみつ:2014/03/17(月) 11:23:11.39 ID:SCj0l8mL
>>137
>>136と同じタイプのプログラム?
コア数違うんじゃない?
OpenMPで12スレッドらしいけど。
143名無しのひみつ:2014/03/17(月) 11:30:32.35 ID:5+GoQJML
数十年前、1から100までの数の合計を出すプログラムを書いて、正しく計算できてうれしかったっけ
あそこが俺のプログラマー人生のゴールだった
144名無しのひみつ:2014/03/17(月) 11:31:15.04 ID:8HtZyNPp
>>143
ゴールかよwwww
145名無しのひみつ:2014/03/17(月) 12:47:38.76 ID:xoUDrWlc
>>142
そこで出てるおやつを実行してみた。
結局9308秒ほどかかって、コア数の違いよりもっと根本的に違う。

>>143
ま、まだ休憩中なだけだよな。
146名無しのひみつ:2014/03/17(月) 14:53:28.29 ID:m8PHjRoa
スレッド数は幾つにしたのよ。コンパイラは?
147名無しのひみつ:2014/03/17(月) 19:55:27.69 ID:xoUDrWlc
VS2013で実行した。
スレッド数なんて変更できるの?
148名無しのひみつ:2014/03/17(月) 20:22:20.48 ID:vWgZGgVq
#pragmaで変えられる環境あるよ。
というか「CPU関係なく常にsingle threadedだけど、
プログラムは改変せずそのままで動くよ」って「環境」もあるから。

http://codezine.jp/article/detail/4786 の辺り読んで。
149名無しのひみつ:2014/03/17(月) 22:09:51.88 ID:I8EixkIb
cudaを使いましょう
150名無しのひみつ:2014/03/17(月) 22:18:45.89 ID:XiMVUiQN
2ちゃんねら的には「朴泰祐」に反応するところだろ
151名無しのひみつ:2014/03/17(月) 22:26:02.00 ID:P2DipkRP
7x7 や 8x8は
どうなるの?
152名無しのひみつ
>>18
>>21
コズミックキューブ思い出した