[논문 리뷰] Algorithmic Applications of Baur-Strassen's Theorem: Shortest Cycles, Diameter and Matchings

Marek Cygan, Harold N. Gabow외 1명|arXiv (Cornell University)|2012. 04. 07.

Advanced Graph Theory Research참고 문헌 29인용 수 11

한 줄 요약

이 논문은 정수 간선 가중치를 가진 그래프에서 음의 사이클이 없는 경우, Baur-Strassen 정리와 Strojohann의 행렬식 알고리즘을 활용한 일반적인 알고리즘 프레임워크를 제안한다. 이는 짧은 사이클, 지름, 반지름, 최소 가중치 완전 매칭 문제를 해결한다. $[-W, W]$ 범위의 정수 간선 가중치를 가진 그래프에서 이 모든 문제에 대해 $\tilde{O}(Wn^{\tau})$ 시간 복잡도를 달성하며, 음수 간선을 가진 무방향 그래프에 대해 이러한 효율적인 해법을 제공하고, 일반 그래프에서 최소 가중치 완전 매칭 문제에 대한 열린 문제를 해결한다.

ABSTRACT

Consider a directed or an undirected graph with integral edge weights from the set [-W, W], that does not contain negative weight cycles. In this paper, we introduce a general framework for solving problems on such graphs using matrix multiplication. The framework is based on the usage of Baur-Strassen's theorem and of Strojohann's determinant algorithm. It allows us to give new and simple solutions to the following problems: * Finding Shortest Cycles -- We give a simple ilde{O}(Wn^ω) time algorithm for finding shortest cycles in undirected and directed graphs. For directed graphs (and undirected graphs with non-negative weights) this matches the time bounds obtained in 2011 by Roditty and Vassilevska-Williams. On the other hand, no algorithm working in ilde{O}(Wn^ω) time was previously known for undirected graphs with negative weights. Furthermore our algorithm for a given directed or undirected graph detects whether it contains a negative weight cycle within the same running time. * Computing Diameter and Radius -- We give a simple ilde{O}(Wn^ω) time algorithm for computing a diameter and radius of an undirected or directed graphs. To the best of our knowledge no algorithm with this running time was known for undirected graphs with negative weights. * Finding Minimum Weight Perfect Matchings -- We present an ilde{O}(Wn^ω) time algorithm for finding minimum weight perfect matchings in undirected graphs. This resolves an open problem posted by Sankowski in 2006, who presented such an algorithm but only in the case of bipartite graphs. In order to solve minimum weight perfect matching problem we develop a novel combinatorial interpretation of the dual solution which sheds new light on this problem. Such a combinatorial interpretation was not know previously, and is of independent interest.

연구 동기 및 목표

• 행렬 곱셈을 기반으로 한 통합적이고 대수적 프레임워크를 개발하여, 가중치가 있는 그래프에서 기본적인 최단경로 및 매칭 문제를 해결한다.
• 음수 간선 가중치를 가진 무방향 그래프에서 짧은 사이클과 완전 매칭 문제에 대한 효율적인 알고리즘이 부족한 문제를 해결한다.
• Sankowski(2006)가 제기한 일반 무방향 그래프에서 최소 가중치 완전 매칭을 계산하는 문제를 해결한다.
• 기존 기법을 확장하여 음수 가중치를 가진 그래프에서 지름과 반지름을 계산하는 데 적용한다. 이는 이전 방법이 비음수 가중치에만 국한되어 있었기 때문이다.

제안 방법

• Baur-Strassen 정리를 활용하여 다항식 행렬의 행렬식의 부분 도함수를 계산함으로써, 짧은 사이클 가중치의 효율적 계산을 가능하게 한다.
• Strojohann의 알고리즘을 사용하여 다항식 환 위에서의 빠른 행렬식 계산을 수행한다.
• 유한 체 위에서의 무작위 대입을 적용하여 기호 도함수를 평가하고, 비영인 항목을 탐지함으로써 사이클 또는 경로 소속 여부를 확인한다.
• 무방향 그래프에서 짧은 사이클을 찾는 문제를 정점 분할을 통해 $n$개의 최소 가중치 완전 매칭 계산 문제로 환원한다.
• 행렬식 기반 대수적 계산과 이진 탐색을 조합하여 지름과 반지름을 $\tilde{O}(Wn^{\tau})$ 시간 내에 계산한다.
• 최소 가중치 완전 매칭의 쌍대 해에 대한 새로운 조합적 해석을 제안함으로써, 새로운 구조적 통찰을 제공한다.

실험 결과

연구 질문

• RQ1 행렬 곱셈을 기반으로 한 통합적 대수적 프레임워크를 사용하여 음수 가중치를 가진 그래프에서 여러 기본 그래프 문제를 해결할 수 있는가?
• RQ2 무방향 그래프에서 음수 간선 가중치를 가진 경우, 짧은 사이클을 $\tilde{O}(Wn^{\tau})$ 시간 내에 계산할 수 있는가?
• RQ3 일반(비이분할) 무방향 그래프에서 최소 가중치 완전 매칭 문제를 $\tilde{O}(Wn^{\tau})$ 시간 내에 해결할 수 있는가? 이는 2006년에 제기된 열린 문제를 해결하는 것이다.
• RQ4 음수 간선 가중치를 가진 그래프에서 대수적 방법을 사용하여 지름과 반지름을 $\tilde{O}(Wn^{\tau})$ 시간 내에 계산할 수 있는가?
• RQ5 길이가 $t$ 이하인 사이클 위에 있는 정점들의 집합을 기호적 행렬식 계산을 통해 효율적으로 계산할 수 있는가?

주요 결과

• 논문은 음수 간선 가중치를 가진 무방향 그래프에서 짧은 사이클을 찾는 데 있어 처음으로 $\tilde{O}(Wn^{\tau})$ 시간 복잡도를 가지는 알고리즘을 제시한다.
• 이 논문은 음수 간선 가중치를 가진 무방향 그래프에서 지름과 반지름을 계산하는 데 있어 처음으로 $\tilde{O}(Wn^{\tau})$ 시간 복잡도를 가지는 알고리즘을 제공한다.
• Sankowski의 2006년 열린 문제를 해결하여 일반 무방향 그래프에서 최소 가중치 완전 매칭 문제를 $\tilde{O}(Wn^{\tau})$ 시간 내에 해결하는 알고리즘을 제시한다.
• 프레임워크는 $\tilde{O}(Wn^{\tau})$ 시간 내에 음수 가중치 사이클을 탐지할 수 있으며, 이는 방향 그래프에 대한 최고의 기존 복잡도와 일치한다.
• 길이가 $t$ 이하인 사이클 위에 있는 정점들의 집합을 $\tilde{O}(Wn^{\tau})$ 시간 내에 계산할 수 있으며, 이는 이전의 $\tilde{O}(Wn^{\tau}t)$ 복잡도보다 향상된 것이다.
• 최소 가중치 완전 매칭의 쌍대 해에 대한 새로운 조합적 해석을 개발하였으며, 이는 별도의 이론적 관심을 끌 만하다.