we've got our best shark on the problem
@SuricrasiaOnline To the extent that people generally assume the second isn't true, sure, but I don't foresee the first one being plausible in the next, oh, century or so (and even if it _were_, that would probably imply #3 anyway, without the hassle of #2).
@SuricrasiaOnline we think that formulating the cnf is probably more complicated than a solution to the second would be(assuming that it's absurdly complex).
@SuricrasiaOnline probably isn't, but even if it is, then the cnf is probably not a great representation of the encoding of the problem.
Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.