[논문 리뷰] Distributed Property Testing for Subgraph-Freeness Revisited

Orr Fischer, Tzlil Gonen외 1명|arXiv (Cornell University)|2017. 05. 11.

Complexity and Algorithms in Graphs참고 문헌 11인용 수 4

한 줄 요약

이 논문은 CONGEST 모델에서 부분그래프 자유성에 대한 분산 성질 테스팅을 재검토하며, 임의의 사이클 $C_k$에 대해 $C_k$-자유성은 $O(1/\theta)$ 라운드 내에서 테스트 가능하다는 것을 보이며, $\theta$가 너무 작지 않을 경우 삼각형 자유성은 $O(1)$ 라운드 내에서 테스트 가능하다. $K_5$를 제외한 일반적인 그래프 클래스를 도입하여, 이들에 대해 $H$-자유성은 $O(1/\theta)$ 라운드 내에서 테스트 가능하다는 것을 보이고, 간선 수와 $\theta$에 대해 명시적인 의존성을 갖는 $K_s$-자유성에 대한 부분선형 라운드 알고리즘을 제공한다. 또한 일부 부분그래프에 대해 본질적인 $\theta$-의존성이 존재함을 보여주는 하한선을 수립한다.

ABSTRACT

In the subgraph-freeness problem, we are given a constant-size graph $H$, and wish to determine whether the network contains $H$ as a subgraph or not. The \emph{property-testing} relaxation of the problem only requires us to distinguish graphs that are $H$-free from graphs that are $ε$-far from $H$-free, meaning an $ε$-fraction of their edges must be removed to obtain an $H$-free graph. Recently, Censor-Hillel et. al. and Fraigniaud et al. showed that in the property-testing regime it is possible to test $H$-freeness for any graph $H$ of size 4 in constant time, $O(1/ε^2)$ rounds, regardless of the network size. However, Fraigniaud et. al. also showed that their techniques for graphs $H$ of size 4 cannot test $5$-cycle-freeness in constant time. In this paper we revisit the subgraph-freeness problem and show that $5$-cycle-freeness, and indeed $H$-freeness for many other graphs $H$ comprising more than 4 vertices, can be tested in constant time. We show that $C_k$-freeness can be tested in $O(1/ε)$ rounds for any cycle $C_k$, improving on the running time of $O(1/ε^2)$ of the previous algorithms for triangle-freeness and $C_4$-freeness. In the special case of triangles, we show that triangle-freeness can be solved in $O(1)$ rounds independently of $ε$, when $ε$ is not too small with respect to the number of nodes and edges. We also show that $T$-freeness for any constant-size tree $T$ can be tested in $O(1)$ rounds, even without the property-testing relaxation. Building on these results, we define a general class of graphs for which we can test subgraph-freeness in $O(1/ε)$ rounds. This class includes all graphs over 5 vertices except the 5-clique, $K_5$. For cliques $K_s$ over $s \geq 3$ nodes, we show that $K_s$-freeness can be tested in $O(m^{1/2-1/(s-2)}/ε^{1/2+1/(s-2)})$ rounds, where $m$ is the number of edges.

연구 동기 및 목표

• 분산 CONGEST 모델에서 어떤 부분그래프 $H$에 대해 자유성 테스팅이 상수 시간 내에 가능할 수 있는지 규명하는 것.
• 이전 기법으로는 $C_5$-자유성 테스팅이 상수 시간 내에 불가능한 것으로 밝혀졌지만, 소형 그래프($|H| \leq 4$)에 대한 알려진 상수 시간 알고리즘과의 격차를 메우는 것.
• 특히 트리나 클리크에 대해 성질 테스팅의 완화 없이 부분선형 또는 상수 시간 알고리즘이 존재하는지 탐색하는 것.
• 특히 사이클과 클리크에 대해 $H$-자유성의 라운드 복잡도에 대한 날카로운 경계를 설정하고, 거리 매개변수 $\epsilon$에 대한 필수적 의존성의 존재를 규명하는 것.

제안 방법

