[論文レビュー] Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences

Mikhail Goubko|arXiv (Cornell University)|Feb 4, 2015

Graph theory and applications参考文献 14被引用数 17

ひとこと要約

本稿では、木の頂点重み付きウィーナー指数（VWWI）が、最小重量の頂点のペアを繰り返しマージする下向きのアルゴリズムによって構築されるハフマン木によって最小化されることを確立している。最適構造は、内部ノードが最小重量の部分木を組み合わせることで形成される貪欲な木であり、未重み付き木に関する古典的結果を一般化し、固定された次数および重み列における頂点重み付きグラフ最適化にハフマンのアルゴリズムを拡張する。

ABSTRACT

In 1997 Klavžar and Gutman suggested a generalization of the Wiener index to vertex-weighted graphs. We minimize the Wiener index over the set of trees with the given vertex weights' and degrees' sequences and show an optimal tree to be the, so-called, Huffman tree built in a bottom-up manner by sequentially connecting vertices of the least weights.

研究の動機と目的

• 固定された頂点重みおよび次数列の下で、頂点重み付きウィーナー指数（VWWI）を最小化する木構造を同定すること。
• 最適なプレフィックス符号の古典的ハフマンアルゴリズムを頂点重み付き木の分野に一般化すること。
• 最適な木が、部分木の重み分布が主要化条件を満たす「適切な」有向木であることを示すこと。
• VWWI最小化と部分木重みベクトルの主要化との関係を確立し、未重み付き木に関する先行結果を拡張すること。
• 頂点重みと次数の下で、最適な木を生成する構成的アルゴリズム（頂点重みに基づく下向きのマージプロセス）を提供すること。

提案手法

• 頂点重み付きウィーナー指数（VWWI）を $\frac{1}{2}\sum_{u,v\in V(G)}\mu_G(u)\mu_G(v)d_G(u,v)$ として定義する。ここで $\mu_G(v)$ は頂点重みを表す。
• 固定された頂点重み $\mu(v)$ および次数 $d(v)$ を持つ「生成タプル」$\langle\mu, d\rangle$ の概念を導入し、$\sum d(v) = 2(|V|-1)$ を満たすものとする。
• 解析を簡素化するため、各内部ノードが部分木を表し、その子孫の総重量を格納する有向木表現を構築する。
• 「従属グループの重みベクトル」$\mathbf{f}$ を定義し、各内部ノードの根を頂点とする部分木の総重量を表す。
• 主要化理論を用いて重み分布を比較する：関数が凹かつ増加する場合、$\mathbf{f}(H) \succ^w \mathbf{f}(T)$ ならば $VWWI(H) \leq VWWI(T)$ が成り立つ。
• 任意の非適切な木が改善可能であることを示す変換を適用し、最適木が「適切」でなければならないこと、したがってハフマン木に対応することを証明する。

実験結果

リサーチクエスチョン

• RQ1 頂点重みおよび次数が固定されたとき、どのような木構造が頂点重み付きウィーナー指数を最小化するか？
• RQ2 古典的ハフマンアルゴリズムは、与えられた次数および重み列を伴う頂点重み付き木のVWWI最小化に適応可能か？
• RQ3 部分木重みベクトルの主要化は、このような木におけるVWWI最小化とどのように関係するか？
• RQ4 貪欲な木（トップダウンで構築）とハフマン木（ボトムアップで構築）がVWWI最小化において等価となる条件は何か？
• RQ5 与えられた制約下でVWWIを最小化する最適な木が満たすべき構造的性質は何か？

主な発見

• 頂点重み付きウィーナー指数を最小化する最適な木は、最小重量の頂点ペアを繰り返しマージすることで構築されるハフマン木である。
• 最適な木は「適切な」木である。つまり、内部ノードがその部分木の重みが $\bar{\mu}/2$ を超えないように配置されている。ここで $\bar{\mu}$ は頂点重みの合計である。
• 最適木における部分木重みベクトルは、他の任意の木のそれより主要化され、与えられた制約下でVWWIが最小化されることを保証する。
• VWWI最小化問題は、従属グループの重みベクトルにおける主要化問題に還元され、重みベクトルが可能な限り「バランスの取れた」形になるときに最適解が達成される。
• 従来の未重み付き木に関する結果を一般化する：すべての頂点重みが等しい場合、最適木は固定次数列における貪欲な木（ボルクマン木）と一致する。
• 重み列が正かつ相異なる場合、最適木は同型を除いて一意であり、ボトムアップのマージプロセスにより一意なハフマン木が生成される。