Comment on Solving SAT via Positive SupercompilationparentComments−margalabargala2yThe parent is implying the inverse, that NP is contained within P.−dataflow2yI believe you're misreading the comment? It says "binary search is in NP (because it is in P)"... i.e. the fact that binary search is in P implies that it is in NP. Which is true because P is a subset of NP.−margalabargala2yWhoops, you're totally right. I swear I re-read that three or four times before commenting and utterly failed to parse properly.−dataflow2yHappens to me all the time :)
Comments
The parent is implying the inverse, that NP is contained within P.
I believe you're misreading the comment? It says "binary search is in NP (because it is in P)"... i.e. the fact that binary search is in P implies that it is in NP. Which is true because P is a subset of NP.
Whoops, you're totally right. I swear I re-read that three or four times before commenting and utterly failed to parse properly.
Happens to me all the time :)