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 (Кеннет Аппель і Вольфганг Хакен — довели використовуючи суттєву допомогу комп'ютера).