软考
APP下载

生成子图可以是自身吗

图论中,子图是指从一个大图中删去部分点及其与其它点的连线所得到的图。生成子图则是指从原图的一部分点集中找出其中满足某些条件的所有连线所组成的子图。那么问题来了,生成子图可以是自身吗?

从定义来看,生成子图所包含的点集一定是原图的一个子集。因此,在原图中存在一些点,它们之间相互连通,而且这些点也是生成子图的构成部分,那么这个生成子图就可以是自身。简而言之,只有当原图中一个连通块是一个生成子图时,这个生成子图才可以是自身。

有些情况下,原图中的所有连通块都是生成子图,而且每个连通块都可以成为某个生成子图的本身。此时,可以将原图看作它的所有连通块所组成的集合,并将空集和单点集也包含进来。这些连通块和点构成的集合可以看作是这个图的一种划分方式,每种划分方式都对应着不同的生成子图,其中有一些生成子图可以是自身。

举个例子,假设原图为一张无向图,其中有三个结点A、B、C,它们之间的连线如下图所示:

![example1](https://img-blog.csdn.net/20170628084902406?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvcXVpbnRlcmxlbnlh/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/q/70)

该图只有一个连通块,因此可以将其看作是一个生成子图,同时由于它的结点集和边集与原图完全相同,因此它也是原图的一个子图,所以它就可以是自身。

再看一个例子,假设原图为一张有向图,其中有三个结点A、B、C,它们之间的连线如下图所示:

![example2](https://img-blog.csdn.net/20170628085629655?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvcXVpbnRlcmxlbnlh/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/q/70)

该图有两个连通块,分别是{A}和{B,C},因此可以将它们看作是两个生成子图。其中,{A}的点集和边集与原图完全相同,因此它可以是自身;而{B,C}的点集和边集与原图不同,因此它不可以是自身。

通过上述分析可以看出,在图论中,生成子图可以是自身,但这种情况只有在原图中存在某个连通块满足条件时才可能发生。而在实际应用中,这种情况并不常见,因此一般情况下,我们不需要考虑生成子图可以是自身的情况。

备考资料 免费领取:软件设计师报考指南+考情分析+思维导图等 立即下载
真题演练 精准解析历年真题,助你高效备考! 立即做题
相关阅读
软件设计师题库