In graph theory, much research was motivated by attempts to prove the four color theorem, first stated in 1852, but not proved until 1976 (by Kenneth Appel and Wolfgang Haken, using substantial computer assistance).
Στη θεωρία γράφων, σημαντική έρευνα ασχολήθηκε με προσπάθειες να αποδειχτεί το θεώρημα των τεσσάρων χρωμάτων, το οποίο αρχικά διατυπώθηκε το 1852, αλλά δεν αποδείχτηκε μέχρι το 1976 (από τον Kenneth Appel και τον Wolfgang Haken, χρησιμοποιώντας αρκετή υπολογιστική βοήθεια).