قضیه چهار رنگ

قضیه چهار رنگ به صورت ساده این است: یک نقشه داریم میخواهیم ثابت کنیم می توان کشورها را با ۴ رنگ، رنگ کرد به صورتی که هر دو کشور مجاور ناهمرنگ باشند.

این مسله برخلاف ظاهر ساده اش سال ها فکر دانشمندان را به خود مشغول داشت تا در حدود ۱۹۷۶ کی اپپل  و  و . هیکن  بعد از این که ۲۵ سال از عمرشان را وقف اثبات این نظریه کردند، توانستند ثابت کنند که اگر برای حدود ۱۰۰۰۰ نقشه (گراف) ای که لیست شده بودند این کار امکان پذیر باشد آنگاه برای همه ی نقشه ها این کار ممکن است. این تعداد نقشه با کمک کامپیوتر و برنامه ای که آن ها نوشته بودند ، طی روزها تلاش و در طول ۱۲۰۰ ساعت فعالیت سریعترین کامپیوتر زمان خود حل شد. آن ها در واقع در ابتدا قصد استفاده از کامپیوتر را نداشتند ولی ناچار به این کار شدند. بعد کسانی پیدا شدند و گفتند این که نشد اثبات و این دو نفر کلی تلاش کردند که آن ها را قانع کنند که این هم اثبات است و از اثبات ۱۰۰۰ صفحه ای یک قضیه بدتر نیست. ولی هنوز هم دانشمندان در حسرت یک اثبات ساده برای این قضیه هستند. اثباتی که روی کاغذ باشد!

نکته ی دیگر این که این مسئله با کمک نظریه گراف حل شد.