As a cryptographer, I am used to the viewpoint that computational problems are presumed hard unless proven otherwise. We cryptographers constantly come up with new hardness assumptions, and generally use the heuristic that if a problem doesn't have an obvious algorithm then it must be hard. We've had some interesting failures (see here for a recent example), but this heuristic seems … Continue reading Is computational hardness the rule or the exception?