Um gráfico é choosable (também conhecido como -list-colorable ) se, para cada função que mapeia vértices para conjuntos de cores, há uma atribuição de cores tal que, para todos os vértices , , e tal que, para todas as arestas , .k f k c v c ( v ) ∈ f ( v ) v w c ( v ) ≠ c ( w )kkkkkkfffkkkcccvvvc (...