liveness and graph coloring