... with "assumption" used in its "spherical cow" sense, of course [1][2][3].

[1] http://en.wikipedia.org/wiki/NP-hard [2] http://en.wikipedia.org/wiki/Local_optimum [3] Making this point in the service of Internet Clarity. I don't think we disagree (unless I've misread).