משפט ארבעת הצבעים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 2:
[[תמונה:Fourcolorsmap.png|שמאל|ממוזער|120px|מפה הדורשת לפחות ארבעה צבעים]]
בניסוח מודרני, המשפט מבטיח שלכל [[גרף מישורי]] קיימת [[צביעת קודקודים]] בארבעה צבעים. אנשי תורת הגרפים מכירים הוכחות קלות יחסית לכך שקיימת צביעה ב'''חמישה''' צבעים, אבל ההוכחה לכך שאפשר להסתפק בארבעה נמצאה רק ב-[[1976]], והיא כרוכה בחיפוש ממוחשב על-פני אלפי מקרים. זו הייתה ההשערה המפורסמת הראשונה שהוכחה בעזרת מחשב, ובתחילה לא הייתה הסכמה כללית על תקפות ה[[הוכחה]], בעיקר בנימוק שלא הוכחה נכונותן של [[תוכנית מחשב|תוכניות המחשב]] עצמן. מאז נעשו נסיונות רבים למצוא הוכחה סטנדרטית יותר, שיכולה לעמוד ל[[ביקורת עמיתים]] ללא עזרת מחשב. הוכחה כזו עדיין לא נמצאה.
האיור משמאל מציג מפה סכמטית של ארבע מדינות, שלכל אחת מהן יש גבול משותף עם כל האחרות. לכן לא ניתן לצבוע אותה בפחות מארבעה צבעים.
| |||