[論文レビュー] Maintaining Contour Trees of Dynamic Terrains

Pankaj K. Agarwal, Lars Arge+3 more|arXiv (Cornell University)|Jun 16, 2014

Topological and Geometric Data Analysis参考文献 5被引用数 4

ひとこと要約

本稿では、時間変動する高さ関数に従って変化する動的地形を区分線形三角形分割として表現する際、効率的に輪郭木を維持する運動論的データ構造を提示する。証明書の失敗（隣接頂点の高さが等しい、または同じ輪郭上に2つのサドル頂点がある場合にのみ発生）をO(log n)時間で処理し、進化する地形のトポロジー解析に対する効率的な段階的更新を可能にする。

ABSTRACT

We consider maintaining the contour tree $\mathbb{T}$ of a piecewise-linear triangulation $\mathbb{M}$ that is the graph of a time varying height function $h: \mathbb{R}^2 ightarrow \mathbb{R}$. We carefully describe the combinatorial change in $\mathbb{T}$ that happen as $h$ varies over time and how these changes relate to topological changes in $\mathbb{M}$. We present a kinetic data structure that maintains the contour tree of $h$ over time. Our data structure maintains certificates that fail only when $h(v)=h(u)$ for two adjacent vertices $v$ and $u$ in $\mathbb{M}$, or when two saddle vertices lie on the same contour of $\mathbb{M}$. A certificate failure is handled in $O(\log(n))$ time. We also show how our data structure can be extended to handle a set of general update operations on $\mathbb{M}$ and how it can be applied to maintain topological persistence pairs of time varying functions.

研究の動機と目的

• 地形の高さ関数が時間とともに変化する中で、輪郭木を段階的に効率的に維持できるようにすること。
• 地形のトポロジカルイベントに起因する、輪郭木における最小限の組み合わせ的変更を同定し、処理すること。
• 高さの変更やメッシュ変形といった動的更新を維持しながら、トポロジカルな正確性を保つこと。
• ジョインツリーとスプリットツリーを用いて、トポロジカルな持続性ペアを維持するようにデータ構造を拡張すること。
• 証明書の失敗を、トポロジカルな遷移にのみ制限することで、1イベントあたりの更新コストを低く抑えること。

提案手法

• 隣接頂点の高さが等しい、または同じ輪郭上に2つのサドル頂点がある場合にのみ失敗する運動論的証明書を維持する。
• 動的データ構造を用いて輪郭木を表現し、エッジの反転、頂点の分割および統合による局所的更新をサポートする。
• 頂点の削除ではなくエッジの統合を行う修正版のDelete(v)操作を適用し、高さの一貫性を維持する。
• エッジおよびサドルペアに対する証明書を維持することで、グローバルなメッシュ変形に対応する。
• ジョインツリーとスプリットツリーを用いてトポロジカルな持続性ペアを暗黙的に表現し、負のサドルからその部分木内の最低最小値へのポインタを設ける。
• 動的ツリーのデータ構造を用いて、1回の操作あたりO(log n)時間で持続性ペアの情報を維持・更新する。

実験結果

リサーチクエスチョン

• RQ1 地形の高さ関数が時間とともに変化する際、輪郭木に生じる最小限の組み合わせ的変更は何か？
• RQ2 動的地形の進化過程で、輪郭木の構造を変化させる幾何的イベントは何か？
• RQ3 運動論的データ構造をどのように設計すれば、関連するトポロジカルイベントにのみ対応し、不要な証明書失敗を最小限に抑えられるか？
• RQ4 輪郭木を用いて、動的地形の更新中にトポロジカルな持続性ペアを効率的に維持できるか？
• RQ5 連続的な高さ変化およびメッシュ変更の下で、輪郭木と持続性ペアを維持する計算コストは何か？

主な発見

• 証明書の失敗は、隣接頂点の高さが等しい、または同じ輪郭上に2つのサドル頂点がある場合にのみ発生し、不必要な更新を最小限に抑える。
• 各証明書失敗はO(log n)時間で解決され、従来のO(n)アプローチと比べて顕著に改善されている。
• 本データ構造は、高さの変更やグローバルな変形を含む動的メッシュ更新を効率的な局所的再構成とともにサポートする。
• ジョインツリーとスプリットツリーは同様の効率で維持可能であり、トポロジカルな持続性の段階的計算を可能にする。
• 負のサドルからその部分木内の最低最小値へのポインタを介して、トポロジカルな持続性ペアが暗黙的に表現され、更新はO(log n)時間で処理される。
• 本手法により、GISおよび計算幾何学の応用分野における大規模で時間変動する地形について、効率的かつ段階的な輪郭木および持続性ペアの維持が可能になる。