Things that cannot be done — page 8
How many changes undo a knot
Cut the string at a crossing, pass it through the other strand and join it up again, and any knot can be undone by doing that often enough. The fewest changes needed is the unknotting number, and proving that fewer will not do needs a number that each change can move only a little. The signature moves by at most two per change — enough to settle thirteen of the fourteen knots up to seven crossings, and not the fourteenth.
Several colours on every vertex
Give every pair from six points three colours, so that pairs with nothing in common share no colour. Counting says nine colours might do; ten are needed. Stahl conjectured in 1976 exactly how many colours every such problem needs — a formula that meets Lovász's topological answer at one colour a vertex and the obvious answer at k — and a search over stars and triangles confirms it in every case small enough to run.