寻找图中的大扩张子：从拓扑次图到诱导子图

摘要

在本文中，我们考虑图的一个结构和几何性质，即存在大扩张。Krivelevich首先考虑了寻找此类结构的问题[SIAM J.Disc.Math.32 1（2018）]。在这里，我们证明了寻找一个大的诱导子图（即扩展器）的问题可以简化为寻找一个较大的拓扑次图（即扩张器）的简单问题。我们的证明是建设性的，这在算法设置中很有帮助。

我们还证明了扩张图的每个大子图都包含一个大子图，它本身就是一个扩张图。