ミレニアム懸賞問題

ミレニアム懸賞問題 (635ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

230: ◆Ph05QxAcng  [] 2024/01/27(土) 22:42:07.12 ID:DtBVBv3P

後半も修正して今度こそ出来ました

「命題
全ての計算問題に対して、その問題の計算量のクラスと一致するアルゴリズムは存在する

証明
まず次の定理を示す。

定理
全ての真である命題の証明は必ず現実化する

証明
存在と輪郭が同値であり、輪郭と波動(包含関係⊇)が同値であり、包含関係と因果関係(論理→）が同値である。よってこの目に見える現実の物理空間=存在を最前提に置いてそれ以降の全てが表現される。つまりこの世界の本質は目に見える空間であるとしても良い。よって全ての真である命題の証明が存在するのであれば、目に見える空間に存在しないと矛盾する。よって定理が示された。

系
全ての真である証明問題は時間を無限大にいくらでも大きく限り無く発散させる(∞^nでnをいくらでも大きく取る)と、解けた問題の割合は1に収束する。

今仮に命題が成立しないと仮定すると、問題の解法となるアルゴリズムは全て問題のクラス一致しない、小さいクラスである問題aが存在する。

この時問題aを無限に生成するプログラムAが作成出来る。

今問題を無限に作成するプログラムXがあって、その作成した問題を全て解くようにして、解いた問題の全体の割合をr(X)と置く。

Aの場合、時間を∞^nとしてnをいくら大きくとってもr(A)は0に収束する。

全ての真である証明問題の集合をPと置き、全ての計算問題の集合をpと置いた時、P⊃pである。

計算問題が解かれるとは、次の二つが満たされる事を示す事になる。
(1) 最良のアルゴリズムの存在を示し、かつそれが最良である事を示す
(2) 実際にそのアルゴリズムで解が存在の有無を確認する

Aより作られた大量の問題の集合をEと置くと、今系よりrは1に収束するのだから、Eに対して(1),(2)の両方が示されて1に収束する⇔一つ一つの問題に対して、全てのアルゴリズムは同じであるから、一つの計算問題に対して最良のアルゴリズムは問題のクラスと一致していないといけないが、先ほど示されたのはr(A)は0に収束するので矛盾する。

すなわち命題は示された。

系
P=NPが成り立つ」

http://rio2016.5ch.net/test/read.cgi/math/1668766352/230

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s