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