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