On: Solving SAT via Positive Supercompilation

[margalabargala]

The parent is implying the inverse, that NP is contained within P.

[dataflow → margalabargala]

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.

[margalabargala → dataflow]

Whoops, you're totally right. I swear I re-read that three or four times before commenting and utterly failed to parse properly.

[dataflow → margalabargala]

Happens to me all the time :)