在有向图G=中,G`是G的子图,若G`是强连通,没有包含G`的更大子图G``是强连通的,则称G`是G的强分图. 定义在有向图G=中,G`是G的子图,若G`是强连通,没有包含G`的更大子图G``是强连通的,则称G`是G的强分图,在简单有向图中,具有强连通性质的最大子图,称为强分图.定义在有向图G=中,G`是G的子图,若G`是强连通,没有包含G`的更大子图G``是强连通的,则称G`是G的强分图,在简单有向图中,具有强连通性质的最大子图,称为强分图