قضیه چهاررنگ

از ویکی‌پدیا، دانشنامهٔ آزاد.

مثالی از یک "نقشه" چهاررنگ
مثالی از یک "نقشه" چهاررنگ

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

برای رنگ کردن هر نقشه به طوری که کشورها و نواحی همسایه در نقشه هم‌رنگ نباشند فقط چهار رنگ کافی است.

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

این نوشتار در زمینهٔ ریاضیات ناقص است. با گسترش آن به ویکی‌پدیا کمک کنید.