Ein Graph ist -choosable (auch bekannt als K -Liste-färbbar ) , wenn für jede Funktion f , die Scheitelpunkte auf Sätze von Karten k Farben, gibt es eine Farbzuordnung c , so dass für alle Knoten v , c ( v ) ∈ f ( v ) , und derart , daß für alle Kanten v w , c ( v ) ≠ c ( w )...