מפת ישובים לפי צבעים. משפט ארבעת הצבעים

ככל הידוע לנו היום, הטענה עלתה בדעתו של פרנסיס גאטרי Francis Guthrie בשנת , בעת שעסק בצביעת מפה של מחוזות גם בדיקה זו דרשה הסתייעות במחשב
רוברטסון וחבריו אף מצאו אלגוריתם ריבועי שזמן הריצה שלו פרופורציוני לריבוע מספר הקודקודים לצביעת גרף מישורי בארבעה צבעים הוכחה כזו עדיין לא נמצאה

משפט ארבעת הצבעים

ההוכחה נבדקה, והתקבלה על-דעת בני זמנו.

22
משפט ארבעת הצבעים
לכן לא ניתן לצבוע אותה בפחות מארבעה צבעים
משפט ארבעת הצבעים
אנשי תורת הגרפים מכירים הוכחות קלות יחסית לכך שקיימת צביעה ב חמישה צבעים, אבל ההוכחה לכך שאפשר להסתפק בארבעה נמצאה רק ב-, והיא כרוכה בחיפוש ממוחשב על-פני אלפי מקרים
משפט ארבעת הצבעים
בשנת ניתנה הוכחה בעלת אופי דומה על ידי ניל רוברטסון, דניאל פ
קל לראות שמשימה זו שקולה לצביעה של מפה כדורית, שגם עבורה מספיקים ארבעה צבעים ואולם, 11 שנה מאוחר יותר הראה Heawood שההוכחה אינה נכונה
צביעה כזו של הגרף נקראת מפה עם הגרף הדואלי הקשר בין מפות מישוריות לבין מבוסס על בניית ה, שהיא בנייה סטנדרטית ב

משפט ארבעת הצבעים

דה-מורגן ניסה בלא הצלחה לעניין בנושא מתמטיקאים אחרים, עד שב- הובאה הבעיה לתשומת לבו של , שהציג אותה בפני.

10
משפט ארבעת הצבעים
Thomas, Efficiently four-coloring planar graphs, Proceedings of the ACM Symposium on the Theory of Computing, 28 1996 , 571-575
משפט ארבעת הצבעים
מאז נעשו ניסיונות רבים למצוא הוכחה סטנדרטית יותר, שיכולה לעמוד ל ללא עזרת מחשב
משפט ארבעת הצבעים
לאחר שניסה למצוא הוכחה במשך זמן מה, הוא סיפר על הבעיה לאחיו פרדריק, שלמד אצל המתמטיקאי