Dört Renk Teoremi, temel olarak haritaların nasıl renklendirileceğiyle ilgili matematiksel bir problemi ifade eder. Bu teorem, herhangi bir düzlemsel haritanın sadece dört farklı renkle boyanabileceğini iddia eder, bu da haritadaki her iki ülkenin aynı renkle boyanmaması gerektiği anlamına gelir. Bu teorem, bir matematikçi olan Francis Guthrie tarafından 1852 yılında ortaya atıldı ve daha sonra birçok matematikçi tarafından incelendi.
Teorem, temel olarak düzlem üzerindeki bölgelerin birbirleriyle nasıl komşu olduğunu ve nasıl renklendirilebileceğini incelemektedir. Dört Renk Teoremi'nin kanıtlanması, matematikçiler için uzun bir süreçtir ve 1976 yılında Kenneth Appel ve Wolfgang Haken tarafından bir bilgisayar yardımıyla kanıtlandı. Bu kanıt, büyük bir çaba gerektiren karmaşık bir bilgisayar programını içerir.
Dört Renk Teoremi, düzlemsel haritaların renklendirilmesi ve graf teorisi alanlarında önemli bir konudur. Teorem, matematiksel bir kanıta dayanmasına rağmen, pratik uygulamalarda kullanılabilecek bir ilkedir. Ancak, bu teorem yalnızca düzlemsel haritalar için geçerlidir ve diğer türdeki grafikler için aynı renk sayısı garanti edilmemektedir.