قضیه چهار رنگ

[ســـحرپــروانـہ]

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

رنگ کرد به صورتی که هر دو کشور مجاور ناهمرنگ باشند.

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

لطفا برای مشاهده کامل مطالب در انجمن ثبت نام کنید.