Stav dette: Computers and graph theory :