[論文レビュー] Longest paths in Planar DAGs in Unambiguous Logspace

Nutan Limaye, Meena Mahajan+1 more|ArXiv.org|Feb 12, 2008

Advanced Graph Theory Research参考文献 14被引用数 7

ひとこと要約

この論文は、平面有向無閉路グラフ（DAG）における最長経路を見つける問題が、非一意的対数空間（UL）およびその補集合（co-UL）に属することを確立し、2つの異なるアルゴリズムを用いて示している。主な貢献は、平面DAGにおけるLong-Path問題がUL ∩ co-ULに属することの証明であり、これはこのクラスにおける到達可能性と距離の最良の既知の複雑性境界と一致する。さらに、対数空間還元を用いてトーラス型DAGへ拡張されている。

ABSTRACT

We show via two different algorithms that finding the length of the longest path in planar directed acyclic graph (DAG) is in unambiguous logspace UL, and also in the complement class co-UL. The result extends to toroidal DAGs as well.

研究の動機と目的

• 平面有向無閉路グラフ（DAG）におけるLong-Path問題の計算複雑性を特定すること。
• 平面DAGにおけるLong-PathがUL ∩ co-ULに属することを確立し、このクラスにおける到達可能性（Reach）と距離（Distance）の最良の既知の境界と一致させること。
• 平面到達可能性からの対数空間還元を用いて、結果をトーラス型DAGに拡張すること。
• 特に最大一意性の下で、系列-並列グラフと同様に、到達可能性、距離、Long-Pathの等価性を調査すること。

提案手法

• 頂点uが定めるカットを跨ぐ辺の出次数に応じて、各辺をパスに置き換える変換を用いて、単一ソース・単一シンクの平面DAGにおけるLong-Pathを距離問題に還元する。
• 各辺を、その両端の頂点の出次数に依存する長さのパスに置き換える新しいグラフG′を構築する。
• 変換後のパス総長が2|E| − |ρ|であることに着目し、Gにおける最長経路がG′において最短経路に写像されることを示し、還元を可能にする。
• 各頂点からシンクへの最長経路長の合計を推測する非一意的対数空間手順を用いる。
• 非一意的計算を保証するため、最大一意性仮定を導入：各頂点ペア間の最長経路が一意であると仮定する。
• 集合Sk = {v | D(v) ≥ k}と関連するカウントckおよび和Σkを用いて、曖昧さなく経路長を追跡する反復的更新を行う。

実験結果

リサーチクエスチョン

• RQ1 到達可能性と距離がULに属することを踏まえ、平面DAGにおけるLong-Path問題がUL ∩ co-ULに属するか？
• RQ2 対数空間で計算可能な変換を用いて、平面DAGにおけるLong-Path問題を距離問題に還元可能か？
• RQ3 Long-Pathの非一意的対数空間アルゴリズムは、最長経路の最大一意性のような構造的仮定に依存するか？
• RQ4 系列-並列グラフと同様に、平面DAGにおいて距離とLong-Pathが同じ複雑性境界で等価であるか？
• RQ5 平面DAGにおけるLong-Pathの複雑性が、対数空間還元を用いてトーラス型DAGにおけるものに上限づけられるか？

主な発見

• 平面DAGにおけるLong-Path問題はUL ∩ co-ULに属し、このクラスにおける到達可能性と距離の複雑性と一致する。
• 対数空間で計算可能な変換を用いて、平面DAGにおけるLong-Path問題を距離問題に還元可能である。
• 変換により、Gにおけるs→t経路ρ（長さ|ρ|）がG′において長さ2|E| − |ρ|の経路に写像され、Gにおける最長経路がG′において最短経路に変換される。
• 最大一意性仮定の下で、集合Skと関連するカウントckおよび和Σkの反復的更新を用いて、非一意的対数空間アルゴリズムを構築した。
• アルゴリズムは正しくかつ非一意的である：総和Mが正しく推測された場合、受容に至る計算経路は唯一つである。
• 平面到達可能性からの対数空間還元を用いて、結果はトーラス型DAGへ拡張可能であり、トーラス型DAGにおける距離とLong-Pathの複雑性は平面DAGにおけるものと同等であることが示された。