[논문 리뷰] Finding heaviest H-subgraphs in real weighted graphs, with applications

Virginia Vassilevska, Ryan Williams외 1명|ArXiv.org|2006. 09. 04.

Advanced Graph Theory Research참고 문헌 30인용 수 6

한 줄 요약

이 논문은 빠른 행렬 곱셈을 사용하여 실수 가중치가 부여된 그래프에서 가장 무거운 H-부분그래프를 찾는 강한 다항식 시간 알고리즘을 제시한다. 정점 및 간선 가중치가 있는 경우의 시간 복잡도를 향상시켰으며, 정점 가중치가 있는 그래프의 경우, 모든 정점 쌍에 대해 가장 무거운 H-부분그래프를 찾는 문제에 대해 O(n^{t(ω,h)}) 알고리즘을 제안한다. 여기서 t(ω,h)는 정수 프로그래밍에서 유도된 것으로, 삼각형의 경우 직사각형 행렬 곱셈을 사용해 O(n^{2.575}) 시간에 해결할 수 있으며, 이는 이전의 경계보다 크게 향상된 결과이다.

ABSTRACT

For a graph G with real weights assigned to the vertices (edges), the MAX H-SUBGRAPH problem is to find an H-subgraph of G with maximum total weight, if one exists. The all-pairs MAX H-SUBGRAPH problem is to find for every pair of vertices u,v, a maximum H-subgraph containing both u and v, if one exists. Our main results are new strongly polynomial algorithms for the all-pairs MAX H-SUBGRAPH problem for vertex weighted graphs. We also give improved algorithms for the MAX-H SUBGRAPH problem for edge weighted graphs, and various related problems, including computing the first k most significant bits of the distance product of two matrices. Some of our algorithms are based, in part, on fast matrix multiplication.

연구 동기 및 목표

• 고정된 작은 그래프 H에 대해 실수 가중치가 부여된 그래프에서 가장 무거운 H-부분그래프를 찾는 효율적인 알고리즘을 개발하는 것.
• 특히 정점 및 간선 가중치가 있는 설정에서 빠른 행렬 곱셈 기법을 가중치가 있는 부분그래프 문제에 확장하는 것.
• 모든 정점 쌍에 대해 가장 무거운 H-부분그래프를 포함하는 문제인 최대 H-부분그래프 문제의 전반적 형태를 해결하는 것.
• 간선 색상이 있는 그래프에서 단색 또는 레인보우 부분그래프를 탐지하는 데 있어 기존 알고리즘보다 개선된 결과를 얻는 것.
• 실수 행렬의 거리 곱의 가장 중요한 비트를 진정한 삼차 이하 시간 복잡도로 계산하는 것.

제안 방법

• 시간 복잡도를 지배하는 지수 t(ω,h)를 계산하기 위해 작은 정수 최적화 문제를 정의함으로써 행렬 곱셈으로의 환원을 사용한다.
• 정점 가중치가 있는 그래프의 경우, H의 정점 집합을 세 부분으로 분할하고, 단색 레이블이 부여된 H의 복제본을 탐지하기 위해 부울 행렬 곱셈을 사용한다.
• 표준 정사각형 행렬 곱셈보다 더 빠른 런타임을 얻기 위해 빠른 직사각형 행렬 곱셈을 활용하여 지수 t(ω,h)를 향상시킨다.
• 간선 가중치가 있는 그래프의 경우, 색상 기반 분할과 행렬 곱셈을 조합하여 고정 길이의 가장 무거운 사이클을 탐지한다.
• 간선 색상이 있는 그래프의 경우, 간선을 색상에 따라 분할하고 각 색상 클래스에 대해 별도로 부분그래프 탐지 기법을 적용한다.
• 덧셈-비교 모델에 의존함으로써 강한 다항성과 실수 가중치에 대한 정밀도 가정 없이 적용 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 모든 정점 쌍에 대해 최대 H-부분그래프 문제의 시간 복잡도 O(n^{t(ω,h)})에서 지수 t(ω,h)를 현재의 경계를 초월해 향상시킬 수 있는가?
• RQ2 간선 가중치가 있는 그래프에서 길이 2k 또는 2k−1인 가장 무거운 사이클을 탐지하는 데 있어 시간 경계의 상수 로그 인자를 제거할 수 있는가?
• RQ3 단색 삼각형을 O(n^ω) 시간 내에 탐지할 수 있는가? 이는 무게가 없는 경우와 동일한 성능을 달성할 수 있으며, 아니면 O(n^{(3+ω)/2})가 최선의 가능성이 있는가?
• RQ4 유사한 기법을 사용하여 n차원의 n개 점에 대한 지배 행렬을 Õ(n^ω) 시간 내에 계산할 수 있는가?
• RQ5 이 프레임워크를 최소 H-부분그래프 문제로 확장하여 최대 문제와 동일한 효율성으로 해결할 수 있는가?

주요 결과

• 정점 가중치가 있는 그래프에서 모든 정점 쌍에 대해 최대 H-부분그래프 문제는 t(ω,h)가 정수 프로그래밍에서 유도된 지수를 가지며, O(n^{t(ω,h)}) 시간 내에 해결할 수 있다.
• 삼각형의 경우(h=3), 빠른 직사각형 행렬 곱셈을 사용해 O(n^{2.575}) 시간 내에 실행되며, 정사각형 행렬 곱셈을 사용한 O(n^{2.616}) 경계보다 향상된 결과를 얻는다.
• h=4,5,8의 경우, 시간 복잡도는 무게가 없는 H-부분그래프 탐지 문제와 거의 동일하며, 이는 효율성이 높다는 것을 의미한다.
• 간선 수가 m인 간선 가중치가 있는 그래프에서 길이 2k 또는 2k−1인 가장 무거운 사이클을 찾는 데 O(m^{2−1/k} log n) 시간 알고리즘이 도출된다.
• 간선 가중치가 있는 그래프에서 고정 길이의 가장 무거운 사이클을 찾는 데 랜덤화된 O(n^3 / log n) 시간 알고리즘이 제안된다.
• 이 방법은 실수 행렬의 거리 곱의 가장 중요한 비트를 진정한 삼차 이하 시간 복잡도로 효율적으로 계산할 수 있도록 한다.