משפט ארבעת הצבעים – הבדלי גרסאות

במסגרת ניסיונו להוכיח את המשפט, הפיזיקאי הבריטי פיטר טייט {{הערה|[http://users.wpi.edu/~bservat/blanusa08.pdf Blanuˇsa Double]}} הוכיח שצביעת מפות בארבעה צבעים שקולה לטענה הבאה: לכל [[גרף רגולרי|גרף 3-רגולרי]] [[גרף מישורי|מישורי]] [[גרף קשיר|2-קשיר-קשתות]] (כלומר, כזה שנשאר קשיר גם לאחר מחיקת אחת הקשתות) יש [[צביעת קשתות]] (כלומר, התאמה של צבע לכל קשת באופן ששתי קשתות נפגשות מקבלות צבעים שונים) בשלושה צבעים.{{הערה|1=Louis H. Kauffman, [http://www.math.uic.edu/~kauffman/MapReform.pdf Reformulating the map color theorem], Discrete Mathematics, Volume 302, Issues 1-3, 28 October 2005, Pages 145-172, }}