vertex chromatic number