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

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

منبع:
http://fa.wikipedia.org