[論文レビュー] Minimizing Degree-based Topological Indices for Trees with Given Number of Pendent Vertices + Erratum

Mikhail Goubko, Tamás Réti|arXiv (Cornell University)|May 6, 2014

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

ひとこと要約

本稿では、固定された端点数をもつ木における第一および第二のZagreb指標の鋭い下界を導出し、$M_1$ はすべての内部頂点の次数が4である4-木によって最小化され、$M_2$ は内部頂点の次数が3, 4, 5である木によって最小化され、特定の構造的制約を満たす。この手法は重み付きZagreb指標や他の次数に基づくトポロジカル指標へ一般化可能である。

ABSTRACT

We derive sharp lower bounds for the first and the second Zagreb indices ($M_1$ and $M_2$ respectively) for trees and chemical trees with the given number of pendent vertices and find optimal trees. $M_1$ is minimized by a tree with all internal vertices having degree 4, while $M_2$ is minimized by a tree where each "stem" vertex is incident to 3 or 4 pendent vertices and one internal vertex, while the rest internal vertices are incident to 3 other internal vertices. The technique is shown to generalize to the weighted first Zagreb index, the zeroth order general Randić index, as long as to many other degree-based indices. Later the erratum was added: Theorem 3 says that the second Zagreb index $M_2$ cannot be less than $11n-27$ for a tree with $n\ge 8$ pendent vertices. Yet the tree exists with $n=8$ vertices (the two-sided broom) violating this inequality. The reason is that the proof of Theorem 3 relays on a tacit assumption that an index-minimizing tree contains no vertices of degree 2. This assumption appears to be invalid in general. In this erratum we show that the inequality $M_2 \ge 11n-27$ still holds for trees with $n\ge 9$ vertices and provide the valid proof of the (corrected) Theorem 3.

研究の動機と目的

• 固定された端点数をもつ木の集合上で、次数に基づくトポロジカル指標、特に第一および第二のZagreb指標の最小値を特定すること。
• これらの最小指標を達成する極値的な木構造、特に内部頂点の次数分布に焦点を当てた特徴付けを行うこと。
• 最適化フレームワークを一般化Zagreb指標、ゼロ次一般化Randić指標、および他の次数に基づくトポロジカル指標へ拡張すること。
• 一般極値木と化学的グラフ（実際の分子を表す木）との構造的差異を調査すること、特に水素原子が非表示にされていない場合に注目すること。
• 凸最適化とグラフ理論的制約を組み合わせた一般化可能な手法を、次数に基づくトポロジカル指標の広いクラスに適用可能とする。

提案手法

• 端点数が固定されているという条件下での頂点次数列の制約付き最適化問題として問題を定式化すること。
• 内部頂点の次数 $ d_i $ に対して、$ n - 2 = sum_{i=1}^{q} (d_i - 2) $ という恒等式を用い、端点数と内部次数の関係を確立すること。
• 整数制約の連続的緩和を適用し、最適な次数値（例：$M_1$ では次数4）を導出し、その後、組合せ的構成によって存在を検証すること。
• $M_2$ については、内部頂点の次数が3, 4, 5である木モデルを構築し、異なる次数ペア間の辺からの寄与を導出し、総指標値を計算すること。
• 理論的最適木が化学的グラフでない場合に備え、小規模な $n$ に対して近似的に最適な化学的木を列挙・検証するための準多項式時間アルゴリズムを用いること。
• 抽象的な次数に基づく指標 $ C(G) = sum_{v} c_1(d_G(v)) + sum_{uv} c_2(d_G(u), d_G(v)) $ の形式に一般化し、一般化Randić指標などへの応用を可能とすること。

実験結果

リサーチクエスチョン

• RQ1 すべての端点数 $n$ をもつ木において、第一Zagreb指標 $M_1$ の最小値は何か？ また、どの木構造がそれを達成するか？
• RQ2 $M_2$ を最小化する木の構造は、$M_1$ を最小化する木の構造とどのように異なるか？ また、$M_2$ を最適化するにはどの次数分布が最適か？
• RQ3 この最適化フレームワークは、Zagreb指標以外の次数に基づくトポロジカル指標へも拡張可能か？
• RQ4 理論的 $M_2$ 最小木が化学的グラフでないのはどの $n$ の値に対して起こり、そのような場合に近似的に最適な化学的木をどのように構築できるか？
• RQ5 $M_2$ のタイトな下界は $n$ の関数としてどのように表され、化学的木によって達成可能か？

主な発見

• 第一Zagreb指標 $M_1$ は、すべての内部頂点の次数が4である4-木（4-木）によって最小化され、$n$ が偶数の場合は下界 $9n - 16$、奇数の場合は $9n - 15$ を達成する。
• $n \geq 9$ の場合、第二Zagreb指標 $M_2$ は内部頂点の次数が3, 4, 5である木構造によって最小化され、最小値は $11n - 27$ である。
• $M_2$ 最小木構造は常に化学的グラフとは限らない：$n \mod 3 = 1$ の場合、少なくとも1つのステム頂点の次数が5でなければならない。$n \mod 3 = 2$ の場合、少なくとも2つのような頂点が必要である。
• $n \mod 3 = 1$ の場合、次数5のステム部分木を特定の断片に置き換えることで、近似的に最適な化学的木を構築でき、$M_2 = 11n - 26$ を達成する。これは理論的最小値から1単位だけ大きい。
• $n \mod 3 = 2$ の場合、$M_2 = 11n - 25$ を達成する化学的木を構築可能だが、これは最適な化学的グラフではないため、理論的最適性と化学的最適性の間にギャップが存在する。
• このフレームワークは、一般化Randić指標や $M_1 + M_2$ といった他の次数に基づく指標へも一般化可能であり、後者については $n \geq 6$ の場合、下界 $\frac{61n}{3} - 46$ を達成する。