[论文解读] The Edge-Wiener Index, the Szeged Indices and the PI Index of Benzenoid Systems in Sub-Linear Time

Matevž Črepnjak, Niko Tratnik|arXiv (Cornell University)|May 8, 2017

Graph theory and applications参考文献 16被引用 8

一句话总结

本文提出了一种亚线性时间算法，用于计算苯环系的边-Wiener 指数、Szeged 指数和 PI 指数——这些是 QSPR/QSAR 研究中的关键拓扑指数——通过利用基于系统边界环的加权商树。主要贡献在于，所有四个指数均可在 O(|Z|) 时间内计算，其中 |Z| 为边界环的长度，显著优于以往依赖于顶点数的线性时间方法。

ABSTRACT

In this paper, we investigate the edge-Wiener index, the Szeged index, the edge-Szeged index, and the PI index, which are some of the most studied distance-based topological indices. As the main result we show that for benzenoid systems these indices can be computed in sub-linear time with respect to the number of vertices. More precisely, they can be computed in the time dependent on the length of the boundary cycle of a benzenoid system.

研究动机与目标

• 开发用于计算苯环系中关键拓扑指数的高效算法，这些指数在定量构效关系（QSPR）和构效关系（QSAR）研究中至关重要。
• 通过实现仅依赖于边界环长度的亚线性时间复杂度，克服现有线性时间算法依赖于顶点数的局限性。
• 将先前关于 Wiener 指数的结果推广至包含边-Wiener 指数、Szeged 指数和 PI 指数，建立统一的计算框架。
• 证明这些指数可通过将问题简化为基于系统边界结构的加权商树，实现高效计算。

提出的方法

• 该方法基于边界环 Z 将苯环系分解为三个加权商树（T₁, T₂, T₃），利用切割方法和顶点-边加权。
• 对于每个指数，本文将总值表示为在三个加权树上对应指数（如 Wiener、总-Szeged、PI）之和。
• 通过已知的加权树线性时间算法计算每个指数在树上的值，这些算法应用于从边界导出的商树。
• 关键洞见在于，商树的大小受边界环长度 |Z| 的限制，从而实现 O(|Z|) 的时间复杂度。
• 通过顶点和边权重编码由每条边定义的每个分区中的顶点数和边数，实现对贡献项的高效求和。
• 利用 Chazelle（2000）关于多边形中可见点对的理论结果，确保基于边界的计算保持亚线性。

实验结果

研究问题

• RQ1 苯环系的边-Wiener 指数能否以相对于顶点数的亚线性时间进行计算？
• RQ2 是否可能仅依赖于边界环长度，计算苯环系的 Szeged 指数、边-Szeged 指数和 PI 指数？
• RQ3 如何调整切割方法和商树分解，以高效地同时计算多个拓扑指数？
• RQ4 当通过基于边界的结构导出的加权商树表达时，这些指数的计算复杂度是多少？

主要发现

• 苯环系的边-Wiener 指数可在 O(|Z|) 时间内计算，其中 |Z| 为边界环的长度，且与总顶点数无关。
• 苯环系的 Szeged 指数、边-Szeged 指数和 PI 指数均可通过相同的基于边界的分解和树-指数计算流程，在 O(|Z|) 时间内计算。
• 该计算依赖于将系统分解为三个大小为 O(|Z|) 的加权商树（T₁, T₂, T₃），并在每棵树上应用线性时间算法。
• 该方法推广了先前关于 Wiener 指数的结果，并将其扩展至四个主要拓扑指数，全部实现亚线性时间复杂度。
• 时间复杂度受边界环长度限制，使得该算法在大型系统中显著优于依赖于顶点数的线性时间方法。
• 该方法具有鲁棒性和可重用性，因为通过调整应用于商树的指数特定公式，同一框架可适用于所有四个指数。