Vertices in dag are labelled starting by 1