[論文レビュー] Bounded, minimal, and short representations of unit interval and unit circular-arc graphs

Francisco J. Soulignac|arXiv (Cornell University)|Aug 14, 2014

Advanced Graph Theory Research参考文献 26被引用数 8

ひとこと要約

本稿では、単位区間（UIG）および単位円弧（UCA）グラフの有界・最小・短い表現について、効率的なアルゴリズムを提示する。非制限表現問題に対しては負の証明を伴う線形時間アルゴリズムを提案し、有界表現問題に対してはO(n²)時間のアルゴリズムを提示し、円周と弧長を同時に最小化する最小モデルを計算する多項式時間アルゴリズムを提供する。これにより、幾何的グラフ表現分野における未解決問題が解決され、与えられたUIGおよびUCAモデルを含む最小のパスおよびサイクルのべき乗を効率的に計算可能となる。

ABSTRACT

We consider the unrestricted, minimal, and bounded representation problems for unit interval (UIG) and unit circular-arc (UCA) graphs. In the unrestricted version, a proper circular-arc (PCA) model $\cal M$ is given and the goal is to obtain an equivalent UCA model $\cal U$. We show a linear time algorithm with negative certification that can also be implemented to run in logspace. In the bounded version, $\cal M$ is given together with some lower and upper bounds that the beginning points of $\cal U$ must satisfy. We develop a linear space $O(n^2)$ time algorithm for this problem. Finally, in the minimal version, the circumference of the circle and the length of the arcs in $\cal U$ must be simultaneously as minimum as possible. We prove that every UCA graph admits such a minimal model, and give a polynomial time algorithm to find it. We also consider the minimal representation problem for UIG graphs. As a bad result, we show that the previous linear time algorithm fails to provide a minimal model for some input graphs. We fix this algorithm but, unfortunately, it runs in linear space $O(n^2)$ time. Finally, we apply the minimal representation algorithms so as to find the minimum powers of paths and cycles that contain a given UIG and UCA models, respectively.

研究の動機と目的

• 与えられた適切な円弧モデルを等価な単位表現に変換することで、UIGおよびUCAグラフの非制限表現問題を解くこと。
• 弧の開始位置に下限および上限を組み込むことで、有界表現問題に対処し、指定された制約内での妥当性を保証すること。
• 円周と弧長を同時に最小化する最小UCAおよびUIGモデルを計算する多項式時間アルゴリズムを開発すること。
• 与えられたUIGおよびUCAモデルを含む最小のパスおよびサイクルのべき乗を計算するという未解決問題を解消すること。
• 従来の最小UIGモデルの線形時間アルゴリズムの欠陥を修正し、O(n²)時間の正しい解決策を提供することで、先行研究を拡張すること。

提案手法

• 非制限表現問題に対しては、負の証明を伴う線形時間アルゴリズムを開発し、弧の位置の順序を保つ変換を活用することで、論理的記憶領域（logspace）でも実装可能であることを示した。
• 有界表現問題に対しては、弧の開始点に整数の境界を課し、長さと位置の制約下でも同等性を維持する制約ベースのアプローチを採用した。
• 可能な弧長に対する二分探索と、円周値に対する線形走査を組み合わせ、最小UCAモデルを計算した。正しさの証明は、記述子に基づく弧の分離に依拠している。
• 最小UIGモデルの計算を修正するため、差分グラフにおける最短経路をベルマンフォード法で計算するように、既存のアルゴリズムを変更した。これにより、最小の弧長と円周が保証される。
• 最小UCAモデルの計算にあたっては、記述子システムを用い、弧の開始点と終了点の間隔を最小化する制約を課した。このシステムは、任意の間隔関数へ一般化可能である。
• 本稿では、すべてのUCAグラフが円周と弧長を最小化する最小モデルを有することを証明し、その構成的アルゴリズムを提供した。正しさは同等性および最小性の条件による検証で確認された。

実験結果

リサーチクエスチョン

• RQ1 UIGおよびUCAグラフの非制限表現問題は、負の証明を伴う線形時間で解けるか。また、論理的記憶領域（logspace）でも実装可能か。
• RQ2 与えられた弧の開始位置の下限および上限を尊重する有効なアルゴリズムは存在するか。その時間計算量はいかほどか。
• RQ3 すべてのUCAグラフは、円周と弧長を同時に最小化する最小モデルを有するか。このようなモデルは多項式時間で計算可能か。
• RQ4 古典的なUIG表現の線形時間アルゴリズムが最小モデルを正しく生成しない理由は何か。どのように修正可能か。
• RQ5 最小表現アルゴリズムを用いることで、与えられたUIGまたはUCAグラフを含む最小のパスおよびサイクルのべき乗を計算可能か。

主な発見

• 非制限表現問題に対して、負の証明を伴う線形時間アルゴリズムを提供した。これは論理的記憶領域（logspace）でも実装可能であり、従来の手法を改善した。
• 弧の開始位置に整数の境界を課す有界表現問題に対して、O(n²)時間のアルゴリズムを開発した。これは以前に取り上げられていなかったバージョンを解決した。
• すべてのUCAグラフは、円周と弧長を同時に最小化する最小モデルを有し、そのようなモデルは多項式時間で計算可能である。
• 従来の最小UIG表現の線形時間アルゴリズムが誤りであることが示され、O(n²)時間の正しい修正版が提供された。
• 最小表現アルゴリズムにより、与えられたUIGまたはUCAグラフを含む最小のパスおよびサイクルのべき乗を計算可能となった。
• 本稿では、最小UCAモデルが一意でない可能性を特定し、UCAグラフが指数的数の非同値最小モデルを有することがあり、最小（グローバル最適）モデルを計算する問題は未解決のまま残っている。