[논문 리뷰] On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching

Massimo Equi, Roberto Grossi외 2명|arXiv (Cornell University)|2019. 02. 10.

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)}$에서의 매칭은 두 벡터 간의 내적이 0임을 의미한다.
• 패턴의 모든 부분 패턴이 중심 $LG_{W}^{(j)}$ 구성 요소에서 매칭 가능하도록 보장하기 위해 두 개의 수정된 패턴 $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)에도 적용되며, 이는 이 맥락에서 결정론성이 문제를 더 쉽게 만들지 않는다는 것을 보여준다.
• 감소는 두 입력 집합에서 수직인 두 벡터가 존재할 경우에만 패턴이 매칭되는 그래프를 구성하며, 이는 수직성 결정 문제를 유지한다.
• 두 개의 수정된 패턴 $P^{(1)}$과 $P^{(2)}$를 사용함으로써, 부분 패턴의 위치에 관계없이 중심 $LG_{W}^{(j)}$ 구성 요소에서 매칭 테스트가 가능해진다.
• 부분 패턴의 수가 홀수일 경우에도, 감소에 영향을 주지 않는 더미 부분 패턴을 추가함으로써 구성이 강건해진다.
• 결과적으로, 표준 복잡도 가정 하에 레이블이 부여된 그래프에서 정확한 패턴 매칭에 대한 $O(|E|m)$ 시간 복잡도는 사실상 최적임을 확인한다. 이는 매우 제한된 그래프 클래스에서도 마찬가지다.