قضیه چهار رنگ

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

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

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