Comment Comment by imadr P=NP -> 3SAT has a polynomial time algorithmP=/=NP -> 3SAT has no polynomial-time algorithmETH is true -> 3SAT has no subexponential time algorithmETH is false -> 3SAT has a subexponential time algorithm------ETH true -> P=/=NPETH false (!!!) -> P ?= NP remain unsolved parent imadr 5 days ago
P=/=NP -> 3SAT has no polynomial-time algorithm
ETH is true -> 3SAT has no subexponential time algorithm
ETH is false -> 3SAT has a subexponential time algorithm
------
ETH true -> P=/=NP
ETH false (!!!) -> P ?= NP remain unsolved