قضیه چهار رنگ به صورت ساده این است: یک نقشه داریم. ثابت کنید می توان کشورها را با 4 رنگ، رنگ کرد به صورتی که هر دو کشور مجاور ناهمرنگ باشند. این مسله برخلاف ظاهر ساده اش سال ها فکر دانشمندان را به خود مشغول داشت تا در حدود 1976 چند دانشمند بعد از این که 25 سال از عمرشان را وقف اثبات این نظریه کردند، توانستند ثابت کنند که اگر برای حدود 10000 نقشه (گراف) ای که لیست شده بودند این کار امکان پذیر باشد آنگاه برای همه ی نقشه ها این کار ممکن است. این تعداد نقشه با کمک کامپیوتر و برنامه ای که آن ها نوشته بودند ، طی روزها تلاش کامپیوتر حل شد.
آن ها در واقع در ابتدا قصد استفاده از کامپیوتر را نداشتند ولی ناچار به این کار شدند. بعد کسانی پیدا شدند و گفتند این که نشد اثبات و این دو نفر کلی تلاش کردند که آن ها را قانع کنند که این هم اثبات است و از اثبات 1000 صفحه ای یک قضیه بدتر نیست. ولی هنوز هم دانشمندان در حسرت یک اثبات ساده برای این قضیه هستند. اثباتی که روی کاغذ باشد!
نکته ی دیگر این که این مسله با کمک نظریه گراف حل شد.