[论文解读] 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

一句话总结

本文建立了阿波罗尼亚网络（Apollonian networks）这一类递归构造的平面图的多孔指数支配数（$γ_e^*$）的上下界。证明了当 $k \geq 6$ 时，$γ_e^*(G_k) \leq 3^{k-5}$，且当 $k \geq 10$ 时，$γ_e^*(G_k) \leq \frac{3^{k-8}+5}{2}$；同时证明了 $γ_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.

研究动机与目标

• 确定阿波罗尼亚网络（一类递归构造的平面图）中多孔指数支配数 ($γ_e^*$) 的紧致界。
• 通过推导可扩展的上下界，应对大规模阿波罗尼亚网络中精确 $γ_e^*$ 计算的计算不可行性。
• 利用阿波罗尼亚网络的递归生成与结构特性，构建并验证支配集。
• 为具有高度对称性与分形式增长特性的图类建立指数支配的理论基础。

提出的方法

• 本文使用阿波罗尼亚网络 $G_k$ 的递归构造，其中每个 $G_k$ 通过在 $G_{k-1}$ 的面中添加顶点来构建，$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})$，并通过距离与连通性论证证明其有效性。
• 对于下界，应用先前研究中的已知定理，将 $γ_e^*(G_k)$ 与图的直径关联，使用不等式 $\gamma_e^*(G_k) \geq \left\lceil \frac{diam(G_k)+2}{4} \right\rceil$。
• 推导出 $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$，能否在不进行暴力计算的情况下高效地界定多孔指数支配数？
• RQ3 阿波罗尼亚网络的递归结构如何影响支配集的布局与效率？
• RQ4 以 $k$ 表示时，$\gamma_e^*(G_k)$ 的最紧致下界是什么？
• RQ5 使用整个更小的阿波罗尼亚网络 $G_{k-7}$ 而非单一代 $U_{k-3}$，能否构造出更小的支配集？

主要发现

• 当 $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)$。