[論文レビュー] 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

ひとこと要約

本稿では、自己相似構造を有する2つの複雑ネットワーク、すなわち擬フラクタルスケールフリーウェブとシエルピンスキー・ギャスケットについて、エッジ支配数と最小エッジ支配集合（MEDS）の数を解析的に決定する。著者らは、これらのネットワークの再帰的・自己相似的構造に基づく縮退技術を用い、両者のエッジ支配数および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）の数を特定すること。
• 同じ頂点数とエッジ数を有するが、異なるトポロジーを有する2つのネットワーク（擬フラクタルスケールフリーウェブとシエルピンスキー・ギャスケット）におけるMEDS問題を比較すること。
• 特にスケールフリーの不均一性と均一性の違いが、MEDSのサイズと組み合わせ的カウントに与える影響を調査すること。
• NP困難とされるMEDS問題に対して、特殊なグラフクラスにおいて正確な解析的結果を提供し、近似アルゴリズムのベンチマーク化を可能にすること。
• 自己相似グラフに縮退技術を適用する方法論的フレームワークを確立すること。

提案手法

• 著者らは、擬フラクタルスケールフリーウェブとシエルピンスキー・ギャスケットの両者に、自己相似的再帰的構造を活用するための縮退技術を適用する。
• ネットワーク生成規則に基づく再帰的分解を用いて、両ネットワークにおけるエッジ支配数の正確な閉形式式を導出する。
• 両グラフに対して、ネットワークの再帰的構築に基づき、異なるMEDSの総数を計算する再帰的関係を構築する。
• 各世代におけるエッジ支配の不変パターンを特定することで、各ネットワークがエッジに頂点を再帰的に追加することで構築されることに依存する。
• スケールフリーウェブにおける高次元頂点に接続するエッジと、シエルピンスキー・ギャスケットにおける均一に次数4の頂点に接続するエッジを区別し、MEDS選択とカウントに与える影響を分析する。
• 小規模な列挙（例：n=3から6）による再帰的解法の妥当性を検証し、理論的導出と一貫性があることを確認する。

実験結果

リサーチクエスチョン

• RQ1 擬フラクタルスケールフリーウェブにおける正確なエッジ支配数は何か？ また、シエルピンスキー・ギャスケットにおけるそれと比較するとどうなるか？
• RQ2 これらの2つの自己相似ネットワークにおける異なる最小エッジ支配集合（MEDS）の数は、どのように増加するか？
• RQ3 擬フラクタルウェブのスケールフリー・トポロジーは、均一なシエルピンスキー・ギャスケットと比較して、MEDSのサイズと数をどの程度低減するか？
• RQ4 自己相似グラフの再帰的構造的性質を用いて、NP困難なMEDS問題の正確な解を得られるか？
• RQ5 頂点次数の不均一性といった構造的特徴は、2つのネットワーク間のMEDSサイズとカウントの差を説明できるか？

主な発見

• 擬フラクタルスケールフリーウェブのエッジ支配数は、全エッジ数の正確に1/9であり、シエルピンスキー・ギャスケットの全エッジ数の5/27よりも顕著に小さい。
• n ≥ 3のすべてのnについて、擬フラクタルスケールフリーウェブにおける異なるMEDSの数は、シエルピンスキー・ギャスケットのそれよりも厳密に少ない。これは表4の列挙により確認されている。
• 両ネットワークにおいてMEDSの数はエッジ数に指数関数的に増加するが、擬フラクタルスケールフリーウェブの増加率は低い。
• 構造的差異、特に擬フラクタルウェブに存在する高次元頂点の存在が、MEDS選択をより制限的にしており、その結果、解のサイズと可能なMEDSの数の両方が減少している。
• 次数が主に4で均一なシエルピンスキー・ギャスケットは、MEDSの構築に柔軟性を有しており、有効なMEDSの数が多くなる。
• 本研究では、スケールフリートポロジーがMEDS問題の複雑さを根本的に低減することを示しており、解のサイズと組み合わせ的多様性の両面で顕著な影響を及ぼしている。