[論文レビュー] Log-Lists and Their Applications to Sorting by Transpositions, Reversals and Block-Interchanges

Irena Rusu|arXiv (Cornell University)|Jul 6, 2015

Genome Rearrangement Algorithms参考文献 18被引用数 5

ひとこと要約

この論文は、リンクカット木に基づく新しいデータ構造であるログリストを導入する。ログリストは、動的ランククエリ、範囲更新（加算、符号反転）、範囲最小/最大クエリを含む、幅広いリスト操作を $O(\log n)$ 時間でサポートする。主な貢献は、ログリストが、転置、反転、ブロックインターチェンジによる順列のソートのためのいくつかの基本的アルゴリズムを $O(n\log n)$ 時間で実装可能であることを示したことである。これは、既存の最良の実行時間と同等またはそれを上回る。

ABSTRACT

Link-cut trees have been introduced by D.D. Sleator and R.E. Tarjan (Journal of Computer and System Sciences, 1983) with the aim of efficiently maintaining a forest of vertex-disjoint dynamic rooted trees under cut and link operations. These operations respectively disconnect a subtree from a tree, and join two trees by an edge. Additionally, link-cut trees allow to change the root of a tree and to perform a number of updates and queries on cost values defined on the arcs of the trees. All these operations are performed in $O(\\log\\, n)$ amortized or worst-case time, depending on the implementation, where $n$ is the total size of the forest. In this paper, we show that a list of elements implemented using link-cut trees (we call it a $\\log$-list) allows us to obtain a common running time of $O(\\log\\, n)$ for the classical operations on lists, but also for some other essential operations that usually take linear time on lists. Such operations require to find the minimum/maximum element in a sublist defined by its endpoints, the position of a given element in the list or the element placed at a given position in the list; or they require to add a value $a$, or to multiply by $-1$, all the elements in a sublist. Furthermore, we use $\\log$-lists to implement several existing algorithms for sorting permutations by transpositions and/or reversals and/or block-interchanges, and obtain $O(n\\,\\log\\, n)$ running time for all of them. In this way, the running time of several algorithms is improved, whereas in other cases our algorithms perform as well as the best existing implementations.

研究の動機と目的

• 順序付きリストにおける範囲クエリやバルク更新処理を、部分線形時間でサポートできない古典的データ構造の非効率性を解消すること。
• 位置による要素への部分線形アクセスが不可能な双方向リンクリストや、動的リストランクをネイティブにサポートしない二分探索木の制限を克服すること。
• 古典的リスト操作と、範囲加算や符号反転といった高度な集約操作を効率的にサポートする統合されたデータ構造を設計すること。
• ログリストを用いて、転置、反転、ブロックインターチェンジによる順列ソートの既知のアルゴリズムを最適化し、実用的影響を示すこと。
• ログリストが、同様の漸近的効率性を達成しつつも、より特殊なデータ構造（例：順列木）に置き換え可能であることを示すこと。

提案手法

• リストを表す根付き木のフォレストを維持するために、リンクカット木を動的木構造として用いる。これにより、カットおよびリンク操作を効率的に実行できる。
• リンクカット木に追加の操作を拡張し、特に、パスに沿ったランク情報と集約値（例：最小値、最大値、合計）を維持・更新する。
• 挿入、削除、反転、要素検索・ランク検索などのリスト操作を、リンクカット木の動的木操作を用いて実装し、$O(\log n)$ の amortized 時間を保証する。
• 木のノードに補助情報を保持し、更新を効率的に伝搬させることで、範囲ベースの操作（例：部分リスト内の全要素に値を加算、符号を反転）をサポートする。
• 既存の転置によるソートやブロックインターチェンジによるソートのアルゴリズムにおいて、順列木の代わりにログリストを用いることで、合計実行時間を $O(n\log n)$ に抑える。
• リンクカット木の理論的基盤を拡張し、新たな拡張技術を導入することで、ログリストにおけるすべての操作が $O(\log n)$ 時間で実行可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 部分線形時間で、古典的リスト操作と複雑な集約操作（例：範囲最小クエリ、範囲更新、ランクベースアクセス）を両立できるデータ構造を設計可能か？
• RQ2 リンクカット木は、動的リストランクと要素値の効率的範囲クエリをサポートするためにどの程度拡張可能か？
• RQ3 ログリストを用いることで、転置、反転、ブロックインターチェンジによる順列ソートの既存アルゴリズムの漸近的実行時間を改善可能か？
• RQ4 ログリストは、順列木や双方向リンクリストといった既存のデータ構造に対して、どのような状況で厳密な改善をもたらすか？
• RQ5 グラフ表現に基づく順列のアルゴリズムでは、直接的なリスト操作に依存しない場合、ログリストに根本的な制限があるか？

主な発見

• ログリストは、カスタム拡張を施したリンクカット木を用いて、挿入、削除、反転、要素検索、ランク検索といったすべての古典的リスト操作を $O(\log n)$ 時間でサポートする。
• このデータ構造は、部分リスト内の全要素に値を加算、符号を反転、最小値/最大値を部分リスト内で検索する範囲操作をすべて $O(\log n)$ 時間で効率的に行える。
• ログリストの導入により、転置によるソートの1.5-近似アルゴリズムの実行時間は、$O(n^{3/2}\sqrt{\log n})$ から $O(n\log n)$ に短縮された。
• 同様に、ブロックインターチェンジによるソートの正確なアルゴリズムと、転置による1.375-近似アルゴリズムも、ログリストを用いることで $O(n\log n)$ 時間に最適化された。
• ログリストは、これらのアルゴリズムにおいて順列木を効果的に置き換え、より汎用的かつ再利用可能なデータ構造を用いても同様の漸近的効率性を達成した。
• グラフ表現に基づく順列のアルゴリズムでは、ログリストは直接的な高速化をもたらさない。なぜなら、ボトルネックはリスト操作ではなくグラフ走査にあるからである。