next up previous
Up: An unsolvable instance of Previous: An unsolvable instance


The proof, given above, is probably more detailed than really needed. However, the way the proof is given may be of some interest, as it illustrates reasoning with invariants in a hopefully somewhat illuminating way.

See the last page for a few comments and links.

Hans Bodlaender
Fri Jul 12 16:18:16 MDT 1996