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