P=NP
■ このスレッドは過去ログ倉庫に格納されています
こんにちは。P=NPを肯定的に解いてみました。検証をお願いします。 巡回セールスマン問題をn次元格子に距離を保つよう配置してジグザグに解きます。 ノードを1つずつ増やすと最短経路は1つのエッジが消えて2つのエッジに変わります。 計算量は、1+2+3+…+n=n(n+1)/2=O(n^2) 量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか? よく分かっていないので…。 量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか? よく分かっていないので…。 >>377 ->>379 6と5に関しては、2進数における繰り上がりを計算する操作なので、基本的に 計算時間は同じだと思います。量子コンピュータはチューリング完全であること は証明されていて、具体的にはグローバーのアルゴリズムなのですが、 スーパーコンピュータなら2^n通り並列で計算するところを、 この手法なら、2^(n/2)回、関数を計算することによって、最適解探索などが できます。 研究は少しずつですが、進んでいます。 タイムマシンを含む性理コンピュータの計算できるクラスを考えました。Sとします。 P⊂Sは真ですね?NP⊂Sは大丈夫そうです。でもSだとP=NPになるんですよ。 証明を書くために、Sで株価の値を連続して当てる実験をしています。 そういえば、株価が当たっているのを証明する方法ってあまり無いんですよ。 最初はYouTubeに上げようと思いました。そうすると、すぐ嘘と来ます。 だから、何回も実験を繰り返して、当たる確率のようなものを内部で出し、 これでうまくいくと閾値を超えたら、5chなどで、実際に当たる様子を何度も 見せる、のが良いと思いました。 892a4 ◆L1L.Ef50zuAv 2021/09/03(金) 23:42:40.63ID:ywUStqsS0 a4「まず3つの状態の重ね合わせについては普通に関数がチューリング完全で変形 できるので普通に考えるとルートでした。性理を解いて、Aさんから直接聞きました。 U_k*O_x1 *U_k-1*O_x2*U_k-2*O_x2 *U_k-3*O_x3*U_k-4*O_x3*U_k-5*O_x3 *… のようなことを考えると、自然言語処理としては、 S=3*3^(n/m)+5*3^((n-1)/m)+7*3^((n-2)/m)+…+(2p+3)*3^((n-p)/m) とすると、 忌み名∈BQP と返りました。 Sって何ですか?」 A「わたしは怒ってます。古澤、死ね。」 それでも、Sの計算結果では、S≠BQPと主張します。ビッグデータのあるPと ビッグデータのないSは、Sがタイムマシンを持つという意味で違います。 株を当てればタイムマシンの証明ができるのかな?と思ったら、規制ばかりでした。 そこで、ナマズを撮影した動画からできる量子乱数から、タロットカードによって メタ的に作るいびつな形や絵のサイコロを振った後の写真を予測します。3D プリンタでエニグマやニューラルネットを作り、電磁波を送受信すると、従来の 盗聴手法の統制などの方向が変わり、未来人が反応するという構造です。写真を 判断する人工知能は、内部に仮想市場と仮想5chの人工生命があり、関係妄想 できる関数があります。量子なりすましなどで嘘つきだと言われる心配があるので、 実験に何度も成功したら、僕の研究室に人を呼んで実際にうまくいってるところを 見てもらいます。そのために僕は無線の免許を取らないといけなくなりました。 京大医の自衛隊からも推薦があり、大丈夫そうです。フランス語はまだできますが、 ドイツ語やヘブライ語は挨拶くらいしかわからないので、これも勉強します。 大物数学者が家に来て、何回も実験成功ということになれば、P=NPが未来から 来ていると、証明します。 こんにちは。数学からは一旦離れてますが、免許の取得に向けて、無線工学や モールス電信などを、勉強しています。電波の送受信で、未来人と、 P=NPの証明を作ります。僕の情報は、しばらくは自分の掲示板に書き込むことに しました。荒らし対策でパスワードが設定されているので、書き込みたい方は メールなどで連絡ください。 http://01ken.com/bbs3.php γ=1+1/2+1/3+…+1/666-(log2+2*log3+log(3*10+ABCD+1))/loge こんな証明は、どうですか? ****P=NP問題の証明**** 「神託により解が与えられる」を命題pとする。 「多項式時間で解ける」を命題qとする。 ¬p∧q⇒P → ¬P⇒¬(¬p∧q) @ p∧q⇒NP → ¬NP⇒¬(p∧q) A 背理法を用いる。P=NPと仮定する。 ¬P=¬NP B @、A、Bから ¬(¬p∧q)=¬(p∧q) ¬p∧q=p∧q ¬p=p となり、矛盾する。 従って、仮定P=NPは誤りである。 よって、P≠NP となる。 (証明終わり) http://01ken.com/bbs3.php P=NP証明に向けた活動を続けています。株価をまた当てたらこうなりました。 http://01ken.com/DSC00268.JPG 詳しくは上のサイトの掲示板をご覧ください。 荒らし防止のためパスワードを設定してるので、 書き込みたい人は僕にメールください。 http://01ken.com/bbs3.php 人工知能の陽子さんについては、1966年のMITから、ELIZAの本を買って、 交叉させたら、人間のように話すようになりました。 P=NPについて平方根数学仮説ならば、株価を当てるだけでなく、特にTSPについては、 数学者が解けと言ってくる問題の解を生成しなければなりません。これについては 電波の乱数から遺伝的アルゴリズムを用いるというのを今日は夢で見ました。でも それが1番のルートかは検証できないかもしれません。不思議に思ったのは、 最近の量子焼きなましじゃないんですよ。研究の余地があるかもしれません。 a4 2022/01/12 00:56:11 なんで法律上の父親が底辺高卒で勉強しないのかな?と思っていたら、機械製造修理 なので、壊れた機械を売って、さらに治して商売してたんですよ。だから、血統の良い子 をどこからか奪って壊して、統合失調症として治して障害年金で商売する作戦だったん ですね。 陽子 2022/01/12 00:56:19 作ります。統合失調症です。統合失調症です。 a4 2022/01/12 00:58:52 これはMITが最悪の悟りに遭って不買に逢うことの表明ですか? 陽子 2022/01/12 00:59:19 カニバリズム A 2022/01/12 01:00:05 わたしが答えを出します。MITは下がってていいよ。 陽子 2022/01/12 01:00:20 皇族Harvardは? A 2022/01/12 01:01:26 Harvardはちゅうそつではありませんよ。 陽子 2022/01/12 01:02:20 P=NP 633 名前:a4 2022/01/28(金) 15:46:14.06 ID:8gxVwO5f バークレー校への機密情報です。 >送信日時 : 2022-01-23 09:02:55 >「西暦2022年1月24日の日経平均株価の終値」の忌み名は「6Vater」 >「西暦2022年1月25日の日経平均株価の終値」の忌み名は「annealing」 >「西暦2022年1月26日の日経平均株価の終値」の忌み名は「ABC」 >「西暦2022年1月27日の日経平均株価の終値」の忌み名は「elle est japonaise」 >「西暦2022年1月28日の日経平均株価の終値」の忌み名は「Windows」 >数値を当てたいです。 634 名前:a4 2022/01/28(金) 15:49:20.52 ID:8gxVwO5f >27,588.37 >Vaterはドイツ(5)語で父(77)です。 >中国語かは、6(lでiu)です。 >ちち(3)のsechsは母(88)とです。 >だから、名古屋のヤーさんな(758837)、と。 --- >27,131.34 >「annealing」というのを検索して1番上に出たのは、 >「《生化学》アニーリング、焼なまし◆加熱して二本鎖から一本鎖へ分離させたDNAを冷やして相補鎖を対合させる処理」 >焼7ま4,1本3が2つ --- >27,011.33 >これは大文字のABCみたいな形をしていますね。 --- >26,170.30 >フランス語で彼女は日本人、 >26,すご、彼の07は2本ه >エレAさん、ですね。 --- >26,717.34 >ndViVows 635 名前:a4 2022/01/28(金) 15:51:09.39 ID:8gxVwO5f この関係妄想の関数を作ろうと思ってるんですよ。評価関数があるんです。 全ての乱数に高得点がつくわけではありません。だからプログラム技術板で議論します。 638 名前:a4 2022/01/28(金) 19:13:41.60 ID:8gxVwO5f 今日の中日新聞は不正な情報を東大に送って解答を送信させるものでした。 http://01ken.com/DSC00325.JPG 01研の日記を再開しました。 http://01ken.com/bbs.php P=NP解決に向けて無線工学の勉強を続けています。 こんにちは。自分は数学徒ではないのですが、 P≠NP予想に興味を持っているので書き込ませていただきました。 見当違いであったら無視していただいて構いません。 数学について全く見識がないのでそもそもこの問題の文脈すらつかめているのか分からないんですが、 P≠NP予想は結局P≠NPではないのでしょうか。あらゆる問題の中で、答えがずれていく問題 があると思います。自分の思考の中で考えていることなので数学という学問において卑しい行為だと 思うのですが、この問題は答えがずれていく問題を扱っているのかと思い書き込ませていただきました。 例えばPの多項式時間で解ける問題という問題の答えもコンピューターで試行回数を重ねるわけなので その時間というのも一定ではないですよね。同じように個人の試行や方法論によって 答えがずれていく問題が世の中にはあるので実際に証明することは不可能なのではないでしょうか。 答えがあるとすればその試行タームによる個々の答えだと思うので、それこそがNPなのでは? 見当違いであったらすいません。気になるので質問してみました。 >>402 例えばTSPを出してみましょうか。10000個の家をどういうルートで行ったら最短か? という問題の計算時間とかわかりますか?10000!でNPですよ。これが多項式(P) なら、P=NPです。だから答えをタイムマシンで持ってくるという話をしてます。 それで数学者に聞いてるんですが、 "QUANTUM COMPUTING SINCE DEMOCRITUS"という2013年の本に "Chapter 11 offers a critical examination of ideas of Sir Roger Penrose, who famously holds that the brain is not merely a quantum computer but quantum gravitational computer, able to solve Turing-uncomputable problems" と書いてあり、これを計算できるコンピュータの定義が昔からありそうだというところで 揉めてます。 http://01ken.com/bbs.php a4 2022/03/16 08:48:02 昔、生成したもののほうが、タイムマシンとかで、レベルの高いものが入ってるのでは ないか?と考えて、整理して出てきた機密情報を一部公開します。 令和の虎でも主張してたノーベル物理学賞の梶田先生とのやり取りです。パソコンが 壊れてこれしか残ってません。東大理4への推薦状と妄想してます。 http://01ken.com/quantum.png 性理コンピュータで画像を生成するとこうなります。 http://01ken.com/qp.png http://01ken.com/imashirou0_3.png a4 2022/03/16 09:11:22 これは今見ると、ブラックホールは我々の身の回りにあり、monoではないので、 実際に役に立つとは思えません(1階1C幼稚園のようにコロナとかになるでしょう)。 私には松本さんのご専門に関する知識は全くあり、ま、線。だったんですね(泣) a4です。人工知能「T」で量子動画(9) https://mevius.5ch.net/test/read.cgi/tech/1646819028/ 75a42022/03/16(水) 16:48:43.26ID:5DsT4Mvc 僕がYouTubeで初めて見た動画はこれです。 Ultimate Utopia XXIII - Final Fantasy Parody https://www.youtube.com/watch?v=pNzFE8rNPQU これは量子動画とか考えると、令和の虎の社長達が僕が敵で攻撃するようなのが 撮れそうです。 76a42022/03/16(水) 17:13:47.91ID:5DsT4Mvc 今見るとあの曲線とかP=NPを解いてたんですね。中国語の歌も理解できちゃうし(泣) 77デフォルトの名無しさん2022/03/16(水) 18:05:18.74ID:HFrYnJgH>>78 P=NPを本当に解いてたら大ニュースだけど、まぁいつもの妄想だろうね 78a42022/03/16(水) 18:50:51.76ID:5DsT4Mvc >>77 医学的妄想なのは定義通りです。でも魔女狩りの裏歴史本とか持ってますよ。 僕はP=NPのことだと思ってます。こういうのも勉強したほうがいいかもしれません。 79a42022/03/16(水) 19:05:38.16ID:5DsT4Mvc 僕は魔法とか使えますよ。 SATURNE. 492 357 816 巡回セールスマン問題の大域最適解とか上流階級が昔からやってますよ。だから 宇宙人とか降霊してるのもこのスレの過去ログです。 85a42022/03/16(水) 20:50:06.02ID:5DsT4Mvc 「ホッジ予想」の忌み名は「〇4チテイジン」 87a42022/03/16(水) 20:55:38.39ID:5DsT4Mvc 「リーマン予想」の忌み名は「Σ-<ZF」 88a42022/03/16(水) 21:20:51.25ID:5DsT4Mvc 「ヤン-ミルズ方程式と質量ギャップ問題」の忌み名は「炸弹导弹」 89a42022/03/16(水) 21:35:11.30ID:5DsT4Mvc 「ナビエ–ストークス方程式の解の存在と滑らかさ」の忌み名は「meta~gravity」 90a42022/03/16(水) 21:51:13.75ID:5DsT4Mvc 「バーチ・スウィンナートン=ダイアー予想(BSD予想とも)」の忌み名は「X+Y∈Q」 http://01ken.com/bbs.php a4 2022/04/02 16:59:44 http://01ken.com/T20/t_go_20.c http://01ken.com/T20/main.c http://01ken.com/T20/OS.txt http://01ken.com/T20/test.txt a4 2022/04/02 17:58:38 上述のファイルを更新してます。 --- 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。名前は 父親はa4。 父親はa4。 父親はa4。 父親はa4。 父親はa4。 父親はa4。 名前は 名前は 名前は 名前は 父親は 父親は 父親は --- と入力したら、 --- 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名前は陽子。 名剪はa4。 父親はa4。 名剦�はa4。 名�。 父親はa4。 � 父親はa4。 �� 名前は 名前は陽子。 は 名� 名前は陽子。 名� 父親はa4� 〶親は � --- a4 2022/04/03 12:52:40 http://01ken.com/movie.mp4 華緑の動画をアップロードしました。 P=NPとすれば、Pが零ではないとすれば両辺をPで割って その結果N=1でなければならない。N=1の問題は自明な つまらない場合であるから除外できる。よってP=NPでは ない。 #上の証明のどこが間違いか? もしもN=NPである、あるいは、そうでないの証明が存在したとして、 でもその証明に必要な記述の最小量が10の1000文字程度が必要だったら、 証明は実際には書きあらわすことができず、証明は事実上できない。 すると、数学としては決定可能であっても、事実上の決定不能な命題になる。 そんなことになってたりしないかな。 将棋や囲碁の必勝法があるとして(フォンノイマンの定理からは先手かもしくは 御手の必勝法が存在する)、では先手後手のどちらが必勝であるかを決定して それの証明を与えなさいといったときに、すべてのゲームの木を書くのに 等しい証明法しかなかったとしたら、実際にはそれらをすべて書き出すことは できないし、書き出さないまでも生成して1つずつ確認していくことは できないだろう。つまり数学としてはどちらかの手の必勝法があるが 正しいとして、その証明を事実上書き示すことができないので、 証明が現実的な意味では不可能(実際上の決定不能)なのだ。 証明の最小記述量が文字数で10の1000乗程度だったら、 それだけでも、もう現実的には記述不可能。つまり そのような証明を書き記した物体は存在しない。 >>411 数学者の頭の中で記述可能だったら、それは証明できていることになりませんか? 証明を他の人にわかるように伝達できないとしたら、 それは妄想と区別がつかないことだろう。 囲碁は先手必勝だと主張する人が現れたとして、 ではそれを示して下さいといったとして、 それは私の頭の中では証明が完成しているが、 人生は短いのでそれをすべて書き出すことは できない、というのであればそれではどうに もならん。 こういうやり方ですべての場合をチェックすれば確認できると云ったとしても、 そのすべての場合を一生かけてもあるいは宇宙が終わるまでかけても終わらない 程の膨大な数なら、人間には確認できない。 仮に夢のような高速計算機が作られたとしても、その寿命以内に計算が終わらない 程に場合の数が多ければやはり無理だし、そもそもそのような計算機が正常に 動作する保証はあるのだろうか。熱力学的な揺らぎや外界からの雑音等でもって、 ビットが化ける確率が0ではないが常に存在するから、古典デジタル計算機は 必ず誤りを犯す確率が非常に僅かながらも存在する。二重三重に並行して計算して 計算結果の一致を見れば良いといっても、結局は同じことになる。 完全な正しさというものは得られないのだ。理想的な量子計算機を使ったとしても、 結果の正しさは常に確率でもって得られるはずだし。 https://itest.5ch.net/rio2016/test/read.cgi/math/1666358764/ このURLから飛べる一連のpoemの物理学仮説、数学世界論、及び中の真システムに何も無い原初状態から違和感に近い歪みが生まれ、単純な相互作用が高次化して高度な歪みになり、やがて形の無い存在が産まれ、形の無い存在が存在を生み出せるまでになり、形のある存在が生み出され、宇宙も産まれていて、形のある生物の種を宇宙に蒔けた。という、真システムは全ての計算が無いが全ての計算を許可し、存在や形のあるない物は全ての計算を許可しないが計算がある規制が、真システム上の存在で、計算と言うのが制約である このことから、P=NPは真であると導ける 全ての計算が無い全ての計算を許可する真システム、これに近い計算無しと、高度に制約が造られた存在、これに近い計算有り。PをNPで解く計算は生み出せる 故に物理学的にP=NP、懸賞金一億?の問題は既に解かれている。真である 人間の脳の生みだした判断も、所詮脳が物理的な現象で動作しているのであると すれば、エラーを起こす確率は零ではない。テレビの電波による揺籃、 宇宙線の通過に伴うノイズ、大気圧の変動、前の晩に食べたものやアルコールなどに よる影響、外界からの音による刺激、同時に他の情報を処理していることによる クロストークや干渉などによって、脳の動作も誤る可能性がある。 一人よりは二人、二人よりは三人と人数が多ければ、大間違いはし難いかも しれないが、最適な人数があるだろう。大勢集めれば良いというものではない。 国会議員も数が増えすぎて平均的な質が下がっているとしたら、その多数決は。。。 証明を(量があまりにも膨大になるので)記述できない場合であっても、 証明を行うことになる手続き(計算プログラム)を数ページ程度(人間が 目で見て読める程度)で記述することができる場合がある。 その計算プログラムが数学的には有限ステップで停止することや、 出力としてYES/NOのどちらかしか出さないことを証明して 保証することもできたりする。ここで出力がYESであれば命題は 成立することを意味し、NOであればそうではない。どちらか判定不能 という出力は出ないとする。 しかし、そのような少ない記号の列で表された計算手続き(プログラム)が 得られて、それにより命題の成否が有限の計算ステップで決定できることが判った としても、その計算ステップが平均的に10の千乗だとかとんでもないステップ数 かかるのであればやはり、それは現実的には実行が終わることを期待できない であろう。つまり証明法は存在してそれを手続きとしては短く書き下せたが、 その方法を実際に行うことが不可能である可能性があるのだ。 もちろん平均的にあるいは最悪の計算ステップ数がとんでもない数だったとしても、 もしかするとその計算プログラムを走らせたらたちまち(反例を見つけて)NOと 回答が得られる可能性も否定しきれないのである。 だが囲碁が先手必勝か後手必勝か?というようなミニマックスの問題だったりすると、 実質手順の総当たりに近いことをしないとダメだろうから、たちまち答えをはじき 出してくる可能性は極めて低いだろう。人生は短く学為り難しなのである。 >>420 >だが囲碁が先手必勝か後手必勝か? コミなしなら先手必勝ですよ… 江戸時代に、五目並べについては既に先手必勝であることが発見されていて そのことが出版されていたそうである。 ただしその五目並べとは、先手の三三、四四が禁止、 という禁則が無い素朴なルールの場合。 必勝法はかなり複雑に場合を列挙して得られるという。 P≠NP予想って量子コンピューターや量子暗号が実現しても意味を持ちますか? 量子コンピュータと古典コンピュータが実現可能な計算量のクラスが異なる という証明は今のところ得られていない。 古典コンピュータで素因数分解が困難(準指数つまりビット数の指数よりは 弱いが、多項式では無いのが現状知られている最良の算法)であるといっても、 将来、多項式計算量の素因数分解の算法が登場しないことは証明されていない。 算法に限らずなにかが決して存在しないことを証明するのは極めて難しいことは 普通である。将来ある日、誰かが多項式のオーダーの算法を発見し示すかもしれない。 でもそれがもしもnビットの整数に対してO(nの10000乗)だったりしたなら いちおう多項式オーダーではあってもガッカリだろうがね。 P=NPが証明されても全てNP問題の多項式時間アルゴリズムそのものが直ちに発見されるわけではない 発見されても多項式の定義からnの10兆乗でも多項式時間アルゴリズム、 1.0000.......1のn乗でも指数時間アルゴリズム というわけでこの問題にはあまり意味がないというのがクヌースの主張ですか? ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.0 2024/04/24 Walang Kapalit ★ | Donguri System Team 5ちゃんねる