added dijkstras and some properties of DAGs.