1.什么是地图？
图可以正式定义为二元组：G=(V，E)，其中：
(1)V是顶点(节点)的有限集合。
(2)E是连接v中两个不同顶点(顶点对)的有限边集，如果E中的顶点对是有序的，即E中的每条边都是有向的，G就是有向图。如果顶点对是无序对，g是无向图。通常，有向边用表示，无向边用()表示。
下图显示了一个无向图。
下图显示了一个有向图。
这两者很容易用箭头区分。
二.基本概念
1.对于无向图，如果顶点V和顶点W之间有边(V，W)，则称V和W相邻，顶点V和W相邻。边(v，W)与顶点v和W相关联.(对于有向图，它被称为邻接和来自邻接。)
2.对于无向图，顶点V到顶点W的路径指的是一个顶点序列(v=v0v1…vm=w)，其中(VI，Vi1) e，路径的长度指的是路径上的边数。(对于有向图，也可以定义路径，路径是有向的。)
3.如果路径中的顶点没有重复，则称为简单路径。
4.第一个顶点和最后一个顶点相同的路径称为环或环。
5.在无向图中，如果存在从顶点V到顶点W的路径，那么顶点V和顶点W是连通的。
6.如果无向图G中的任意两个顶点是连通的，那么图G称为连通图。
8.如果无向图不是连通图，那么每个极大连通子图称为无向图的连通分支。
9.如果有向图G中任意两个顶点之间都有有向路径(对于任意两个顶点V和W，都有从V到W的有向路径和从W到V的有向路径)，那么有向图G被称为强连通。
10.每个极大强连通子图称为它的强连通分支。如果有向图中不考虑边的方向而得到的无向图是连通图，则该有向图称为弱连通图。
11.对于无向图，与顶点相关联的边数称为顶点的度数。
十二个。对于有向图，从顶点开始的边数称为顶点的外度数，到达顶点的边数称为顶点的内度数。有向图或有加权边的无向图分别称为有向网或无向网。