[논문 리뷰] On Testing Minor-Freeness in Bounded Degree Graphs With One-Sided Error.

Hendrik Fichtenberger, Reut Levi외 2명|arXiv (Cornell University)|2017. 07. 19.

Complexity and Algorithms in Graphs인용 수 7

한 줄 요약

이 논문은 (k×2)-격자 그림자의 임의의 미니어처인 H에 대해 유계 차수 그래프에서 한쪽 오류 성질 테스팅 알고리즘을 제시한다. 그래프의 구조를 분석하여 H를 포함하는 작은 부분그래프 또는 연결된 정점 부분집합 간에 큰 간선 컷을 탐지함으로써, 알고리즘은 Õ(n²³/ε⁵)의 쿼리 복잡도를 달성하며, 이는 이전의 사이클-프리 및 Cₖ-미니어처 프리에 대한 결과를 확장한다.

ABSTRACT

We present a one-sided error property testing algorithm for $H$-minor freeness in bounded-degree graphs for any minor $H$ that is a minor of the $(k imes 2)$-grid (for any $k \in \mathbb{N}$). This includes, for example, testing whether a graph is a cactus graph and testing minor-freeness for minors which are cycles with parallel chords. The query complexity of our algorithm in terms of the number of vertices in the graph, $n$, is $ ilde{O}(n^{2/3} / \epsilon^5)$. Czumaj et al. showed that cycle-freeness and $C_k$-minor freeness can be tested with query complexity $ ilde{O}(\sqrt{n})$. In contrast to these results, we analyze the structure of the graph and show that either we can find a subgraph of sublinear size that includes the forbidden minor, $H$, or we can find a pair of disjoint subsets of vertices whose edge-cut is large, and such that the induced subgraph of each subset is connected. We then prove a combinatorial lemma which shows that the latter structure includes $H$ as a minor.

연구 동기 및 목표

• 모든 k∈ℕ에 대해 (k×2)-격자의 미니어처인 H에 대해 유계 차수 그래프에서 한쪽 오류 성질 테스팅 알고리즘을 개발하는 것.
• 기존의 사이클-프리 및 Cₖ-미니어처 프리에 대한 결과를 더 넓은 범주로 확장하는 것.
• H-미니어처 프리 성질 테스팅에 대해 하위선형 쿼리 복잡도를 달성하면서도 한쪽 오류를 유지하는 것.
• H를 미니어처로 포함하거나 H-미니어처 포함을 암시하는 구조적 특징을 가지는 그래프에 대한 조합적 특성화를 제공하는 것.

제안 방법

• 알고리즘은 금지된 미니어처 H를 포함하는 부분그래프 또는 두 개의 서로소 정점 부분집합 간에 큰 간선 컷이 존재하는지 분석하여 그래프의 구조를 탐지한다.
• 각 정점 쌍의 부분집합에 대해 연결된 유도 부분그래프를 식별함으로써, 미니어처 탐지에 대한 구조적 강건성을 확보한다.
• 핵심 조합적 보조정리를 증명하여, 연결된 유도 부분그래프 간에 큰 간선 컷이 존재할 경우 반드시 그래프가 H를 미니어처로 포함함을 보여준다.
• 작은 부분그래프에 H가 포함되어 있는지 또는 구조적 쌍이 존재하는지 탐색하기 위해 재귀적 또는 반복적 탐색 전략을 사용한다.
• 유계 차수 그래프에 특화된 확률적 표본 추출 및 국소 탐색 기법을 사용하여 쿼리 복잡도를 제한한다.
• 이 접근법은 Czumaj 등이 이전에 제시한 사이클-프리에 대한 결과를 일반화하여 더 넓은 범주로 확장한다.

실험 결과

연구 질문

• RQ1 H가 단지 사이클이나 단순한 구조가 아닌, (k×2)-격자의 미니어처인 경우, 유계 차수 그래프에서 H-미니어처 프리 성질에 대해 한쪽 오류 테스팅을 달성할 수 있는가?
• RQ2 그래프의 어떤 구조적 특성이 금지된 미니어처 H의 존재를 암시하는가? 그리고 이러한 특성은 어떻게 효율적으로 테스트할 수 있는가?
• RQ3 H가 (k×2)-격자의 미니어처인 경우, H-미니어처 프리 성질 테스팅에 대해 하위선형 쿼리 복잡도를 달성할 수 있는가?
• RQ4 두 개의 연결된 정점 부분집합 간에 큰 간선 컷이 존재할 경우, 이는 유계 차수 그래프에서 미니어처 포함과 어떤 관련이 있는가?
• RQ5 구조적 그래프 특징에 기반하여 미니어처 존재를 증명할 수 있는 조합적 보조정리를 구성할 수 있는가?

주요 결과

• H가 (k×2)-격자의 임의의 미니어처인 경우, 알고리즘이 Õ(n²³/ε⁵)의 쿼리 복잡도를 달성한다.
• 기존의 사이클-프리 및 Cₖ-미니어처 프리에 대한 결과(쿼리 복잡도 Õ(√n))를 더 넓은 범주로 일반화하여 성공적으로 확장하였다.
• 두 개의 연결된 유도 부분그래프 간에 큰 간선 컷이 존재할 경우, 그래프는 반드시 H를 미니어처로 포함함을 새로운 조합적 보조정리로 공식화하였다.
• 알고리즘은 오직 한쪽 오류만을 사용하여 H를 미니어처로 포함하는 그래프와 H-미니어처 프리 그래프를 구분한다.
• 이 접근법은 H를 포함하는 작은 부분그래프 또는 큰 간선 컷을 가진 연결된 부분집합 쌍을 탐지하는 데 의존하며, 둘 다 하위선형 쿼리로 테스트 가능하다.
• 이 결과는 구조적 그래프 분해를 활용하여 유계 차수 그래프에서 미니어처 폐쇄 성질에 대한 효율적인 성질 테스터를 설계할 수 있음을 보여준다.