隐式图 ImplicitGraph是一种图形，其中的顶点和边由两个函数隐式定义：一个用于测试顶点隶属关系，另一个用于返回顶点（外）邻居的列表。 ImplicitGraph的顶点集可以是有限的，也可以是（隐含的）无限的。 但是，（输出）度必须是有限的。 创建图 ImplicitGraph定义如下： ImplicitGraph {T} (has_vertex, out_neighbors) 哪里 T是顶点的数据类型。 has_vertex(v::T)::Bool是一个函数，它将T类型的对象