; design the function is-tight? that takes a graph and a list of vertices from that graph ; and determines if all the supplied vertices are the source for edges whose destin
