قضیه چهاررنگ
از ویکیپدیا، دانشنامهٔ آزاد.
قضیه چهاررنگ یا حدس چهاررنگ از مسائل مشهور و قدیمی ریاضیات است که سالها اثبات نشده مانده بود. به بیان ساده (و نادقیق) این قضیه میگوید:
- برای رنگ کردن هر نقشه به طوری که کشورها و نواحی همسایه در نقشه همرنگ نباشند فقط چهار رنگ کافی است.
این قضیه در سال ۱۹۷۶ با کمک رایانه ثابت شد.