next up previous contents index CD CD Algorithms
Next: War Story: Hard Against Up: Intractable Problems and Approximations Previous: Other NP-Complete Problems

The Art of Proving Hardness

Proving that problems are hard is a skill. But once you get the hang of it, reductions can be surprisingly straightforward and pleasurable to do. Indeed, the dirty little secret of NP-completeness proofs is that they are usually easier to create than explain, in the same way that it is often easier to rewrite old code than it is to understand and modify it.

I offer the following advice to those seeking to prove the hardness of a given problem:


next up previous contents index CD CD Algorithms
Next: War Story: Hard Against Up: Intractable Problems and Approximations Previous: Other NP-Complete Problems

Algorithms
Mon Jun 2 23:33:50 EDT 1997