图论的基础知识：平凡图、简单图、连通图、平面图、完全图、对偶图、同构图

一、平凡图

平凡图是图论中最简单的图，其定义如下：

• 平凡图（Trivial Graph）：仅包含一个顶点且没有任何边的图。

也就是说，一个平凡图满足：

• 顶点集合 ( V ) 的大小为 1（即 (|V| = 1)）。
• 边集合 ( E ) 为空（即 (|E| = 0)）。

这种图被称为“平凡”，因为它没有任何连接结构，既不包含环路也没有其它顶点之间的连接。平凡图常常作为图论中讨论各种图性质时的边界情况或特殊例子。

二、简单图

简单图：

• 不含自环（即没有顶点与自身相连的边）。
• 不含重边（即任意两顶点之间至多只有一条边）。

三、连通图

连通图： 图中的任意两个顶点之间都存在至少一条路径，即从任一顶点出发，都可以到达图中任一其他顶点。

四、平面图

平面图： 图可以在平面上画出，并且在绘制时不同边仅在顶点处相交，不会发生边与边之间的交叉。

五、完全图

完全图（Complete Graph）是图论中的一种特殊图，它具有以下特点：

1. 简单图：完全图是无自环、无重边的简单图。
2. 每对不同顶点间都有边相连：在一个完全图中，每一对不同的顶点之间都存在一条边，也就是说图中的任意两个顶点都直接相连。

完全图由于其每对顶点之间均有边相连的特点，常用来作为极端情况的分析基准，在图论中具有重要的理论意义和应用价值。

六、对偶图

对偶图是平面图理论中的一个重要概念，其构造和定义依赖于给定平面图的固定嵌入。具体来说，对于一个平面图 (G)（即图 (G) 已经被绘制在平面上，使得边之间只在顶点处相交），其对偶图 (G^*) 的构造过程如下：

1. 顶点的构造
   对于 (G) 中的每个面（包括外部面），在该面内部放置一个顶点。这样，每个面都对应 (G^*) 中的一个顶点。

2. 边的构造
   对于 (G) 中的每条边 (e)（如果该边分隔了两个不同的面），在 (G^) 中连接这两个面对应的顶点。也就是说，(G) 中的边转化为 (G^) 中连接相应面顶点的一条边。如果某条边位于同一个面的边界上（在某些定义中可能产生自环），具体处理方式视具体上下文而定。

3. 连通性和依赖性
   如果 (G) 是连通的，则其对偶图 (G^*) 也是连通的。不过，对偶图的结构不仅取决于 (G) 的拓扑结构，还依赖于 (G) 的具体平面嵌入。不同的嵌入可能得到不同的对偶图，但这些对偶图在图论意义上是同构的。

对偶图在理论研究和应用中具有重要意义，例如在证明欧拉公式、平面图的性质以及电路网络分析中，都能发挥关键作用。通过对偶图，许多平面图的性质可以转化为对偶图的对应性质，从而为问题求解提供另一种视角。

七、图的同构

图的同构是图论中的一个基本概念，用来描述两个图在结构上是否“相同”。换句话说，如果两个图通过某种方式“重标记”后，它们的顶点和边之间的连接关系完全一致，那么这两个图就是同构的。

1. 图同构的定义

2. 关键点

• 顶点双射：同构映射要求是一个双射，即每个图的顶点都能一一对应，没有遗漏或重复。
• 边保持性：映射必须保持边的存在性，也就是说，两个顶点在一个图中相邻当且仅当它们在另一个图中经过同构映射后依然相邻。

3. 同构的直观理解

• 结构一致性：虽然两个图的顶点标号可能不同，但如果它们的连接方式完全相同，就可以认为这两个图的结构是相同的。
• 重标记：同构实际上允许改变顶点的名称，但这种改变不会改变图中顶点间的相对关系和连接模式。

4. 同构判断

判断两个图是否同构通常较为复杂，尤其是对于大规模图而言。常用的方法包括：

• 图 invariants（不变量）：比较两个图的一些不变量，如顶点数、边数、度序列、环的数目、连通分支结构等。不变量相同是同构的必要条件，但不充分。
• 回溯搜索与剪枝：对于小规模图，可以采用回溯搜索算法尝试构造同构映射，同时利用不变量进行剪枝。
• 专用算法与软件：例如 VF2 算法、NAUTY 软件等被广泛用于图同构问题的求解。

5. 应用领域

图的同构问题在许多领域都有应用：

• 化学结构分析：判断两个分子结构是否相同可转化为图同构问题。
• 模式识别与计算机视觉：用于识别和匹配物体的结构特征。
• 网络分析：在社交网络、通信网络中检测子图模式和结构相似性。

6.总结

图的同构关注的是两个图在拓扑结构上的“等价性”。如果存在一个能将一个图的顶点和边一一对应到另一个图，并且对应关系下边的连接保持不变，那么这两个图就被认为是同构的。这个概念在图论及其应用中具有非常重要的理论和实践意义。