• 각 정점이 독립적으로 확률 $1/n$로 자신을 샘플링하는 새로운 샘플링 기반 프로토콜을 도입하여, 부분그래프의 각 역할에 정확히 한 개의 정점만 샘플링될 가능성이 상수 확률로 보장된다.
• 잠재적 $s$-클리크 또는 $s$-사이클을 시뮬레이션하기 위해 계층적 구성 $BC(s,n)$를 사용하며, 정점들이 $s$개의 색상 집합으로 그룹화되고 간선은 연속된 계층 간에만 허용된다.
• $j$-안전 정점 정의를 도입: 정점은 $V^j$를 제외한 $s$개의 정점 집합 각각에 정확히 한 명의 이웃을 가질 때 $j$-안전하다고 정의한다. 이는 그 정점이 $V^j$에 속해 있음을 보장한다.
• 랜덤 가중치 $[1,n^4]$에서 선택된 값을 사용해 $1$-안전 정점에서 시작하는 가중치 우선 BFS를 적용하여, 높은 확률로 전체 사이클 또는 클리크를 단일 정점에서 탐지할 수 있도록 한다.
• 프로토콜의 $1$-측면 오류 성질을 활용하여 반복을 통해 성공 확률을 증폭하여 $O(n^{o(1)})$ 라운드 내에 상수 성공 확률을 달성한다.
• 전체 그래프 매개변수를 알지 못할 경우 $C_k$-자유성에 대해 $\Omega(1/\sqrt{\epsilon})$ 라운드가 필요하다는 하한선을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $k$에 대해 $C_k$-자유성은 $O(1/\epsilon)$ 라운드 내에서 테스트 가능할 수 있는가? 이는 $k=3,4$일 때 이전의 $O(1/\epsilon^2)$ bound를 향상시키는가?
• RQ2 $K_5$를 제외한 크기가 5인 그래프 $H$에 대해 $H$-자유성 테스팅이 상수 시간 내에 가능할 수 있는가? 만약 가능하다면 어떤 구조적 조건이 필요한가?
• RQ3 특정 $H$에 대해, 예를 들어 트리나 클리크에 대해 성질 테스팅의 완화 없이 $H$-자유성 테스팅이 정확히 가능할 수 있는가? 그리고 몇 라운드 내에 수행될 수 있는가?
• RQ4 $K_s$-자유성의 최적 라운드 복잡도는 무엇이며, 이는 $\epsilon$, $m$, $n$에 어떻게 의존하는가?
• RQ5 $C_k$-자유성 테스팅에 대해, 심지어 최악의 그래프 구조에서도 $\epsilon$에 대한 필수적 의존성이 존재함을 보여주는 하한선이 존재하는가?

주요 결과

• 모든 사이클 $C_k$에 대해 $C_k$-자유성은 $O(1/\epsilon)$ 라운드 내에서 테스트 가능하며, 삼각형과 $C_4$에 대해 이전의 $O(1/\epsilon^2)$ bound를 향상시킨다.
• 삼각형 자유성은 $\epsilon \geq \min\{m^{-1/3}, n/m\}$일 경우 $O(1)$ 라운드 내에서 테스트 가능하여, 그래프에 대한 온건한 조건 하에서 $\epsilon$-의존성을 제거한다.
• 임의의 상수 크기의 트리 $T$에 대해 $T$-자유성은 정확히(완화 없이) $O(1)$ 라운드 내에서 테스트 가능하며, 이는 방향성 있는 CONGEST 모델에서도 성립한다.
• 일반적인 그래프 클래스 $\mathcal{H}$ (모든 5개 정점의 그래프 중 $K_5$를 제외한 모든 $H$) 는 $H$-자유성 테스팅을 $O(1/\epsilon)$ 라운드 내에서 수행 가능하며, 이는 사이클을 모두 커버하는 간선 제거가 존재함을 조건으로 한다.
• $K_s$-자유성의 경우, 라운드 복잡도는 $O(\epsilon^{-1/2 - 1/(s-2)} m^{1/2 - 1/(s-2)})$ 이며, $s=5$이고 $\epsilon$가 상수일 경우 $O(m^{1/6})$ 라운드가 된다.
• $C_k$-자유성에 대해, 전체 그래프 매개변수를 알지 못할 경우 $\Omega(1/\sqrt{\epsilon})$ 라운드가 필요하며, 이는 본질적인 $\epsilon$-의존성이 필요함을 보여준다.