Graphen und NetzwerkeMaps

In Bezug auf das Vier-Farben-Problem wurden bis 1976 nur geringe Fortschritte erzielt, als Wolfgang Haken und Kenneth Appel einen Computer verwendeten, um es endgültig zu lösen. Sie reduzierten unendlich viele mögliche Karten auf 1936 Sonderfälle, die jeweils von einem Computer überprüft wurden, was insgesamt über 1000 Stunden in Anspruch nahm.