A Critique of Keum-Bae Cho's Proof that P⊊NP

04/05/2021
by   Benjamin Carleton, et al.
0

In this paper we critique Keum-Bae Cho's proof that P⊊NP. This proof relates instances of 3-SAT to indistinguishable binomial decision trees and claims that no polynomial-time algorithm can solve 3-SAT instances represented by these trees. We argue that their proof fails to justify a crucial step, and so the proof does not establish that P⊊NP.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset