1、图是由顶点的有穷非空集合和顶点之间边的集合组成。G（v，E），其中G表示一个图，V是图G中顶点的集合，E是图G中边的集合。
2、在图中我们将数据元素称之为顶点。在图中不允许没有顶点，若V是顶点的集合，则V是有穷非空。在图中，任意两个顶点之间都可能有关系，逻辑关系用边来表示（边集可以为空）。
3、图按照有无方向分为无向图和有向图。
无向图：由顶点和边组成（A，D）或（D，A）。
有向图：由顶点和弧构成。弧有弧头和弧尾<B，C>（由b到c）。
4、简单图：无重复的边或顶点到自身的边。
无向完全图：任意两个顶点之间都存在边，n*（n-1）/2条边。
有向完全图：任意两个顶点存在方向相反的两条弧，n*（n-1）。
5、很少的边或弧的图简称为稀疏图，反之为稠密图。
6、与图的边或弧相关的数叫做权（weight）。带权的图通常称为网（network）。
7、无向图：
（1）边的两个顶点互为邻接点（adjacent）。
（2）两顶点相连接，边依附（incident）于两顶点，或者说边与顶点相关联。
（3）顶点v的度（degree）是和v相关联的边的数目，记为TD（v）。
8、有向图：
（1）弧<v，t>，称v邻接到t，t邻接自v，弧和顶点相关联。
（2）入度：以v为头的弧的数目叫做v的入度（indegree），ID（v）。
出度：以v为尾的弧的数目叫做v的出度（outdegree），OD（v）。
（3）TD(v)= ID（v）+OD（v）。
9、
（1）路径的长度是路径上的边或弧的数目。
（2）第一个顶点到最后一个顶点相同的路径称为回路或环（cycle）。
（3）序列中顶点不重复出现的路径简称为简单路径。
（4）除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路或简单环。
9、无向图中，v到t有路径，则为连通的，任意两个顶点都是连通的，那么称为连通图。
10、无向图中，极大连通子图称为连通分量。强调：是子图，要连通，含有极大顶点数，有极大顶点数的连通子图包含所有边。
11、在有向图中，每一对顶点都存在路径，则称为是强连通图，它的极大强连通子图称做有向图的强连通分量。
12、
无向图中连通且n个顶点n-1条边叫生成树。
有向图中一顶点的入度为0，其余顶点的入度为1的叫有向树。
一个有向图由若干棵有向树构成生成森林。
13、邻接矩阵：用两个数组来表示图。一个一维数组存储图中顶点信息，一个二维数组（称为邻接矩阵）存储图中的边或弧的信息。
14、
无向图：关于对角线对称，边若存在就为1，0代表不存在到自身的边。
有向图：不对称，横向为出度，纵向为入度，存在即用权值代表，不存在就用无限符号代表，0代表不存在到自身的边。
15、邻接表：数组与链表相结合的存储方法。
16、邻接表表示出度，逆邻接表表示入度。可再加上权值。