[論文レビュー] On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching

Massimo Equi, Roberto Grossi+2 more|arXiv (Cornell University)|Feb 10, 2019

Algorithms and Data Compression参考文献 5被引用数 5

ひとこと要約

この論文は、ラベル付きグラフにおける正確なパターンマッチングのための条件付き下界を確立し、直交ベクトル仮説（OV）のもとで、部分二次時間では解けないことを証明している。これは、無向グラフの最大次数が2（ジグザグマッチング）や決定的有向無環グラフ（DAG）といった制限付きのケースですら同様である。この結果は、従来の強い指数時間仮説（SETH）に基づく研究を拡張し、これらの設定においても $O(|E|m)$ の壁が避けられないことを示している。

ABSTRACT

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs in computational biology, query operations in graph databases, and analysis of heterogeneous networks, where the nodes of some paths must match a sequence of labels or types. In our recent work we described a conditional lower bound stating that the exact pattern matching problem in labeled graphs cannot be solved in less than quadratic time, namely, $O(|E|^{1 - ε} \, m)$ time or $O(|E| \, m^{1 - ε})$ time for any constant $ε>0$, unless the Strong Exponential Time Hypothesis (SETH) is false. The result holds even if node labels and pattern $P$ are drawn from a binary alphabet, and $G$ is restricted to undirected graphs of maximum degree three or directed acyclic graphs of maximum sum of indegree and outdegree three. It was left open what happens on undirected graphs of maximum degree two, i.e., when the pattern can have a zig-zag match in a (cyclic) bidirectional string. Also, the reduction created a non-determistic directed acyclic graph, and it was left open if determinism would make the problem easier. In this work, we show through the Orthogonal Vectors hypothesis (OV) that the same conditional lower bound holds even for these restricted cases.

研究の動機と目的

• 先行研究が残した未解決の制限付きケースを分析することで、ラベル付きグラフにおける正確なパターンマッチングの複雑さの理解を埋める。
• 決定的性や構造的制限（例：最大次数2）が、ラベル付きグラフにおけるパターンマッチングの複雑さを軽減するかどうかを調査する。
• これらの制限付きグラフクラスに対して、強い指数時間仮説（SETH）から直交ベクトル仮説（OV）への条件付き下界の拡張を試みる。
• 双方向文字列および決定的DAGにおけるジグザグマッチングにおいて、$O(|E|m)$ 時間の上限がOVのもとで最適であることを証明する。

提案手法

• 直交ベクトル（OV）問題から、ラベル付きグラフにおける正確なパターンマッチング問題への還元を構築する。
• ベクトル成分とその内積を符号化するため、特殊な部分グラフ $LG_{U}^{(j)}$、$LG_{W}^{(j)}$、$LG_{D}^{(j)}$ を組み合わせたグラフ構造 $LG$ を設計する。
• 文字列ラベルが付いたノードを用いて、ベクトルの直交性をチェックする：$LG_{W}^{(j)}$ での一致は、ベクトル間の内積がゼロに対応する。
• 中央の $LG_{W}^{(j)}$ コンポーネントで常に部分パターンの一致をテストできるように、2つの変更されたパターン $P^{(1)}$ と $P^{(2)}$ を導入する。
• 偶数番目の部分パターンのみが $LG_{W}^{(j)}$ と一致可能であるという事実を活用し、パターンの入れ替えによってすべての位置をカバーする。
• 同値性の証明：$P^{(1)}$ または $P^{(2)}$ が $LG$ で一致するための必要十分条件は、$X$ と $Y$ に直交するベクトルが存在することである。

実験結果

リサーチクエスチョン

• RQ1 最大次数2の無向グラフではジグザグマッチングが可能であるが、この場合にラベル付きグラフにおける正確なパターンマッチングの $O(|E|m)$ 時間上限を下回ることは可能か？
• RQ2 有向無環グラフ（DAG）における決定的性が、非決定的DAGと比較して正確なパターンマッチングの複雑さを軽減するか？
• RQ3 SETHのもとでの条件付き下界が、より弱い直交ベクトル仮説（OV）に対しても、制限付きグラフクラスにおいて有効であるか？
• RQ4 一般グラフに用いられた還元技法が、次数2の無向グラフや決定的DAGといった構造的サブクラスにおいても、ハードネスを保つように適応可能か？

主な発見

• 直交ベクトル仮説（OV）のもとでは、最大次数2の無向グラフでさえ、$O(|E|^{1-\rho}m)$ または $O(|E|m^{1-\rho})$ 時間で正確なパターンマッチングを解くことは不可能である（任意の $\rho > 0$ に対して）。
• 決定的有向無環グラフ（DAG）に対しても同様の条件付き下界が成立し、この文脈では決定的性が問題の難易度を軽減しないことが示された。
• 還元により、2つの入力集合からのベクトルが直交するかどうかの決定問題が保持されるグラフが構築され、その結果としてパターンが一致する。
• 2つの変更されたパターン $P^{(1)}$ と $P^{(2)}$ の使用により、部分パターンの位置に関係なく、中央の $LG_{W}^{(j)}$ コンポーネントでの一致テストが可能である。
• 部分パターンの数が奇数の場合でも、無害なダミー部分パターンを追加することで、還元が壊れないように保たれる。
• この結果により、標準的な複雑さの仮定のもとで、ラベル付きグラフにおける正確なパターンマッチングの $O(|E|m)$ 時間上限が、極めて制限付きのグラフクラスですら本質的に最適であると確認された。