[논문 리뷰] Minimum cycle and homology bases of surface embedded graphs

Glencora Borradaile, Erin Wolf Chambers외 2명|arXiv (Cornell University)|2016. 07. 18.

Topological and Geometric Data Analysis참고 문헌 23인용 수 7

한 줄 요약

이 논문은 오리엔터블 또는 비오리엔터블 표면에 매bed된 그래프에서 최소 사이클 기저와 호모로지 기저를 계산하기 위한 결정적 알고리즘을 제시한다. 최소 사이클 기저의 경우 $O(n^{\omega} + 2^{2g}n^2 + m)$의 시간 복잡도를 달성하고, 최소 호모로지 기저의 경우 $O((g+b)^3n\log n + m)$의 시간 복잡도를 확보하여 이전의 일반 그래프 알고리즘보다 향상되었으며, 표면의 위상 구조를 활용하여 순환 이중 커버와 표면에 매bed된 그래프에서의 다중 소스 최단경로를 활용한다.

ABSTRACT

We study the problems of finding a minimum cycle basis (a minimum weight set of cycles that form a basis for the cycle space) and a minimum homology basis (a minimum weight set of cycles that generates the $1$-dimensional ($\mathbb{Z}_2$)-homology classes) of an undirected graph embedded on a surface. The problems are closely related, because the minimum cycle basis of a graph contains its minimum homology basis, and the minimum homology basis of the $1$-skeleton of any graph is exactly its minimum cycle basis. For the minimum cycle basis problem, we give a deterministic $O(n^ω+2^{2g}n^2+m)$-time algorithm for graphs embedded on an orientable surface of genus $g$. The best known existing algorithms for surface embedded graphs are those for general graphs: an $O(m^ω)$ time Monte Carlo algorithm and a deterministic $O(nm^2/\log n + n^2 m)$ time algorithm. For the minimum homology basis problem, we give a deterministic $O((g+b)^3 n \log n + m)$-time algorithm for graphs embedded on an orientable or non-orientable surface of genus $g$ with $b$ boundary components, assuming shortest paths are unique, improving on existing algorithms for many values of $g$ and $n$. The assumption of unique shortest paths can be avoided with high probability using randomization or deterministically by increasing the running time of the homology basis algorithm by a factor of $O(\log n)$.

연구 동기 및 목표

• 오리엔터블 또는 비오리엔터블 표면에 매bed된 무방향 그래프에서 최소 사이클 기저와 호모로지 기저를 효율적으로 계산하기 위한 알고리즘을 개발한다.
• 일반 그래프에 대해 기존의 $O(m^\omega)$ 및 $O(nm^2/\log n + n^2m)$ 시간 알고리즘보다 향상시키기 위해 표면 위상 구조를 활용한다.
• 유일한 최단경로를 가정할 때 최소 호모로지 기저 문제에 대한 결정적 알고리즘을 제공하며, 비유일한 경로를 다루기 위해 랜덤화 또는 결정적 변형을 제공한다.
• 평면 그래프에서의 기법을 고유수 $g$를 가진 표면으로 일반화하며, 특히 순환 이중 커버와 다중 소스 최단경로 오라클을 활용한다.
• 최소 사이클 기저와 호모로지 기저 사이의 관계를 규명하여, 표면에 매bed된 그래프에서 최소 사이클 기저가 최소 호모로지 기저를 포함함을 보여준다.

제안 방법

• 지지 벡터 $S$에 대해 그래프 $G$의 순환 이중 커버 $G^2_S$를 구성함으로써, 호모로지 클래스 질의를 최단경로 문제로 환원한다.
• 모든 비영 호모로지 사이클이 $\Pi$에 속한 경로 중 적어도 하나와 교차하도록 하는 $O(\beta)$개의 최단경로 집합 $\Pi$를 사용하여 모든 호모로지 클래스를 커버한다.
• 경로 $\sigma \in \Pi$를 이중 커버 $G^2_S$로 올리고, 정점 $(s,0)$과 $(s,1)$에서의 최단경로를 계산하여 비자명한 호모로지 클래스를 나타내는 사이클을 찾는다.
• 표면 $\Sigma^2_S$에서 올린 경로 $\hat{\sigma}$를 沿해 잘라낸 후, 레이어 내에서 다중 소스 최단경로 오라클(Lemma 6.7)을 적용하여 경로의 끝점에서 대응 정점까지의 최단경로 질의를 효율적으로 수행한다.
• 각 지지 벡터 $S$로 정의된 호모로지 클래스에 대해, $\langle S, [\gamma]_h \rangle = 1$를 만족하는 최소 무게 사이클 $\gamma$를 이중 커버에서의 최단경로 계산을 통해 계산한다.
• 모든 $O(\beta)$개의 기저 벡터 $S$에 대해 위 절차를 반복하여 최소 무게 호모로지 기저를 구성하며, 총 시간 복잡도는 $O((g+b)^3n\log n + m)$이 된다.

실험 결과

연구 질문

• RQ1 표면의 위상적 구조를 활용하면 일반 그래프 알고리즘보다 표면에 매bed된 그래프의 최소 사이클 기저를 더 효율적으로 계산할 수 있는가?
• RQ2 고유수 $g$와 $b$개의 경계 성분을 가진 표면에 매bed된 그래프에서 최소 호모로지 기저를 계산하는 데 필요한 시간 복잡도는 얼마인가?
• RQ3 최단경로 기법을 어떻게 변형하여 표면 위에서 특정 호모로지 클래스의 최소 무게 사이클을 계산할 수 있는가?
• RQ4 순환 이중 커버는 호모로지 클래스 질의를 최단경로 문제로 환원하는 데 어떤 역할을 하는가?
• RQ5 유일한 최단경로 가정을 제거해도 실행 시간이 크게 증가하지 않도록 할 수 있는가?

주요 결과

• 이 논문은 오리엔터블 표면 고유수 $g$를 가진 그래프에서 최소 사이클 기저를 계산하는 결정적 알고리즘을 제시하며, 시간 복잡도는 $O(n^{\omega} + 2^{2g}n^2 + m)$이다. 이는 일반 그래프 알고리즘보다 향상된 성능을 보인다.
• 최소 호모로지 기저 문제에 대해 $O((g+b)^3n\log n + m)$의 시간 복잡도를 달성하였으며, 이는 많은 $g$와 $n$ 값에서 기존 알고리즘보다 빠르다.
• 알고리즘은 유일한 최단경로를 가정하지만, 이 가정은 랜덤화 또는 결정적으로 $O(\log n)$ 요인의 시간 증가를 감수함으로써 제거할 수 있다.
• 그래프의 최소 사이클 기저는 그 최소 호모로지 기저를 포함하며, 임의의 그래프의 1-스켈레톤에서 최소 호모로지 기저는 최소 사이클 기저와 일치한다.
• 순환 이중 커버와 다중 소스 최단경로 오라클의 사용은 비자명한 호모로지 클래스 내 최소 무게 사이클을 효율적으로 계산할 수 있도록 한다.
• 이중 커버 $\Sigma^2_S$의 고유수는 $O\left(\beta\right)$ 이하이며, 여기서 $\beta = 2g - \max\{b-1, 0\}$은 오리엔터블 표면에 대해, $\beta = g - \max\{b-1, 0\}$은 비오리엔터블 표면에 대해 성립한다. 이는 복잡도를 관리 가능하게 한다.