[论文解读] Multiple vertex coverings by specified induced subgraphs

Zoltán Füredi, Dhruv Mubayi+1 more|ArXiv.org|Dec 22, 1999

Limits and Structures in Graph Theory参考文献 5被引用 3

一句话总结

本文研究了图 G 的最小阶数，使得其存在多个诱导子图 H₁,…,Hₖ 覆盖所有顶点，且每个 Hᵢ 均为 G 中的诱导子图。本文建立了通用上界为 2∑(|Hᵢ|−1)，并确定了特定情况下的精确值：当其中一个 Hᵢ 为独立集，另一个为星图时，该上界是紧致且精确刻画的。

ABSTRACT

Given graphs H_1,...,H_k, we study the minimum order of a graph G such that for each i, the induced copies of H_i in G cover V(G). We prove a general upper bound of twice the sum of the numbers m_i, where m_i is one less than the order of H_i. When k=2 and one graph is an independent set of size n, we determine the optimum within a constant. When k=2 and the graphs are a star and an independent set, we determine the answer exactly.

研究动机与目标

• 确定图 G 的最小顶点数，使得指定图 H₁,…,Hₖ 的诱导副本共同覆盖 G 的所有顶点。
• 分析此类覆盖在结构和极值条件下达到最优时的条件。
• 为特定图对（尤其是独立集与星图）建立紧致界。
• 通过使用诱导子图而非任意子图，推广顶点覆盖问题。
• 探索图的构成与诱导子图覆盖效率之间的相互作用。

提出的方法

• 将问题形式化为使用指定图 Hᵢ 的诱导副本的最小顶点覆盖问题。
• 应用极值组合技术，以 Hᵢ 的大小为基准，界定图 G 的最小阶数。
• 通过双重计数和数学归纳法，推导出通用上界 2∑(|Hᵢ|−1)。
• 通过结构分解分析特殊情况，特别是当其中一个 Hᵢ 为独立集时。
• 通过构造性图构造，在星图与独立集的情况下实现紧致界。
• 利用图论和极值集合系统中的已知结果，验证界和构造的正确性。

实验结果

研究问题

• RQ1 图 G 的最小顶点数是多少，使得 k 个指定图 H₁,…,Hₖ 的诱导副本覆盖 G 的所有顶点？
• RQ2 当 k=2 且其中一个 Hᵢ 为大小为 n 的独立集时，图 G 的最小阶数如何随 Hᵢ 的大小变化？
• RQ3 当两个图分别为星图与独立集时，能否确定精确界？
• RQ4 2∑(|Hᵢ|−1) 的通用上界在不同图族中有多紧？
• RQ5 Hᵢ 的结构属性（如连通性、独立性）如何影响最小覆盖图的大小？

主要发现

• 为能够通过指定子图 Hᵢ 的诱导副本覆盖 V(G) 的图 G 的最小阶数，建立了通用上界 2∑(|Hᵢ|−1)。
• 当 k=2 且其中一个 Hᵢ 为大小为 n 的独立集时，图 G 的最小阶数在常数因子范围内为 2n。
• 当其中一个 Hᵢ 为星图，另一个为独立集时，图 G 的精确最小阶数被确定，并证明其与上界一致。
• 在星图-独立集情况下，该界是紧致的，表明构造为最优。
• 结果表明，在特定结构约束下，可通过最小顶点数高效构造诱导子图覆盖。
• 分析表明，Hᵢ 的选择显著影响最小 G 的大小，其中独立集与星图结构可产生精确解。