空图是否为所有图的子图？

嘿，这个问题问得很有意思！咱们先从你给出的教材定义说起：

A graph G is a subgraph of graph H if the nodes of G are a subset of the nodes of H, and the edges of G are a subset of the edges of H ( Theory of Computation, 3rd edition, page 11 )

按照这个标准定义来推导，答案是肯定的——空图（也就是顶点集和边集都为空集∅的图）确实是所有图的子图。
核心逻辑来自集合论的基本规则：空集∅是任何集合的子集。空图的顶点集是∅，不管目标图H的顶点集是什么（哪怕H本身是空图），∅都是它的子集；同理，空图的边集也是∅，同样满足是H边集的子集。

完全符合子图定义里的两个要求，所以结论很明确：空图是所有图的子图。

备注：内容来源于stack exchange，提问作者Pratik Hadawale