mentater·4 年前·議論Wouldn't that be extremely useful and a polynomial solution for 3-SAT, which is NP complete?