Added ideas for generating hard instances.
Made progress on generating hard graphs.