Co to jest kolorowanie grafu

Co to jest KOLOROWANIE GRAFU: funkcja odwzorowujaca zestaw wierzcholków grafu w skonczony zestaw liczb {1, ..., k} ( k-kolorowanie), taka ze sasiednie wierzcholki grafu otrzymuja rózne barwy. K.g. znajduje wykorzystanie na przykład w rozwiazywaniu zagadnien typu bezkolizyjnego ukladu zajec (w grafie powiazan zajecia przypadajace w tym samym czasie otrzymuja ten sam kolor), a takze przy kolorowaniu map podzialu administracyjnego