Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c > #385611

Re: Improved ℙ≠ℕℙ proof

From wij <wyniijj5@gmail.com>
Newsgroups comp.lang.c
Subject Re: Improved ℙ≠ℕℙ proof
Date 2024-06-06 12:42 +0800
Organization A noiseless patient Spider
Message-ID <71791c32465a478dd7d8d278dc2c4680b894c4c3.camel@gmail.com> (permalink)
References <933be7149a1cfdcd0abf2e7b793c20c8a00996ea.camel@gmail.com> <ec80bfdc7ee9ce8b143619f10c97eeb9d4ba6fe4.camel@gmail.com> <722b9f1dd968de561aa580a11d60bc03d95cb1c7.camel@gmail.com>

Show all headers | View raw

On Mon, 2024-06-03 at 23:06 +0800, wij wrote:


ℙ≠ℕℙ Proved. https://sourceforge.net/projects/cscall/files/MisFiles/PNP-proof-en.txt/download
...[cut]
    Note: Another super short proof that ℙ≠ℕℙ (might be less constructive).
    Proof: If ℙ=ℕℙ, then ℕℙℂ=ℙ. All the problems in ℕℙ are Ptime reduciable.
           That means all the proofs that prove "Decide whether or not a given
           number is even" is not a ℕℙℂ are false proofs. Since such proofs are
           considered valid, ℕℙℂ and ℙ is not the same, therefore, ℙ≠ℕℙ.

Back to comp.lang.c | Previous | Next — Previous in thread | Find similar

Thread

Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-05-30 17:18 +0800
  Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-05-31 23:13 +0800
  Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-03 22:26 +0800
    Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-03 23:06 +0800
      Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-06 12:42 +0800

csiph-web