قضیه چهاررنگ
از ویکیپدیا، دانشنامهٔ آزاد.
قَضیّهٔ چهاررَنگ یا حدس چهاررنگ از مسائل مشهور و قدیمی ریاضیات است که سالها اثبات نشده مانده بود. به بیان ساده (و نادقیق) این قضیه میگوید:
- برای رنگ کردن هر نقشه به طوری که کشورها و نواحی همسایه در نقشه همرنگ نباشند فقط چهار رنگ کافی است.
این مسئله به صورت معادله ابتدا درسال۱۸۵۲ عنوان شد و سرانجام در سال ۱۹۷۶ با کمک رایانه توسط کی اپپل و و.هیکن حل شد این کار در طول ۱۲۰۰ ساعت فعالیت سریعترین رایانههای زمان خود انجام شد. . که با دسته بندی بیش از چند میلیون گراف به این نتیجه رسیدند[۱]
[ویرایش] منابع
- ↑ کتاب ریاضیات گسسته پیشدانشگاهی رشته ریاضی فیزیک