图论(二)——子图和图运算

一、子图

• 子图——如果$V(H)\in V(G),E(H)\in E(G)$，且H中边重数不超过G中对应边重数，则称H是G的子图
• 点导出子图——假设$V^{\prime }\in V$，则$V^{\prime }$及两端点都在$V^{\prime }$中的边合起来为点导出子图
• 边到处子图——假设$E^{\prime }\in E$，则$E^{\prime }$及其边顶点合起来为边导出子图
• 简单图的生成子图（包含原图所有顶点，边不管，若边数为m，则不同的生成子图有$2^m$个，不同的生成子图≠不同构）

二、图运算

• 删点运算：若$V^{\prime }\in V(G)$，删除$V^{\prime }$和与其连接的边，记为$G-V^{\prime }$
• 删边运算：若$E^{\prime }\in V(E)$，删除$E^{\prime }$，记为$G-E^{\prime }$
• 并运算：两张图所有顶点、边合在一起，重复的记一个。若两张图完全不同，$G_1\cup G_2=G_1+G_2$
• 交运算：两张图的共同点和边
• 差运算：$G_1$中减去$G_2$中的边，记为$G_1-G_2$
• 对称差运算（环和运算）：$G_1\oplus G_2=G_1△G_2=(G_1\cup G_2)-(G_1\cap G_2)=(G_1-G_2)\cup (G_2-G_1)$
• 联运算：将不相交的$G_1$和$G_2$图并起来，把$G_1$中每个顶点和$G_2$中每个顶点连起来，记为$G_1\vee G_2$
• 积图：$G_1=(V_1,E_1),G_2=(V_2,E_2)$，对点集$V=V_1\ast V_2中任意两个点u=(u_1,u_2)和v=(v_1,v_2)$，当其中一个点相同，另一个点相邻时连接起来的图$G=G_1\ast G_2$
• 合成图：$G_1=(V_1,E_1),G_2=(V_2,E_2)$，对点集$V=V_1\ast V_2中任意两个点u=(u_1,u_2)和v=(v_1,v_2)$，当$u_1和v_1$相邻或者$u_1=v_1,u_2和v_2相邻$时将$u,v$连接起来的图$G=G_1[G_2]$
• 图的联合：把一个图找个顶点，另一个图找个顶点，合在一起即可，记为$G=G_1\cdot G_2$

运算	点的数目	边数目
$G_1+G_2$	$n_1+n_2$	$m_1+m_2$
$G_1\vee G_2$	$n_1+n_2$	$m_1+m_2+n_1{n}_2$
$G_1\ast G_2$	$n_1{n}_2$	$n_1{m}_2+n_2{m}_1$
$G_1[G_2]$	$n_1{n}_2$	$n_1{m}_2+n_2^2{m}_1$

三、路与图的连通性

• 途径：任意两点间任意路径
• 迹：边不重复
• 路：边不重复且点不重复
• 回路：起点与终点重合的迹
• 圈（奇圈和偶圈）：起点与终点重合的路。
• 最小圈girth
• 两点间距离：两顶点间权值和最小的那条路对应的权值和
• 连通图：图中任意两点间都连通，即都有一条以上的路，w(G)表示图G的连通分支，表示有多少个真子图
• 若图G不连通，则其补图连通
• 偶图的判定定理：当且仅当这个图不包括奇圈

四、一些证明题

1、证明：在n阶连通图中

• 至少有n-1条边
• 如果边数大于n-1，则至少有一条闭迹
• 如果恰有n-1条边，则至少有一个奇度点（假设每个顶点度数至少为2，利用握手定理反证）
  2、证明：若$\delta \ge 2$，则G中必然含有圈
  3、若图G不连通，则其补图连通
  4、一个图是偶图当且当它不包含奇圈