更新时间：2022-08-25 14:52
子图是图论的基本概念之一，指节点集和边集分别是某一图的节点集的子集和边集的子集的图。若这个节点子集或边子集是真子集，则称这个子图为真子图；若图G的每一个节点也是它的子图H的节点，则称H是G的支撑子图。设S是V(G)的子集，以S为节点集，以G的所有那些两端点都在S内的边组成边集，所得到的G的子图称为S在G中的导出子图，或更确切地，节点导出子图。设B是E(G)的子集，由G的所有与B内至少有一条边关联的节点组成节点集，以B为边集，所得到的G的子图称为B在G中的边导出子图；对于某种性质P，若一个图的具有P的子图不是任何具有P的子图的真子图，则称它为具有P的极大子图，在所有极大子图中，边数最多的那个称为最大子图。
设 为两个图（同为无向图或同为有向图），若 且 ，则称G'是G的子图，G是G‘的母图，记作 ，又若 且 ，则G'称是G的真子图，若 ，则称G'是G的生成子图。
设 为一图， 且 ,称以 为顶点集，以G中两个端点都在 中的边组成边集 的图为G的 导出子图，记作 ，又设 且 ，称以 为边集，以 中边关联的顶点为顶点集 的图为G的 导出的子图，记作。
在图1中，设G如图1(a)所示，取 ，则 的导出子图 如图1(b)所示，取 ，则 的导出子图 如图1(c)所示。
设 为n阶无向简单图，以V为顶点集，以所有使G成为完全图的 的添加边组成的集合为边集的图，称为G的补图，记作。
若图 ，则称G是自补图。
图2（b）和图2（c）互为补图，图2（a）是自补图。
若n阶图G是自补图，则或，k为非负整数，且图G有条边。
证明：因为n阶图G是自补图，所以G与同构。于是完全图的条边将各有一半为G与的边，即G与均有条边。而图G的边数是非负整数，故4一定能整除，而连续的两个整数n-1与n总是一个为奇数，一个为偶数，故或（k为非负整数）。证毕。
设为无向图。
(1)设，用表示从G中去掉边e，称为删除边e。又设，用表示从G中删除E'中的所有边，称为删除E'。
(2)设，用表示从G中去掉v及所关联的一切边，称为删除顶点v，又设，用表示从G中删除中的所有边，称为删除V'。
(3)设边，用表示从G中删除e后，将e的两个端点u，v用一个新的顶点w（或用u或用v充当w）代替，使w关联e以外u，v关联的所有边，称为边e的收缩。
(4)设（u，v可能相邻，也可能不相邻），用（或）表示在u，v之间加一条边，称为加新边。
在收缩边和加新边过程中可能产生环和平行边。
在下图中，设图4(a)图为G，则图4(b)图为，图4(c)图为，图4(d)图为，图4(e)图为，而图4图为。