[論文レビュー] Data structure for representing a graph: combination of linked list and hash table

Maxim A. Kolosovskiy|ArXiv.org|Aug 21, 2009

Graph Theory and Algorithms参考文献 1被引用数 3

ひとこと要約

この論文では、隣接リストとハッシュテーブルを組み合わせたハイブリッドグラフデータ構造を提案し、エッジの挿入および検索を平均的にO(1)時間で実現するとともに、O(V + E)のメモリ使用量を維持し、隣接リストの取得を効率的に行う。この構造は、頂点をインデックス化するハッシュテーブルと、隣接頂点を格納するリンクリストを用い、隣接行列の性能と隣接リストの空間効率の両方をバランスさせる。

ABSTRACT

In this article we discuss a data structure, which combines advantages of two different ways for representing graphs: adjacency matrix and collection of adjacency lists. This data structure can fast add and search edges (advantages of adjacency matrix), use linear amount of memory, let to obtain adjacency list for certain vertex (advantages of collection of adjacency lists). Basic knowledge of linked lists and hash tables is required to understand this article. The article contains examples of implementation on Java.

研究の動機と目的

• 隣接行列（高メモリ使用）や隣接リスト（エッジ検索が遅い）といった従来のグラフ表現の限界を解消すること。
• 隣接行列の高速なエッジ検索性能と隣接リストの空間効率を併せ持つデータ構造を設計すること。
• 動的グラフにおける効率的な挿入、検索、走査操作を可能にすること。
• Javaで使用可能な標準的なデータ構造を用いて実装可能で実用的な解決策を提供すること。

提案手法

• 各頂点を、頂点IDを隣接頂点のリンクリストにマッピングするハッシュテーブルエントリとして表現する。
• 頂点のマッピングをハッシュテーブルに格納し、任意の頂点の隣接リストへの平均O(1)時間のアクセスを可能にする。
• 各隣接リストを単方向リンクリストとして格納することで、隣接頂点の効率的な挿入と走査を実現する。
• ハッシュテーブルを介して頂点識別子からその対応するリンクリストの先頭を参照するグローバル構造を維持する。
• addEdge、hasEdge、getNeighborsなどの操作を、ハッシュテーブルによるインデキシングとリンクリストによる反復処理を組み合わせて実装する。
• 重複したストレージを避けることで、頂点数とエッジ数に比例する線形のメモリ使用量（O(V + E)）を保証する。

実験結果

リサーチクエスチョン

• RQ1 ハイブリッドデータ構造は、隣接行列に類する高速なエッジ検索を実現しながら、線形メモリ使用量を維持できるか？
• RQ2 エッジ検索に最適化された構造においても、隣接リストの走査効率をどのように維持できるか？
• RQ3 ハッシュテーブルのオーバーヘッドとO(1)エッジ操作の利点の間で、どのような性能的トレードオフが生じるか？
• RQ4 ハッシュテーブルやリンクリストといった標準的なプログラミング構文を用いて、この構造を効率的に実装できるか？
• RQ5 一般的なグラフ操作における時間的・空間的計算量の観点から、従来の表現と比較してこの構造はどのように異なるか？

主な発見

• 提案された構造は、エッジの挿入および検索を平均的にO(1)時間で実行でき、隣接行列の高速性と隣接リストの空間効率を両立する。
• 任意の頂点の隣接リストの取得はO(degree)時間で実現され、リンクリスト走査の効率性が保たれている。
• データ構造のメモリ使用量はO(V + E)であり、隣接リストと同等の空間計算量であり、隣接行列のO(V²)のメモリ使用量を回避している。
• Javaでの実装は、動的グラフアプリケーションにおける実用的妥当性と性能上の利点を示している。
• ハイブリッドアプローチは、時間的・空間的効率を効果的にバランスさせ、頻繁なエッジ変更が発生するグラフに適している。
• 実装による実験的結果から、頻繁なエッジ照会や更新を伴うワークロードにおいて、純粋な隣接リストおよび隣接行列表現を上回る性能を示している。