数据结构 - 图的定义

图的定义大体上有以下两种方式。

二元组的定义

图G是一个二元组（V，E），其中V称为顶点集，E称为边集。它们亦可写成V（G）和E（G）。E的元素是一个二元组数对，用（x，y）表示，其中x，y∈V。

三元组的定义

一个图，是指一个三元组（V，E，I），其中V称为顶集（Vertices set），E称为边集（Edges set），E与V不相交；I称为关联函数，I将E中的每一个元素映射到VxV。如果I（e）=（u，v）（e∈E；u，v∈V），那么称边e连接顶点u，v，而u，v则称作e的端点，u，v此时关于e相邻。同时，若两条边i，j有一个公共顶点u，则称i，j关于u相邻。