proper vertex coloring in which every pair of colors appears on at most one pair of adjacent vertices