[論文レビュー] Bounding the Porous Exponential Domination Number of Apollonian Networks

Joshua Beverly, Mariah Farley+2 more|arXiv (Cornell University)|Sep 19, 2014

Advanced Graph Theory Research参考文献 8被引用数 3

ひとこと要約

本稿は、再帰的に構築される平面的グラフの一種であるアポロニアン・ネットワークにおける多孔質指数的支配数（$\gamma_e^*$）の上界と下界を確立する。$k \geq 6$ に対して $\gamma_e^*(G_k) \leq 3^{k-5}$ および $k \geq 10$ に対して $\gamma_e^*(G_k) \leq \frac{3^{k-8}+5}{2}$ を証明するとともに、$\gamma_e^*(G_k) \geq \left\lceil \frac{2k+5}{12} \right\rceil$ を示し、これらのネットワークにおけるこの支配変種のタイトな漸近的推定値を提供する。

ABSTRACT

Given a graph G with vertex set V, a subset S of V is a dominating set if every vertex in V is either in S or adjacent to some vertex in S. The size of a smallest dominating set is called the domination number of G. We study a variant of domination called porous exponential domination in which each vertex v of V is assigned a weight by each vertex s of S that decreases exponentially as the distance between v and s increases. S is a porous exponential dominating set for G if all vertices in S distribute to vertices in G a total weight of at least 1. The porous exponential domination number of G is the size of a smallest porous exponential dominating set. In this paper we compute bounds for the porous exponential domination number of special graphs known as Apollonian networks.

研究の動機と目的

• アポロニアン・ネットワーク、再帰的に構築される平面的グラフの族における多孔質指数的支配数（$\gamma_e^*$）のタイトな境界を特定すること。
• 大規模なアポロニアン・ネットワークにおける正確な $\gamma_e^*$ の計算の非効率性に対処し、スケーラブルな上界と下界を導出すること。
• アポロニアン・ネットワークの再帰的生成と構造的性質を活用して、支配集合の構築と検証を行うこと。
• 高い対称性とフラクタル的成長を示すグラフ族における指数的支配の理論的基盤を確立すること。

提案手法

• 本稿は、各 $G_k$ が $G_{k-1}$ の面を三角形分割するために頂点を追加することによって再帰的に構築されるアポロニアン・ネットワーク $G_k$ を用いる。$U_k$ は $k$ 番目の世代の頂点を表す。
• 多孔質指数的支配重み $w_S^*(v) = \sum_{u \in S} \frac{1}{2^{d(u,v)-1}}$ を定義し、すべての $v \in V(G_k)$ に対して $w_S^*(v) \geq 1$ が成り立つようにし、そのような $S$ の最小値を求める。
• 上界の導出には、明示的な支配集合の構築を用いる：まず $U_{k-3}$ を用い、次に $V(G_{k-7})$ を用いる。距離と連結性の議論により、それらの有効性を証明する。
• 下界の導出には、先行研究の既知の定理を適用し、$\gamma_e^*(G_k)$ をグラフの径路長と関連付ける。$\gamma_e^*(G_k) \geq \left\lceil \frac{diam(G_k)+2}{4} \right\rceil$ という境界を用いる。
• 径路長 $diam(G_k)$ を $diam(G_k) = \left\lceil \frac{2k-1}{3} \right\rceil$ と導出し、これが下界の根拠となる。
• 頂点間の距離と近隣関係に関する構造的補題を証明し、特に径路長が3ステップごとに2ずつ増加すること、すなわち $diam(G_{k+3}) = diam(G_k) + 2$ を示す。

実験結果

リサーチクエスチョン

• RQ1 $k$ が増加するにつれて、アポロニアン・ネットワークにおける多孔質指数的支配数 $\gamma_e^*(G_k)$ の漸近的挙動はいかなるものか？
• RQ2 大規模な $k$ に対して、正確な計算を避け、効率的に $\gamma_e^*$ を境界づけることは可能か？
• RQ3 アポロニアン・ネットワークの再帰的構造は、支配集合の配置と効率性にどのように影響するか？
• RQ4 $k$ を用いて $\gamma_e^*(G_k)$ のタイトな下界をどのように得られるか？
• RQ5 単一の世代 $U_{k-3}$ の代わりに、完全な小さいアポロニアン・ネットワーク $G_{k-7}$ を使用することで、より小さな支配集合を構築できるか？

主な発見

• $k \geq 6$ に対して、多孔質指数的支配数は $\gamma_e^*(G_k) \leq 3^{k-5}$ を満たし、支配集合として $(k-3)$ 番目の世代 $U_{k-3}$ を用いることで達成される。
• $k \geq 10$ に対して、よりタイトな上界が得られ、$\gamma_e^*(G_k) \leq \frac{3^{k-8} + 5}{2}$ となる。これは、支配集合として $V(G_{k-7})$ 全体を用いることで達成される。
• $G_k$ の径路長は正確に $diam(G_k) = \left\lceil \frac{2k-1}{3} \right\rceil$ であり、再帰的距離の増加と補題による検証から導出される。
• 径路長の公式と既知の下界定理を組み合わせることで、$\gamma_e^*(G_k) \geq \left\lceil \frac{2k+5}{12} \right\rceil$ が証明された。
• 本稿は、径路長が正確に3ステップごとに2ずつ増加すること、すなわち $diam(G_{k+3}) = diam(G_k) + 2$ であることを確認した。これは漸近的境界の根拠となっている。
• 結果として、$\gamma_e^*(G_k)$ は $k$ に対して指数的以下に成長し、境界は漸近的にタイトである。下界は $\Theta(k)$ の速度で増加し、上界は $\Theta(3^k)$ の速度で増加する。