[논문 리뷰] Efficient Exact Paths For Dyck and semi-Dyck Labeled Path Reachability

Phillip G. Bradford|arXiv (Cornell University)|2018. 02. 14.

Data Management and Algorithms참고 문헌 32인용 수 4

한 줄 요약

이 논문은 간선 가중치가 \{-1, +1\}인 방향 그래프에서 정확한 경로 도달 가능성을 계산하기 위한 $˜{O}(n^\omega)$ 알고리즘을 제시한다. 여기서 $\omega$는 행렬 곱셈 지수이다. 이 알고리즘을 활용해 대수적 그래프 방법을 통해 Dyck 및 세미-Dyck 레이블이 부여된 경로 도달 가능성을 효율적으로 결정하며, 영 cost 간선을 통한 경로 조합과 행렬 곱셈을 통해 거의 최적의 복잡도를 달성한다.

ABSTRACT

The exact path length problem is to determine if there is a path of a given fixed cost between two vertices. This paper focuses on the exact path problem for costs $-1,0$ or $+1$ between all pairs of vertices in an edge-weighted digraph. The edge weights are from $\{ -1, +1 \}$. In this case, this paper gives an $\widetilde{O}(n^ω)$ exact path solution. Here $ω$ is the best exponent for matrix multiplication and $\widetilde{O}$ is the asymptotic upper-bound mod polylog factors. Variations of this algorithm determine which pairs of digraph nodes have Dyck or semi-Dyck labeled paths between them, assuming two parenthesis. Therefore, determining digraph reachability for Dyck or semi-Dyck labeled paths costs $\widetilde{O}(n^ω)$. A path label is made by concatenating all symbols along the path's edges. The exact path length problem has many applications. These applications include the labeled path problems given here, which in turn, also have numerous applications.

연구 동기 및 목표

• 간선 가중치가 \{-1,+1\}인 방향 그래프에서 비용이 $-1$, $0$, 또는 $+1$인 정확한 경로 길이 문제를 해결한다.
• 이 해결책을 단일 괄호 쌍을 가진 Dyck 및 세미-Dyck 언어의 도달 가능성으로 확장한다.
• 대수적 그래프 방법과 행렬 곱셈을 활용해 레이블이 부여된 경로 도달 가능성에 대해 거의 최적의 알고리즘을 제공한다.
• Dyck 및 세미-Dyck 제약이 있는 도달 가능성은 영 cost 경로 조합을 통해 $\widetilde{O}(n^\omega)$ 시간 내에 계산될 수 있음을 보여준다.

제안 방법

• 전치 폐쇄를 통해 $+1$ 및 $-1$ 간선 가중치가 균형 잡힌 경로를 식별함으로써 영 cost 간선 집합 $E^*$를 구성한다.
• 특히 $\{ -1, 0, +1 \}$에서의 반군 위에서의 행렬 곱셈을 활용한 대수적 그래프 방법을 사용하여 도달 가능성을 행렬 곱셈을 통해 계산한다.
• 영 cost 간선 $E^*$와의 조합을 통해 $\pm1$-비용 경로를 발견하기 위해 $\pm1$-가중 간선을 확장한다.
• 비용 0인 경로를 사용해 $\pm1$ 간선을 연결하여 더 긴 $\pm1$-비용 경로를 만드는 재귀적 조합 전략을 적용한다.
• Dyck 및 세미-Dyck 경로는 균형 잡힌 괄호를 요구하며, 이는 네트워크 비용이 0인 경로로 해석될 수 있음을 알고 있다.
• 행렬 곱셈 알고리즘의 향상된 성능을 활용하여 시간 복잡도를 $\widetilde{O}(n^\omega)$로 감소시킨다. 여기서 다항로그 인자들은 제외된다.

실험 결과

연구 질문

• RQ1 \{-1,+1\}-가중 방향 그래프에서 $\kappa \in \{-1, 0, +1\}$인 정확한 경로 길이 문제를 거의 최적의 시간 내에 해결할 수 있는가?
• RQ2 대수적 방법을 사용해 레이블이 부여된 방향 그래프에서 Dyck 및 세미-Dyck 언어의 도달 가능성을 효율적으로 계산할 수 있는가?
• RQ3 모든 경로를 명시적으로 열거하지 않고도 영 cost 경로를 사용해 $\pm1$-비용 경로를 효율적으로 조합할 수 있는가?
• RQ4 행렬 곱셈 기법을 사용할 때 Dyck 및 세미-Dyck 경로 도달 가능성 계산의 점근적 복잡도는 얼마인가?
• RQ5 $\pm1$ 경로 도달 가능성 문제를 어떻게 행렬 연산으로 환원하여 $\widetilde{O}(n^\omega)$ 시간 복잡도를 달성할 수 있는가?

주요 결과

• $\{-1,+1\}$-가중 방향 그래프에서 $\kappa \in \{-1, 0, +1\}$인 정확한 경로 길이 문제는 $\widetilde{O}(n^\omega)$ 시간 내에 해결 가능하다.
• 두 쌍의 괄호 기호를 가진 방향 그래프에서 Dyck 및 세미-Dyck 레이블이 부여된 경로 도달 가능성은 $\widetilde{O}(n^\omega)$ 시간 내에 계산 가능하다.
• 균형 잡힌 $+1$ 및 $-1$ 간선 조합으로 생성된 영 cost 경로를 활용해 $\pm1$-비용 경로를 효율적으로 조합한다.
• 알고리즘은 AGMY 행렬 곱셈을 사용하여 도달 가능성을 계산하며, 대수적 그래프 방법을 통해 거의 최적의 복잡도를 달성한다.
• 문제를 다항로그 인자 수준의 오버헤드로 행렬 곱셈으로 환원하며, 기존의 행렬 곱셈 알고리즘 향상 성능을 활용한다.
• 이 방법은 Dyck 및 세미-Dyck 언어 모두에 적용 가능하며, 후자의 경우 왼쪽 및 오른쪽 역원 축약을 모두 허용한다.