reachable(Vertices,Digraph)->Reachable 类型 返回未排序的有向图顶点列表,使得对于列表中的每个顶点path,Digraph从某个顶点Vertices到顶点有一个in
del_vertices(G,Vertices)->true 类型 Vertices从有向图中删除列表中的顶点G。 delete(G)->true 类型 删除图G。