D S ] 1 2 N ov 2 01 7 Dynamic Algorithms for Graph Coloring