[论文解读] EDGE DOMINATION NUMBER AND THE NUMBER OF MINIMUM EDGE DOMINATING SETS IN PSEUDOFRACTAL SCALE-FREE WEB AND SIERPIŃSKI GASKET

Xiaotian Zhou, Zhongzhi Zhang|arXiv (Cornell University)|Jun 10, 2021

Advanced Graph Theory Research参考文献 46被引用 2

一句话总结

本论文通过其递归自相似结构，基于消去技术，精确推导出两种自相似复杂网络——伪分形无标度网与谢尔宾斯基垫片——的边支配数及最小边支配集（MEDS）数量。关键结果表明，伪分形无标度网的边支配数（占总边数的1/9）显著小于谢尔宾斯基垫片（占边数的5/27），且MEDS数量也更少，证明无标度拓扑可同时降低MEDS的规模与组合复杂度。

ABSTRACT

As a fundamental research object, the minimum edge dominating set (MEDS) problem is of both theoretical and practical interest. However, determining the size of a MEDS and the number of all MEDSs in a general graph is NP-hard, and it thus makes sense to find special graphs for which the MEDS problem can be exactly solved. In this paper, we study analytically the MEDS problem in the pseudofractal scale-free web and the Sierpi\'nski gasket with the same number of vertices and edges. For both graphs, we obtain exact expressions for the edge domination number, as well as recursive solutions to the number of distinct MEDSs. In the pseudofractal scale-free web, the edge domination number is one-ninth of the number of edges, which is three-fifths of the edge domination number of the Sierpi\'nski gasket. Moreover, the number of all MEDSs in the pseudofractal scale-free web is also less than that corresponding to the Sierpi\'nski gasket. We argue that the difference of the size and number of MEDSs between the two studied graphs lies in the scale-free topology.

研究动机与目标

• 确定具有已知自相似结构的复杂网络中，精确的边支配数与最小边支配集（MEDS）数量。
• 在顶点数与边数完全相同的两个网络——伪分形无标度网与谢尔宾斯基垫片——之间，比较MEDS问题的差异。
• 研究网络拓扑（特别是无标度异质性与同质性）对MEDS规模与组合计数的影响。
• 为特殊图类中的NP难MEDS问题提供精确解析结果，以供近似算法的基准测试。
• 建立一种基于自相似图的消去技术的方法论框架，用于求解边支配问题。

提出的方法

• 作者利用伪分形无标度网与谢尔宾斯基垫片的自相似递归结构，应用消去技术。
• 基于网络生成规则的递归分解，推导出两种网络中边支配数的精确闭式表达式。
• 针对两种图，基于网络的递归构造，建立递归关系以计算不同MEDS的总数。
• 该方法依赖于在各代之间识别边支配中的不变模式，利用每个网络通过向现有边添加顶点迭代构建的事实。
• 分析区分了与高阶度顶点相连的边（在无标度网中）与度数均为4的顶点相连的边（在谢尔宾斯基垫片中），这些差异影响MEDS的选择与计数。
• 通过小规模枚举（如n=3至6）验证递归解，结果与理论推导一致。

实验结果

研究问题

• RQ1 伪分形无标度网的精确边支配数是多少？与谢尔宾斯基垫片相比如何？
• RQ2 在这两种自相似网络中，不同MEDS的数量如何增长？
• RQ3 与同质的谢尔宾斯基垫片相比，伪分形网的无标度拓扑在多大程度上减少了MEDS的规模与数量？
• RQ4 自相似图的递归结构特性能否用于推导NP难MEDS问题的精确解？
• RQ5 哪些结构特征（如顶点度异质性）解释了两种网络在MEDS规模与数量上的差异？

主要发现

• 伪分形无标度网的边支配数恰好为总边数的1/9，显著小于谢尔宾斯基垫片的5/27。
• 对于所有n ≥ 3，伪分形无标度网中不同MEDS的数量严格小于谢尔宾斯基垫片，表4的枚举结果已证实。
• 在两种网络中，MEDS数量均随边数呈指数增长，但伪分形无标度网的增长速率更低。
• 结构差异——特别是伪分形网中存在高阶度顶点——导致MEDS选择更受限制，从而降低了可能MEDS的规模与数量。
• 谢尔宾斯基垫片由于顶点度数同质（多为4度），允许更灵活的MEDS构造，因此产生更多有效MEDS。
• 本研究证明，无标度拓扑从根本上降低了MEDS问题的复杂度，无论在解的规模还是组合多样性方面。