[논문 리뷰] Every Property of Outerplanar Graphs is Testable

Hiro Ito|arXiv (Cornell University)|2015. 04. 03.

Limits and Structures in Graph Theory참고 문헌 17인용 수 7

한 줄 요약

이 논문은 실세계의 스케일프리 네트워크를 허브를 포함해 자연스럽게 모델링하는 계층적 스케일프리(계층적-스케일프리, HSF) 다중그래프를 소개한다. HSF 그래프에서 멱법수 계수 > 2일 경우, 모든 그래프 성질이 일정 시간 내에 테스트 가능하다는 것을 증명하며, 초유한성과 수정된 분할 오라클을 활용해 유한도 모델의 성질 테스트를 일반 다중그래프로 확장한다.

ABSTRACT

A D-disc around a vertex v of a graph G=(V,E) is the subgraph induced by all vertices of distance at most D from v. We show that the structure of an outerplanar graph on n vertices is determined, up to modification (insertion or deletion) of at most epsilon n edges, by a set of D-discs around the vertices, for D=D(epsilon) that is independent of the size of the graph. Such a result was already known for planar graphs (and any hyperfinite graph class), in the limited case of bounded degree graphs (that is, their maximum degree is bounded by some fixed constant, independent of |V|). We prove this result with no assumption on the degree of the graph. A pure combinatorial consequence of this result is that two outerplanar graphs that share the same local views are close to be isomorphic. We also obtain the following property testing results in the sparse graph model: * graph isomorphism is testable for outerplanar graphs by poly(log n) queries. * every graph property is testable for outerplanar graphs by poly(log n) queries. We note that we can replace outerplanar graphs by a slightly more general family of k-edge-outerplanar graphs. The only previous general testing results, as above, where known for forests (Kusumoto and Yoshida), and for some power-law graphs that are extremely close to be bounded degree hyperfinite (by Ito).

연구 동기 및 목표

• 실세계의 스케일프리 네트워크를 포함한 고도의 허브를 갖는 자연스러운 다중그래프 클래스를 정의하기 위해.
• 이 그래프의 넓은 부분집합—멱법수 계수 > 2인 그래프—가 초유한성을 갖는다는 것을 입증하기 위해.
• 유한도 제약 없이도 이 부분집합에서 모든 그래프 성질이 일정 시간 내에 테스트 가능하다는 것을 보여주기 위해.
• 성질 테스트의 적용 범위를 유한도 모델을 넘어서 일반 다중그래프로 확장하여 스케일프리 구조를 갖는 일반 다중그래프로 확장하기 위해.
• 멱법수도 분포를 갖는 대규모 실세계 네트워크에서 효율적인 하향선형 알고리즘을 위한 이론적 기반을 제공하기 위해.

제안 방법

• 스케일프리 네트워크의 계층적 동형성과 고립 클리크 구조를 기반으로 계층적-스케일프리(계층적-스케일프리, HSF) 다중그래프를 도입한다.
• c-고립 클리크를 정의하고 이를 통해 멱법수 도수 분포를 갖는 HSF 다중그래프를 구성한다.
• 멱법수 계수가 2를 초과할 경우 HSF 그래프의 초유한성을 증명하며, 구조적 분해와 유한한 주변 성장 특성을 활용한다.
• 일정 반경 이내의 이웃을 국소적으로 탐색함으로써 결정적 분할 오라클을 구성하며, 임계값을 초과하는 고도의 정점은 무시한다.
• 뉴먼과 쇼러의(STOC’11) 유한도 그래프 프레임워크를 일반 다중그래프 모델에 적응시키기 위해 고도의 정점을 무시하는 방식으로 처리한다.
• 근원이 있는 부분그래프의 정규화된 빈도 벡터(디스크 및 빈도 분포)를 사용하여 국소 구조를 비교하고, 일정한 질의 복잡도로 성질을 테스트한다.

실험 결과

연구 질문

• RQ1 스케일프리 네트워크에 고도의 허브가 포함된 경우, 모든 그래프 성질이 일정 시간 내에 테스트 가능한가?
• RQ2 멱법수 계수 > 2인 계층적-스케일프리(계층적-스케일프리, HSF) 다중그래프 클래스는 초유한한가?
• RQ3 유한도 그래프에서의 성질 테스트 프레임워크를 유한도 제약 없이 일반 다중그래프로 확장할 수 있는가?
• RQ4 스케일프리 네트워크의 허브 존재가 일정 시간 내 성질 테스트를 방해하는가, 아니면 구조적 분해로 처리할 수 있는가?
• RQ5 HSF 그래프에 대해 효율적인 성질 테스트를 가능하게 하는 분할 오라클을 구성할 수 있는가?

주요 결과

• 멱법수 계수가 2를 초과하는 HSF 다중그래프의 부분집합에서 모든 성질이 일정 시간 내에 테스트 가능하다.
• 이 부분집합은 초유한성을 갖는다. 즉, 소수의 간선을 제거함으로써 작은 성분들로 분할할 수 있다.
• 이 클래스에 대해 결정적 분할 오라클이 존재하며, 일정 반경 이내의 이웃 탐색을 국소적으로 수행할 수 있다.
• 알고리즘은 유한도 성질 테스트 프레임워크를 수정하여, 임계값을 초과하는 도수를 갖는 정점을 무시함으로써 효과적으로 그래프를 유한도로 환원한다.
• 질의 복잡도는 δ^O(δ²/ε + n₀)로 유한하며, 여기서 δ는 국소 탐색에서의 최대 도수이고 ε는 거리 매개변수이다.
• 이 결과는 실세계의 스케일프리 네트워크를 넓은 범위로 다루는 일반 그래프 모델에서 첫 번째 보편적인 일정 시간 성질 테스트 알고리즘을 확립한다.