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

בשנת [[1976]] נעזרו [[וולפגאנג האקן]] ו[[קנת אפל]] מ[[אוניברסיטת אילינוי באורבנה-שמפיין]] בשרשראות של קמפ, כדי להראות שכל מפה אפשרית שקולה לאחת מבין 1,936 מפות שונות. לאחר מכן הם הריצו תוכנית [[מחשב]] במשך 1,200 שעות כדי להראות שכל אחת ממפות אלה ניתנת לצביעה בארבעה צבעים. בשנת [[1996]] ניתנה הוכחה בעלת אופי דומה על ידי ניל רוברטסון, דניאל סנדרס, [[פול סימור]] ורובין תומס שבה היה די בבדיקה של 633 מפות. גם בדיקה זו דרשה הסתייעות במחשב.{{הערה|[http://people.math.gatech.edu/~thomas/FC/fourcolor.html The Four Color Theorem],{{כ}} School of Mathematics,{{כ}} באתר Georgia Tech,{{כ}} 8 בנובמבר 2007}}