@cmuratori @Jonathan_Blow It's both, right? Complete = Hard + NP, and it's clearly P to verify the length of a purported solution.
@supermoof @tom7 @Jonathan_Blow Hmm - yeah, OK, I think you are right about that - so we haven't _yet_ proved that they are harder...
-
-
@supermoof@tom7@Jonathan_Blow ... just that we know they are at least as hard. -
@supermoof@tom7@Jonathan_Blow I think everything else I said is correct though. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.