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

Groups > comp.theory > #106377

Re: Improved ℙ≠ℕℙ proof

From wij <wyniijj5@gmail.com>
Newsgroups comp.theory
Subject Re: Improved ℙ≠ℕℙ proof
Date 2024-06-06 12:45 +0800
Organization A noiseless patient Spider
Message-ID <7628d0ddbfbe61abaec59f0ef77968b9f451d1e2.camel@gmail.com> (permalink)
References <108d3c553ccae9c7e6eeb1b8b1a85a52b8b0b78d.camel@gmail.com> <eed8bcaeee2337a7d842401b4bd6e2e409ddc213.camel@gmail.com> <9bf939d70b9ee022a01a7b1dd9eaa705da397d88.camel@gmail.com> <8cfbbf143df2be693e8a4ca79c9c7376cf086741.camel@gmail.com>

Show all headers | View raw

On Mon, 2024-06-03 at 23:04 +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.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-05-30 08:24 +0800
  Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-05-31 23:07 +0800
    Re: Improved ℙ≠ℕℙ proof immibis <news@immibis.com> - 2024-05-31 19:50 +0200
      Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-01 06:33 +0800
        Re: Improved ℙ≠ℕℙ proof immibis <news@immibis.com> - 2024-06-01 14:47 +0200
          Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-02 06:18 +0800
    Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-03 22:22 +0800
      Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-03 23:04 +0800
        Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-06 12:45 +0800
      Re: Improved ℙ≠ℕℙ proof immibis <news@immibis.com> - 2024-06-04 16:14 +0200
        Re: Improved ℙ≠ℕℙ proof wij <wyniijj5@gmail.com> - 2024-06-05 15:33 +0800

csiph-web