introduction , graph as an adt