graph coloring peterson graph