משפט ארבעת הצבעים - (גם בעיית ארבעת הצבעים), טוען שאפשר לצבוע כל מפה מדינית, כך שכל שתי מדינות הגובלות זו בזו יצבעו בצבע שונה ומספר הצבעים הדרוש לשם כך הוא ארבעה.
טענת המשפט קשה מאוד להוכחה וכל ההוכחות שפורסמו היו שגויות - המשפט נודע כ"השערת ארבעת הצבעים"
בתורת הגרפים יש הוכחות לכך שאפשר להסתפק בחמישה צבעים, אבל ההוכחה אנליטית לכך שאפשר להסתפק בארבעה טרם נמצאה.
ב-1976, ניתנה הוכחה אך היא נעזרה במחשב שסרק אלפי מקרים. השערת ארבע הצבעים הייתה להשערה הראשונה שהוכחה בעזרת מחשב ועוררה מחלוקת בקרב המתמטיקאים, נטען כי לא הוכחה נכונותן של תוכניות המחשב עצמן. טרם נמצאה לבעיה זו הוכחה לבד מזו הממוחשבת, עד עצם היום הזה.