Četru krāsu teorēma
Ikviena plakana karte ir izkrāsojama ar ne vairāk kā četrām krāsām tā, lai visi tās kaimiņu apgabali (skaldnes, kam ir kopēja šķautne) būtu dažādās krāsās.
Četru krāsu teorēma kā hipotēze tika izvirzīta 1840.gadā vācu matemātiķa A.Mēbiusa lekcijās, bet pierādīta tikai 1976.gadā - K.Apels, V.Hākens (ASV). Teorēmas pierādījums ir unikāls, iegūts ar ESM analizējot ap 1500 situāciju, kurās hipotēze varēja būt aplama. Mēģinājumi pierādīt Četru krāsu teorēmu ievērojami veicināja grafu teorijas attīstību.
Saites.
Kartogrāfija un kartogrāfi.
