[논문 리뷰] Determining Edge Expansion and Other Connectivity Measures of Graphs of Bounded Genus

Viresh Patel|arXiv (Cornell University)|2010. 04. 26.

Interconnection Networks and Systems인용 수 7

한 줄 요약

이 논문은 고리 수가 g인 n-정점 그래프의 간선 확장성과 기타 f-가장자기자르기 측정치를 다항시간 내에 계산하는 알고리즘을 제시한다. 이 알고리즘의 실행 시간은 n^{O(g²)}이다. 평면 그래프 알고리즘의 확장을 위해 표면 이중성과 호모로지 이론을 활용하여 문제를 보조 그래프 내의 최단경로 문제로 환원함으로써, 일반적으로 NP-난이도인 고리 수가 유한한 그래프에 대해 정확한 해를 도출한다.

ABSTRACT

In this paper, we show that for an $n$-vertex graph $G$ of genus $g$, the edge expansion of $G$ can be determined in time $n^{O(g^2)}$. We show that the same is true for various other similar measures of edge connectivity.

연구 동기 및 목표

• 고리 수가 유한한 그래프에서 간선 확장성과 관련된 연결성 측정치를 정확하게 계산하는 알고리즘을 개발하는 것.
• 파크와 필립스의 평면 그래프 접근법을 고리 수가 더 높은 표면으로 확장하는 것.
• 비평면 그래프 클래스에서 가장자리 자르기 및 몫 자르기 문제에 대한 정확 알고리즘의 격차를 메우는 것.
• 고리 수 g에 대해 고정 매개변수 다항식 시간 해법을 제공함으로써 근사 알고리즘 외의 새로운 방향을 제시하는 것.

제안 방법

• 표면의 고리 수가 g인 그래프 G의 컷과 그 이중 그래프 D(G)의 폐쇄 도착 경로 사이의 이중성 관계를 활용한다.
• 표면 호모로지 이론을 사용하여 D(G)의 각 방향 엣지에 ℤ^{2g} 내의 벡터를 할당함으로써 호모로지 클래스를 통한 사이클 탐지가 가능하게 한다.
• 정점, 도착 경로 길이, 호모로지 클래스를 인코딩하는 정점과 유효한 전이를 나타내는 간선을 가진 보조 방향 그래프 H*를 구축한다.
• 기본 정점에서의 최단경로를 추적하면서 가중치와 호모로지 클래스를 함께 기록하기 위해 H*에 다익스트라 알고리즘을 적용한다.
• D(G) 내에서 호모로지 클래스가 자명한(즉, Θ(σ) = 0) 폐쇄 도착 경로를 식별함으로써 G에서의 유효한 컷에 해당하는 경로를 찾는다.
• 자체적으로 d^f_G를 최소화하는 도착 경로를 선택하고, 이중 사상 D⁻¹을 통해 이를 G의 컷으로 다시 매핑한다.

실험 결과

연구 질문

• RQ1 고리 수가 유한한 그래프에 대해 간선 확장성과 관련된 연결성 측정치를 다항시간 내에 정확하게 계산할 수 있는가?
• RQ2 평면 그래프의 경우를 초월하여 고리 수 g에 대해 고정 매개변수 다항식 시간 알고리즘이 존재하는가?
• RQ3 표면 이중성과 호모로지 이론을 어떻게 활용하여 비평면 그래프에서 유효한 컷을 특성화할 수 있는가?
• RQ4 위상수학적 그래프 이론을 사용하여 고리 수가 유한한 그래프에서 가장자리 자르기 또는 최소 몫 자르기 문제를 정확히 해결할 수 있는가?

주요 결과

• 고리 수가 g인 n-정점 그래프의 간선 확장성은 n^{O(g²)} 시간 내에 계산 가능하며, 고리 수에 대해 고정 매개변수 다항식 시간 알고리즘임을 입증한다.
• 동일한 알고리즘 프레임워크는 f가 다항시간 내에서 계산 가능한 볼록 증가 함수인 모든 f-최소자르기 문제에 적용 가능하다.
• 실행 시간은 O(n^{2g² + 4g + 7}) 이하로 제한되며, 고정된 고리 수 g에 대해서는 다항식 시간이다.
• 이 방법은 크기가 O(n^{2g+3})인 보조 그래프 H*를 구축하고, 그 위에서 최단경로 문제를 해결하는 데 의존한다.
• G에서의 유효한 컷은 D(G) 내에서 자명한 호모로지 클래스를 가진 폐쇄 도착 경로에 해당하므로, 호모로지 추적을 통한 효율적 탐색이 가능하다.
• 알고리즘은 자명한 호모로지 클래스를 가진 모든 폐쇄 도착 경로 중에서 d^f_G를 최소화하는 경로를 정확히 식별함으로써 f-최소자르기 컷을 찾는다.