完全图:无向图中任意两个顶点之间都存在结点就是无向完全图。在有向图中任意两个顶点之间都存在方向相反的两条弧就是有向完全图。
子图:G的子图中仅仅有包含G的部分点和部分边。子图主要有两个要求,点和边都属于G,但是不是所有的点和所有的边,第二个就是必须能构成图。
生成子图:G的生成子图就是去掉部分边,还能叫图的就是生成子图。也就是说生成子图包含所有的顶点。
在无向图中:
连通:任何两个顶点之间存在路径,就叫做连通。
连通图:如果无向图G的任意两个顶点之间都存在路径,就叫做连通图。
无向图的连通分量:无向图的连通分量就是无向图的极大连通子图。
极大连通子图:连通子图要满足两个条件,子图和连通。极大在这里的意思是,这个子图包含这几个点之间的所有边。也就是说如果一个连通图,那么极大连通子图就是他本身。只有非连通图才有多个极大连通子图,也就是多个连通分量。这里的极大是全部占有。一个非连通图G,有多个极大连通子图,这些极大连通子图之间是完全不重叠的。
极小连通子图:连通、子图、边数尽可能少。
在有向图中:
强连通:若有向图中的任意两个顶点存在往返的路径,就叫强连通
强连通图:图中任何一对顶点都是强连通的,那这个有向图就是强连通图
极大强连通子图:同样是占有,不过占有的强连通的点,如果是只有单向的路径,就视为不存在路径。
生成树:包含图中全部顶点的一个极小连通子图,多一条边就变成回路,少一条边就变成非连通。此时的图就是树形结构。
生成森林:对于有多个连通分量的图,将每个连通分量变成树,就构成了生成森林。
简单路径:顶点不重复出现的路径
简单回路:除了第一个顶点和最后一个顶点,不重复出现的回路。