图是由一个顶点集 V 和一个弧集 R构成的数据结构 Graph V R 其中 VR＝{| v w∈V 且 P v w } 表示从 v 到 w 的一条弧 并称 v 为弧头 w 为弧尾 谓词 P v w 定义了弧 的意义或信息