
داشتن حداقل چند رنگ کافی است تا هر نقشه ای را بتوان به گونه ای رنگ آمیزی کرد که هیچ دو ناحیهٔ هم مرزی هم رنگ نباشند؟
برای رنگآمیزی هر نقشهای به گونهای که هیچ دو ناحیهٔ هممرز رنگ مشابه نداشته باشند، به حداقل چهار رنگ نیاز است. این ایده تحت عنوان قضیه چهار رنگ شناخته میشود و یکی از مسائل معروف در ریاضیات و نظریه گراف است.
این قضیه میگوید: «برای هر نقشهای که روی صفحه مسطح یا روی کره رسم شده باشد، کافی است که از چهار رنگ استفاده کنید تا بتوانید نواحی را طوری رنگآمیزی کنید که هیچ دو ناحیهٔ هممرز همرنگ نباشند.»
این مسئله به صورت دقیق در قرن نوزدهم مطرح شد و پس از سالها تلاش، در سال ۱۹۷۶ توسط کامپیوتر اثبات شد. یکی از نکات جالب این قضیه این است که بسیار ساده به نظر میرسد، اما اثبات آن پیچیدگی زیادی دارد!