[논문 리뷰] On the Characterization of $1$-sided error Strongly-Testable Graph Properties for bounded-degree graphs, including an appendix

Hiro Ito, Areej Khoury외 1명|arXiv (Cornell University)|2019. 09. 22.

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

한 줄 요약

이 논문은 유계 차수를 가진 무방향 및 방향 그래프에서 1측면 오차를 갖는 강력 테스트 가능한 단조성 및 유전성 그래프 성질의 특성화를 제공한다. 이는 이러한 성질이 유한한 금지된 부분그래프 집합(단조성의 경우) 또는 유한한 금지된 유도 부분그래프 집합(유전성의 경우)에 의해 정의되는 것과 유사할 때, 즉 총 간선 수에 대한 간선 수정 수에 따라 거리 측정 시 강력 테스트 가능하다는 것을 보여준다.

ABSTRACT

We study property testing of (di)graph properties in bounded-degree graph models. The study of graph properties in bounded-degree models is one of the focal directions of research in property testing in the last 15 years. However, despite of the many results and the extensive research effort, there is no characterization of the properties that are strongly-testable (i.e., testable with constant query complexity) even for $1$-sided error tests. The bounded-degree model can naturally be generalized to directed graphs resulting in two models that were considered in the literature. The first contains the directed graphs in which the outdegree is bounded but the indegree is not restricted. In the other, both the outdegree and indegree are bounded. We give a characterization of the $1$-sided error strongly-testable {\em monotone} graph properties, and the $1$-sided error strongly-testable {\em hereditary} graph properties in all the bounded-degree directed and undirected graphs models.

연구 동기 및 목표

• 유계 차수 그래프 모델에서 1측면 오차 강력 테스트 가능한 그래프 성질를 특성화하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• 유계 차수 그래프에서의 성질 테스팅 기존 결과를 단조성 및 유전성 성질에 초점을 맞춘 1측면 오차 테스팅으로 확장하기 위해.
• 무방향, F(d)-모델(출도 제한), FB(d)-모델(입도 및 출도 제한)을 포함한 다양한 유계 차수 모델 간의 테스트 가능성 이해를 통합하기 위해.
• 유한한 금지된 구성요소를 사용한 강력 테스트 가능성의 필수 및 필요 조건을 설정하여, 미니처 자유성 및 부분그래프 자유성과 같은 기존 결과를 일반화하기 위해.
• 단조성 및 유전성 성질을 초월해 특성화를 확장하는 데서의 한계를 탐색하며, 국소 수정이 새로운 위반이 발생시킬 수 있는 경우를 포함하여.

제안 방법

• 유계 차수 그래프 모델을 정의하고, F(d)-모델(출도 제한)과 FB(d)-모델(입도 및 출도 제한)을 구분하며, 질의 액세스 메커니즘을 포함한다.
• 금지된 구성요소 집합에 대한 '근접성' 개념을 도입한다. 그래프가 성질에 ε-근접하다는 것은 최대 ε·dn개의 간선을 수정함으로써 성질를 만족시킬 수 있음을 의미한다.
• 단조성 성질의 경우 금지된 부분그래프, 유전성 성질의 경우 금지된 유도 부분그래프를 핵심 구조적 구성요소로 사용한다.
• 분해 기법을 적용한다: k-스타-자유인 미니처 성질에서 ε-떨어져 있는 그래프의 경우, 반복적으로 작은 연결 성분을 제거하여 더 이상 큰 성분이 없는 그래프로 줄인다. 이 과정에서 오직 O(εdn)개의 간선만 제거하면 된다는 것을 보여준다.
• 만약 그래프가 유한한 금지된 구성요소 집합으로 정의된 성질에서 ε-떨어져 있다면, 이러한 구성요소가 다수 존재해야 하며, 특히 FB(1)과 같은 저차수 모델에서 그러하다는 것을 증명한다.
• 그래프 미니처 이론의 구조적 결과와 국소 분할 기법을 활용하여, 금지된 구성요소 조건을 만족시키기 위해 필요한 간선 수정 수의 상한을 도출한다.

실험 결과

연구 질문

• RQ1 유계 차수를 가진 무방향 및 방향 그래프에서 1측면 오차 강력 테스트 가능한 단조성 그래프 성질는 무엇으로 특성화되는가?
• RQ2 유전성 그래프 성질는 1측면 오차 테스팅에서 금지된 유도 부분그래프 측면에서 동일하게 특성화될 수 있는가?
• RQ3 어떤 조건에서 유한한 금지된 구성요소 집합으로 정의된 성질에서 ε-떨어져 있는 그래프는 반드시 이러한 구성요소를 다수 포함하는가?
• RQ4 왜 특성화가 단조성 및 유전성 성질를 초월해 일반 성질로 확장되지 않는가? 특히 국소 수정이 새로운 위반을 유도할 수 있는 경우에 대해 설명하라.
• RQ5 FB(1)-모델(2-유계 차수)의 특수 케이스에서 특성화의 역이 성립하는 이유는 무엇이며, 이를 가능하게 하는 전역 구조적 성질은 무엇인가?

주요 결과

• 단조성 그래프 성질은 모든 유계 차수 모델에서 1측면 오차 강력 테스트 가능하다. 이는 성질가 유한한 크기의 금지된 부분그래프 집합에 의해 정의되는 것과 ε-근접할 때에 한하여 성립한다.
• 유전성 성질의 경우, 부분그래프 대신 금지된 유도 부분그래프를 사용함으로써 완전한 구조적 특성화를 확보한다.
• k-스타-자유 성질은 무방향 d-유계 차수 모델에서 1측면 오차 강력 테스트 가능하며, 임의의 ε > 0에 대해 필요한 간선 수정 수는 ε·dn 이하로 제한된다.
• FB(1)-모델(따라서 무방향 2-유계 차수 모델)에서, 그래프가 C-자유에서 ε-떨어져 있다면, Ω(εn)개의 금지된 구성요소가 존재함을 보여주며, 강력한 전역 연결성을 확립한다.
• 단조성 및 유전성 성질를 초월해 일반 성질로의 특성화 확장에 실패하는 이유는, 한 구성요소를 수정할 때 다른 위반이 발생할 수 있는 전역적 갈등이 존재하기 때문이다. 이 현상은 단조성 또는 유전성 환경에서는 관찰되지 않는다.
• 이 결과는 유계 차수 모델에서 1측면 오차 강력 테스트 가능한 모든 그래프 성질의 완전한 특성화를 향한 기초 단계를 제공하며, 특히 유한한 금지된 구성요소가 핵심 구조적 불변량임을 규명한다.