ミレニアム懸賞問題 (635レス)
上下前次1-新
抽出解除 レス栞
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
299(1): ◆Ph05QxAcng [] 2024/03/10(日)01:24 ID:86TMEkfZ(7/15)
Next, I prove P=NP.
Proposition: For every computational problem, there exists an algorithm that matches the class of computational complexity of that problem.
Proof:
First, we demonstrate the following theorem.
Theorem2: The proof of every proposition that can be judged as true or false will inevitably materialize.
Proof:
First, we present three lemmas.
Lemma 2.1: The condition that defines an outline is when the inclusion relation ⊇ is commutative.
Proof:
If there is an A with a known shape and an A with an unknown shape, then the shape of B can be determined by showing A⊇B and B⊇A.
Corollary 2.1.1: The concept of existence and the inclusion relation are equivalent.
Proof:
The concept of existence and space are equivalent. Clearly, the inclusion relation is derived from space, and from the inclusion relation, existence=space is derived.
Lemma 2.2: The inclusion relation ⊇ and the correspondence relation → are equivalent.
Proof:
If the inclusion relation A⊇B holds, then the correspondence relation A→B holds. Conversely, assume the correspondence relation A→B holds. In this case, the premise that if something exists, then all elements are in space, and from Corollary 1.1, that the existence of elements in space implies an inclusion relation, demonstrates the proposition.
Lemma 2.3: The inclusion relation ⊇ and the causal relation → are equivalent.
Proof:
Clearly, if a causal relation exists, then, as per Corollary 1.1, since there are elements in space, an inclusion relation is derived. Next, we demonstrate that a causal relation can be derived from an inclusion relation. When A⊇B holds, a causal relation that if B then A belongs, holds. Thus, the proposition is demonstrated.
300(1): ◆Ph05QxAcng [] 2024/03/10(日)01:25 ID:86TMEkfZ(8/15)
>>299
Next, we provide the proof of the theorem2.
Existence and outline are equivalent, outline and wave (inclusion relation ⊇) are equivalent, and the inclusion relation and causal relation (logic →) are equivalent. Therefore, taking the physical space of this visible reality = existence as the foremost premise, everything that follows is represented. In other words, it may be said that the essence of this world is the visible space. Therefore, if the proof of every true proposition exists, it contradicts not existing in visible space. Thus, the theorem is demonstrated.
Corollary: For every true proof problem, as time is infinitely increased (with ∞^n, where n can be made as large as possible), the ratio of solved problems converges to 1.
Now, if we assume that the proposition does not hold, then for every problem, there exists a problem a whose algorithm does not match the class of the problem, and is of a smaller class.
At this time, it is possible to create a program A that generates problem a infinitely.
Let there be a program X that creates problems infinitely, and let r(X) be the ratio of the total problems solved by it.
In the case of A, even if we take n as large as possible with time being ∞^n, r(A) converges to 0.
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.026s