[논문 리뷰] Node Expansions and Cuts in Gromov-hyperbolic Graphs.

Bhaskar DasGupta, Marek Karpiński외 2명|arXiv (Cornell University)|2015. 10. 29.

Geometric and Algebraic Topology참고 문헌 23인용 수 3

한 줄 요약

이 논문은 고르모프-하이퍼볼릭 그래프에서 노드 확장과 컷 크기의 구조적, 다항시간 계산 가능한 경계를 설정하며, 소스 및 타겟 노드가 로그 수준으로 분리되어 있을 경우 소규모 컷과 낮은 확장도 존재함을 증명한다. 이는 크기 제약이 있는 컷의 히팅 세트에 대한 효율적인 알고리즘을 가능하게 하며, 아로라, 바라크, 스투어가 제기한 소규모 집합 확장 문제를 다항시간 내에 해결한다.

ABSTRACT

Gromov-hyperbolic graphs (or, hyperbolic graphs for short) are a non-trivial interesting classes of non-expander graphs. Originally conceived by Gromov in 1987 in a different context while studying fundamental groups of a Riemann surface, the hyperbolicity measure for graphs has recently been a quite popular measure in the network science community in quantifying curvature and closeness to a tree topology for a given network, and many real-world networks have been empirically observed to be hyperbolic. In this paper, we provide constructive non-trivial bounds on node expansions and cut-sizes for hyperbolic graphs, and show that witnesses for such non-expansion or cut-size can in fact be computed efficiently in polynomial time. We also provide some algorithmic consequences of these bounds and their related proof techniques for a few problems related to cuts and paths for hyperbolic graphs, such as the existence of a large family of s-t cuts with small number of cut-edges when s and t are at least logarithmically far apart, efficient approximation of hitting sets of size-constrained cuts, and a polynomial-time solution for a type of small-set expansion problem originally proposed by Arora, Barak and Steurer.

연구 동기 및 목표

• 고르모프-하이퍼볼릭 그래프에서 노드 확장과 컷 크기에 대한 비자명하고 구조적인 경계를 설정하는 것.
• 하이퍼볼릭 그래프에서 낮은 확장 또는 소규모 컷의 증거를 다항시간 내에 효율적으로 계산할 수 있음을 보이는 것.
• 하이퍼볼릭 그래프에서 s-t 컷, 히팅 세트, 소규모 집합 확장 문제에 관련된 알고리즘적 결과를 도출하는 것.
• 아로나, 바라크, 스투어가 처음으로 제기한 소규모 집합 확장 문제를 하이퍼볼릭 그래프에서 다항시간 내에 해결하는 것.
• 나무처럼 곡률을 가진 네트워크, 예를 들어 실제 세계 네트워크와 같은 환경에서의 효율적 계산을 위한 이론적 기초를 제공하는 것.

제안 방법

• 그래프의 하이퍼볼릭도를 활용하여 나무처럼 생긴 성질과 곡률과 관련된 구조적 특성을 특성화하는 것.
• 소스 및 타겟 노드(s와 t) 간의 로그 수준 분리도를 컷 크기와 확장도에 대한 경계를 유도하는 핵심 매개변수로 사용하는 것.
• 소규모 컷과 낮은 확장도를 가진 부분그래프의 증거를 계산하는 다항시간 알고리즘을 설계하는 것.
• 하이퍼볼릭 기하학과 그래프 이론적 분해 기법을 기반으로 한 증명 기법을 적용하여 확장도 및 컷 크기 매개변수의 경계를 설정하는 것.
• 소규모 집합 확장 문제를 하이퍼볼릭도를 활용하는 구조 인식 분해로 환원하여 효율적인 해결책을 도출하는 것.
• 유도된 구조적 경계를 활용하여 크기 제약이 있는 컷에 대한 히팅 세트 문제를 공식화하고 해결하는 것.

실험 결과

연구 질문

• RQ1 고르모프-하이퍼볼릭 그래프에서 노드 확장도와 컷 크기에 대한 비자명하고 구조적인 경계를 설정할 수 있는가?
• RQ2 하이퍼볼릭 그래프에서 소규모 컷 또는 낮은 확장도를 가진 부분그래프의 증거를 다항시간 내에 계산할 수 있는가?
• RQ3 하이퍼볼릭 그래프에서 컷과 확장도에 대한 구조적 경계로부터 어떤 알고리즘적 결과가 도출되는가?
• RQ4 로그 수준으로 분리된 s-t 쌍이 존재할 경우, 수많은 소규모 컷이 존재하는가를 보장할 수 있는가?
• RQ5 아로나, 바라크, 스투어가 제기한 소규모 집합 확장 문제를 하이퍼볼릭 그래프에서 다항시간 내에 해결할 수 있는가?

주요 결과

• 고르모프-하이퍼볼릭 그래프에서 노드 확장도와 컷 크기에 대한 비자명하고 구조적인 경계가 확립되었다.
• 소규모 컷과 낮은 확장도를 가진 부분그래프의 증거를 다항시간 내에 계산할 수 있다.
• s와 t가 적어도 로그 수준으로 떨어져 있을 경우, 낮은 컷 간선 수를 가진 s-t 컷의 큰 가족이 존재한다.
• 하이퍼볼릭 그래프에서 크기 제약이 있는 컷의 히팅 세트에 대한 효율적인 근사 알고리즘이 제공된다.
• 아로나, 바라크, 스투어가 처음으로 제기한 소규모 집합 확장 문제에 대해 하이퍼볼릭 그래프에서 다항시간 내에 해결책이 도출되었다.
• 하이퍼볼릭 그래프의 구조적 성질이 컷과 경로와 관련된 여러 기본적인 그래프 문제에 대한 효율적 계산을 가능하게 한다.