Wrote isFeasible, further detailed ColoringGraph