قضیه چهاررنگ




قضیه‌ی چهاررنگ یا حدس چهاررنگ از مسائل مشهور و قدیمی ریاضیات است که سال‌ها اثبات نشده مانده بود. به بیان ساده (و نادقیق) این قضیه می‌گوید:
برای رنگ کردن هر نقشه به طوری که کشورها و نواحی همسایه در نقشه هم‌رنگ نباشند فقط چهار رنگ کافی است.

سه رنگ برای نقشه های ساده تر کافیست ولی یک رنگ چهارم اضافی برای برخی نقشه ها لازم است. مثل نقشه هایی که در آن ها یک ناحیه با تعداد فرد نواحی دیگر احاطه شده است که به یکدیگر در یک دایره وصل هستند.


قضیه 5 رنگ که اثباتی کوتاه و ساده دارد، بیان می کند که 5 رنگ برای رنگ آمیزی نقشه کافیست. این قصیه در اواخر قرن ۱۹ اثبات شده است(هیووو ۱۸۹۰). اثبات اینکه 4 رنگ کافیست بسیار سخت تر است ... (ادامه مطلب)