Úvod Teorém čtyř barev byl poprvé formulován Francisem Guthrie někdy kolem roku 1852. Spočívá v tom, že libovolný plošný obrazec (graf) rozdělený na libovolný konečný počet menších obrazců je vybarvitelný nejvýše čtyřmi barvami tak, aby žádné dva sousední obrazce neměly stejnou barvu. Obrazce mohou stejnou barvou sousedit pouze v rozích (tvary, na kterých se oblasti […]