§6.1.1图的概念 图 图是形为 图的形式化 G=(V,R) 定义 的数据结构,其中, V={xx属于数据对象} REVRS VR={x,y>|p(xy)∧x∈v∧y∈Ⅴ} 这里,p(Xy)是V上的一个谓词,p(xy)为真当且仅当x与y 存在问题世界中的关系。3 §6.1.1 图的概念 1．图 图是形为 G=(V, R) 的数据结构，其中， V={x|x属于数据对象} R={VR} VR={<x,y> | p(x,y)∧x∈V∧y∈V} 这里，p(x,y)是V上的一个谓词，p(x,y)为真当且仅当x与y 存在问题世界中的关系。 图的形式化 定义