《离散数学》图论中的各种名词的解释表格整理版.docVIP

第一章命题逻辑 原式 P→Q 逆换式 Q→P 反换式 ~P→~Q 逆反式 ~Q→~P 第七章 图论 孤立结点 不与任何结点相邻接的结点 零图 仅由孤立结点构成的图 平凡图 仅由一个孤立结点构成的图 邻接边 关联于同一结点的两条边 自回路/环 关联于同一结点的一条边 度数 与节点关联的边数,成为结点的度数 多重图 含有平行边的任何一个图 简单图 由无向图衍生出,一个结点对有且仅有一条边。 完全图Kp 简单图G=V,E,每一对结点间都有边相连 Kn 有n个结点的无向完全图 补图 给定一个图G,由G中所有结点和所有能使G成为完全图的添加边组成的图,称为G的相对于完全图的补图。 生成子图 若G的子图包含G的所有结点,该子图成为G的生成子图。 相对补图 设G’=V’,E’是G=V,E的子图,若给定另外一个图G’’=V’’,E’’使得E’’=E-E’,且V’’中仅包含E’’的边所关联的结点。则称G’’是子图G’的相对于图G的补图。 同构 设图G=V,E及图G’=V’,E’,如果存在一一对应的映射g: vi→vi’且e=(vi,vj)(或vi,vj)是G的一条边,当且仅当e’=(g(vi),g(vj))(或g(vi),g(vj))是G’的一条边,则称G与G’同构,记作G ~ G’ 路 v0e1v1e2…envn称作联结vo到vn的路 回路 路中,v0=vn时，就称作回路 迹/简单路径 一条路中所有的边e1,e2,…,en均不同 通路/基本路径 一条路中所有的结点v0,v1,…,vn均不相同 圈 闭的通路;除v0=vn外,其余节点均不相同 连通 两节点之间存在一条路 连通图 图G中只有一个分支 点割集 设无向图G=V,E为连通图,若有点集V1?V,使图G删除了V1的所有结点后,所得的子集是不连通图,而删除了V1的任意真子集后,所得到的图仍是连通图,则称V1是G的一个点割集。 割点 若某一个结点构成一个点割集,则称该结点为割点 边割集 设无向图G=V,E为连通图,若有边集E1?E,使图G删除了E1的所有边后,所得的子集是不连通图,而删除了E1的任意真子集后,所得到的图是不连通图,则称E1是G的一个边割集。 边/桥 某一个构成一个边割集的边 k(G)/(点)连通度 (平凡图) min{|V1| | V1是G的一个点割集} λ(G)连通度 (非平凡图) min{|E1| | E1是G的边割集} 单侧连通 有向图:任何一对结点间,至少有一个结点到另一个结点是可达的 强连通 有向图:任何一对结点,两者之间是相互可达的 弱连通 有向图:看成无向图后图是连通的 强分图 有向图:具有强连通性质的最大子图 单侧分图 有向图:具有单侧连通性质的最大子图 弱分图 具有弱连通性质的最大分图 连接矩阵 书P288 adj 邻接 nadj 不邻接 可达性矩阵 书P291 完全关联矩阵 无向图:P294 欧拉图 给定孤立结点图G,若存在一条路,经过图中每边一次且仅一次。 欧拉回路 给定孤立结点图G, 若存在一条回路,经过图中每边一次且仅一次。 单向欧拉路(回路) 有向图G通过图中每边一次且仅一次的一条单向路(回路) 汉密尔顿路 给定图G，若存在一条路经过图中的每个结点恰好一次 汉密尔顿回路 若存在一条回路，经过图中的每个结点恰好一次 汉密尔顿图 具有汉密尔顿回路的图 W(G-S) G-S中连通分支数 平面图 设G=V,E是一个无向图,如果能够把G的所有结点和边画在平面上,且使得任何两条边除了端点外没有其他的交点。 面 设G是一连通平面图,由图中的边所包围的区域,在区域内不包含图的结点,也不包含图的边,这样的区域称为G的一个面。 边界 包围一个面所构成的回路称为这个面的边界 无限面 不受约束的面 面的次数deg(r) 面的边界的回路长度 Vi⊕V j = Vi,j 有向图: Vi,j = Vi + V j 无向图: Vi,j = (Vi + V j) % 2 闭包 C(G) 给定图G=V,E有n个结点,若将图G中度数之和至少是n的非邻接节点连接起来得图G’,对图G’重复上述步骤,直到不再有这样的结点对存在为止，所得到的图，称为是原图G的闭包。 在2读节点内同构 给定两个图G1和G2,如果它们是同构的,或者通过反复插入或除去度数为2的结点后,使G1与G2同构,则称该两图是在2读结点内同构的。 K3,3 2步图。上下顶点分别为3. 对偶图 书P318 树 一个连通且无回路的无向图 森林的每个连通分图 无回路且e=v-1 连通且e=v-1 无回路,但增加一条新边,得到一个且仅有一个回路 连通,但删去任一边后便不连通 每一对结点之间有一条且仅有一条路 树叶 度数