[過去ログ] P=NP (428レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
33(1): ID:1lEWVa2s 2020/03/31(火)15:53:16.71 ID:u+SuL/Zv(5/5) AAS
ねりゅ。
97: a4 ◆L1L.Ef50zuAv 2020/04/04(土)03:36:12.71 ID:/Zg1b6cm(5/13) AAS
>>95
おはようー^^
198: a4 ◆L1L.Ef50zuAv 2020/05/30(土)16:30:28.71 ID:k3/iLtaI(7/9) AAS
名古屋の宇宙人2「P=NP解けると思っとるか?君らは。」
a4「だから統合失調症で関係妄想になるんじゃないかと。」
名古屋の宇宙人2「だからさ、それだけでも重要な研究じゃん?君は医学者に
なったほうがいいんじゃないのか?」
a4「脳神経医学は研究したいです。人工知能を創るため。計算機科学で作曲するため。
不老不死技術を未来から輸入するため。」
名古屋の宇宙人2「うーん、P=NPからずれるとは思っとらん。全部関係してる。
それでさ、俺、実験するの。東大卒って何考えてると思ってる?」
a4「コロナでいかにして儲けるか?」
名古屋の宇宙人2「だからさ、ここを突きたいのよ。大橋先生とか何だと思ってる?」
省15
250: a4 ◆L1L.Ef50zuAv 2020/08/21(金)19:50:55.71 ID:t4IJvSaq(1) AAS
>>249
論文は読みたいんですけど、どこにあるのかわからないですね。RPのRはRandom
なんですね。これが本当ならクイックソートみたいなものなんじゃないかと。でも
approximationって書いてあるので、1990年代の研究かもしれません。昔から
研究してる人がいます。2010年のGödel Prizeの論文を出します。
外部リンク:dl.acm.org
これは最後に
「RECEIVED JULY1997;REVISED JANUARY1998;ACCEPTED JUNE1」
と書いてあります。
290: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:19:45.71 ID:zCsn/dGn(6/13) AAS
a4「もしこれが解けたら、Googleとかどうなるんでしょうね?」
名古屋の宇宙人2「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすRLポリシーネットワークを組んでる
かもですよ?」
名古屋の宇宙人2「そうか。結構頭良いんだな。」
357: a4 ◆L1L.Ef50zuAv 2021/07/26(月)19:13:33.71 ID:eS1gQLda(9/18) AAS
もうちょっと書くとするならば、素因数分解はlog^2なので、平方根数学仮説
に関しては、非決定性チューリングマシンの計算時間の「最大」だと平方根になる
ことを言ってます。
420(1): 2022/12/03(土)16:16:43.71 ID:AhIcj07+(1) AAS
証明を(量があまりにも膨大になるので)記述できない場合であっても、
証明を行うことになる手続き(計算プログラム)を数ページ程度(人間が
目で見て読める程度)で記述することができる場合がある。
その計算プログラムが数学的には有限ステップで停止することや、
出力としてYES/NOのどちらかしか出さないことを証明して
保証することもできたりする。ここで出力がYESであれば命題は
成立することを意味し、NOであればそうではない。どちらか判定不能
という出力は出ないとする。
しかし、そのような少ない記号の列で表された計算手続き(プログラム)が
得られて、それにより命題の成否が有限の計算ステップで決定できることが判った
省10
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.025s