princeton lecture on reductions should help gadgets 3SAT and 3colorability