Gato

Grafer är matematiska objekt som består av hörn och kanter som förbinder par av hörn: tänk på städer som hörn och motorvägar som kanterna som förbinder två städerna.
Algoritmer kan hitta en kortaste vägen - den snabbaste vägen - eller ett minimalt uppspännande träd eller lösa ett andra intressanta problem på grafer: maximal flöde, vägt och oviktat matchning och min-kostnadsflödet.
Visualisering innebär länka orsak - uttalanden av en algoritm - omedelbart en effekt - ändringar i grafen algoritmen har som ingång - av termer av att blinka, ändra färger och andra visuella effekter.
Gato är i första hand en undervisnings- och forskningsverktyg, användbara i algoritm design och ingenjörskonst.