A Critique of Uribe's "P vs. NP"

05/02/2022
by   Henry B. Welles, et al.
0

In this critique, we examine the technical report by Daniel Uribe entitled "P vs. NP." The paper claims to show an exponential lower bound on the runtime of algorithms that decide CLIQUE. We show that the paper's proofs fail to generalize to all possible algorithms and that, even on those algorithms to which the proofs do apply, the proofs' arguments are flawed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2023

A simplified lower bound for implicational logic

We present a streamlined and simplified exponential lower bound on the l...
research
09/03/2021

Four proofs of the directed Brooks' Theorem

We give four new proofs of the directed version of Brook's Theorem and a...
research
08/11/2017

A Solution of the P versus NP Problem

Berg and Ulfberg and Amano and Maruoka have used CNF-DNF-approximators t...
research
09/13/2022

On bounded depth proofs for Tseitin formulas on the grid; revisited

We study Frege proofs using depth-d Boolean formulas for the Tseitin con...
research
05/07/2020

Critique of Boyu Sima's Proof that P≠ NP

We review and critique Boyu Sima's paper, "A solution of the P versus NP...
research
01/10/2018

Five Proofs of Chernoff's Bound with Applications

We discuss five ways of proving Chernoff's bound and show how they lead ...

Please sign up or login with your details

Forgot password? Click here to reset