数据结构系列笔记——图

图

一些概念

• 如果在一个无向图中，从每一个顶点到每一个其他顶点都存在一条路径，则称该无向图是连通的。

  • 具有这样性质的有向图称为是强连通的。
  • 如果一个有向图不是强连通的，但是它的基础图，即其弧上去掉方向所形成的图是连通的，那么该有向图称为是弱连通的
  • 完全图是其每一对顶点间都存在一条边的图。

    即，对有向图来说：完全图=强连通图+弱连通图

• 表示图的一种简单的方法是使用一个二维数组，称为邻接矩阵表示法。

  • 对于每条边(u,v)，置A[u][v]等于true；否则，数组的元素就是false。如果为边上有权值，那么可以置A[u][v]等于该权值，而用一个很大的值表示该边不存在
  • 这样表示的优点是非常简单，但是，它的空间需求为：$\Theta (|V{|}^2)$，如果图的边不是很多，那么这种表示的代价就太大了。若图是稠密的，则邻接矩阵是合适的表示方法

• 如果图不是稠密的，而是稀疏的，则更好的解决方法是使用邻接表表示。

  • 对于每一个顶点，我们使用一个表存放所有邻接的顶点
  • 此时的空间需求是O(|E|+|V|)，它相对于图的大小而言是线性的。如果边有权值，也可以将这个附加的信息存储在邻接表中

邻接表是表示图的标准方法。无向图可以类似地表示：每条边(u,v)出现在两个表中，因此空间的使用基本是双倍的。在图论算法中通常需要找出与某个给定顶点v邻接的所有顶点。而这可以通过简单地扫描相应的邻接表来完成，所用时间与这些找到的顶点的个数成正比。

Java中

在Java中有几种方法保留邻接表。首先注意到，这些邻接表本身可以被保留在任何种类的List，即ArrayList或LinkedLIst中。然而，对于非常稀疏的图，当使用ArrayList时，程序员可能需要从一个比默认容量更小的容量开始ArrayList，否则可能造成明显的内存浪费
因为关键在于能够迅速得到任意顶点邻接的那些顶点的表，所以两个基本选择是，

• 或者使用一个映射，在这个映射下，关键字就是那些顶点而它们的值就是那些邻接表，
• 或者把每一个邻接表作为Vetex类的数据成员保存起来。

这第一个选择论证要简单，而第二个选择可能更快，因为它避免了在映射下的重复查找。
在第二种情形，如果顶点是一个String（例如，一个机场名或街道路口名），那么可以使用映射，在映射下，关键词是顶点名而关键字的值则是一个Vertex，并且每一个Vertex对象拥有一个邻接顶点表，或许还有原始的String串名