[论文解读] A sharp lower bound for the Wiener index of a graph

B. Ramachandran, N. S. Sridharan+1 more|arXiv (Cornell University)|Aug 24, 2010

Graph theory and applications参考文献 3被引用 5

一句话总结

本论文基于图的阶 $n$、大小 $m$ 和直径 $d$，为简单连通无向图的 Wiener 指数建立了紧确的下界。通过分析直径路径上的距离，并根据路径成员关系将顶点对划分为若干集合，作者推导出一个紧致的解析下界，该下界对路径、奇数阶星图（odd-sized stars）、$C_3 \square K_2$ 图以及 Petersen 图均精确成立。

ABSTRACT

Given a simple connected undirected graph G, the Wiener index W(G) of G is defined as half the sum of the distances over all pairs of vertices of G. In practice, G corresponds to what is known as the molecular graph of an organic compound. We obtain a sharp lower bound for W(G) of an arbitrary graph in terms of the order, size and diameter of G.

研究动机与目标

• 推导任意简单连通无向图 $G$ 的 Wiener 指数 $W(G)$ 的紧致、可解析证明的下界。
• 以图的阶 $n$、大小 $m$ 和直径 $d$ 显式表达该下界。
• 通过识别达到等式的特定图族，证明该下界的紧致性。
• 为平面图在直径有界时提供一种 $O(n)$ 时间内计算该下界的计算高效方法。

提出的方法

• 将无序顶点对集合 $S_2(G)$ 划分为三个互不相交的子集：$X$（两顶点均在直径路径上）、$Y$（两顶点均不在路径上）和 $Z$（一个顶点在路径上）。
• 将 $W(G)$ 表示为 $n(n-1) - m + \sum_{d(u,v)\geq 2} (d(u,v) - 2)$，并根据该划分分解求和项。
• 利用公式 $\sum_{k=1}^{d-1} (d-k) \cdot k = \frac{d(d-1)(d-2)}{6}$ 计算 $X$ 中顶点对的贡献，其中 $d \geq 5$。
• 对 $Z$ 中的顶点对，应用三角不等式，推导 $\sum (d(u,w) - 2)$ 的下界（$w \notin V(P)$），得到奇数 $d$ 时为 $\left(\frac{d-3}{2}\right)^2$，偶数 $d$ 时为 $\frac{(d-2)(d-4)}{4}$。
• 单独处理小直径情况（$d = 2, 3, 4$），通过直接计算证明该下界依然成立。
• 将所有贡献项合并，形成依赖于 $n$ 和 $d$ 奇偶性的分段下界。

实验结果

研究问题

• RQ1 以 $n$、$m$ 和 $d$ 表示时，Wiener 指数 $W(G)$ 的最紧可能下界是什么？
• RQ2 该下界是否可被特定图族精确实现？若是，是哪些图族？
• RQ3 直径路径的结构如何影响距离的分布，从而影响 Wiener 指数？
• RQ4 评估该下界的时间复杂度如何，特别是对直径有界的平面图？
• RQ5 该下界能否被改进或用其他图参数（如最大度 $\Delta$）表示？

主要发现

• 本文为 $W(G)$ 建立了紧确的下界，且对路径 $P_n$、奇数阶星图 $K_{1,m}$、图 $C_3 \square K_2$ 和 Petersen 图均精确成立。
• 当 $d \geq 5$ 时，下界为：若 $n$ 为奇数，则 $W(G) \geq n(n-1) - m + \frac{d(d-1)(d-2)}{6} + \frac{(n-d-1)(d-3)^2}{4}$；若 $n$ 为偶数，则为 $W(G) \geq n(n-1) - m + \frac{d(d-1)(d-2)}{6} + \frac{(n-d-1)(d-2)(d-4)}{4}$。
• 该下界对所有 $d \geq 2$ 均成立，$d = 2, 3, 4$ 的情况虽单独处理，但与通式一致。
• 当直径 $d$ 有界时，该下界在平面图上可于 $O(n)$ 时间内计算，得益于此类图中直径计算的高效性。
• 推导过程利用了直径路径上的三角不等式，对超过 2 的距离超额部分进行下界估计，从而保证了下界的紧致性。
• 通过使用 Moore 界，该下界可改写为以最大度 $\Delta$ 表示的形式，提供了另一种参数化方式。