【数据结构】图

图的基本概念

图的定义

• 线性表可以是空表，树可以是空树，但图不可以是空图。
• 并非V和E的任何子集都能构成G的子图，因为这样的子集可能不是图，即E的子集中的某些边关联的顶点可能不在这个V的子集中。
• 含有n个顶点的无向完全图有n(n - 1) / 2条边，含有n个顶点的有向完全图有n (n - 1)条有向边。
• 极大连通子图是无向图的连通分量，极大即要求该连通子图包含其所有的边；极小连通子图是既要保持图连通又要使得边数最少的子图。
• 无向图的全部顶点的度的和等于边数的2倍。
• 有向图的全部顶点的入度之和与出度之和相等。

保证图连通的最少边数

对于n个顶点构成的无向图，保证它是一个连通图的最少边数是n - 1个顶点构成的完全图的边数+1，即(n - 1)(n - 2) / 2 + 1。

强连通图

• 强连通图边最少的情况是构成一个单向的有向环。即n个顶点构成的强连通图最少边数是n - 1。

图的存储及其基本操作

邻接表存储

• 若G为无向图，则所需的存储空间为O(|V| + 2|E|)；若G为有向图，则所需的存储空间为O(|V| + |E|)。
• 图的邻接表表示并不唯一。

十字链表

• 顶点结点之间是顺序存储的。
• 在十字链表中，既容易找到vi为尾的弧，又容易找到vi为头的弧，因而容易求得顶点的出度和入度。