[논문 리뷰] Deterministic vs Non-deterministic Graph Property Testing

Lior Gishboliner, A. Shapira|arXiv (Cornell University)|2013. 04. 07.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 Lovász와 Vesztergombi가 제기한 열린 문제를 해결하며, Szemerédi의 정규성 레미마를 활용하여 결정론적과 비결정론적 그래프 성질 테스팅 간의 등가성을 명시적이고 구축 가능한 방식으로 증명한다. 그래프 정규성과 확률적 색칠 기법을 활용하여 조밀한 그래프의 검증 가능한 근사치를 구성함으로써, 모든 비결정론적으로 테스트 가능한 성질이 정량적 쿼리 복잡도를 갖는 표준 테스터를 갖는다는 것을 보여주며, 쿼리 복잡도에 대한 효과적인 상한을 확립한다.

ABSTRACT

A graph property P is said to be testable if one can check if a graph is close or far from satisfying P using few random local inspections. Property P is said to be non-deterministically testable if one can supply a "certificate" to the fact that a graph satisfies P so that once the certificate is given its correctness can be tested. The notion of non-deterministic testing of graph properties was recently introduced by Lovasz and Vesztergombi, who proved that (somewhat surprisingly) a graph property is testable if and only if it is non-deterministically testable. Their proof used graph limits, and so it did not supply any explicit bounds. They thus asked if one can obtain a proof of their result which will supply such bounds. We answer their question positively by proving their result using Szemeredi's regularity lemma. An interesting aspect of our proof is that it highlights the fact that the regularity lemma can be interpreted as saying that all graphs can be approximated by finitely many "template" graphs.

연구 동기 및 목표

• Lovász와 Vesztergombi가 제기한, 결정론적과 비결정론적 그래프 성질 테스팅 간의 등가성이 쿼리 복잡도에 대한 명시적 상한을 함께 구축 가능한 방식으로 증명할 수 있는지 여부를 해결하는 것.
• 그래프 극한 대신 Szemerédi의 정규성 레미마를 사용하여 Lovász-Vesztergombi 특성 정리의 대안적 증명을 제공하는 것.
• 모든 비결정론적으로 테스트 가능한 그래프 성질이 명시적이고 효과적인 쿼리 복잡도 상한을 갖는 표준 테스터를 갖는다는 것을 보여주는 것.
• 정규성 레미마가 모든 그래프를 유한한 수의 '템플릿'으로 구성된 색칠된 그래프로 근사화하는 데 가능성을 제공하며, 이는 템플릿 기반의 근사화를 가능하게 한다.

제안 방법

• 조밀한 그래프를 제어 가능한 밀도 편차를 갖는 유한 개의 $\gamma$-정규 쌍으로 분해하기 위해 Szemerédi의 정규성 레미마를 적용하는 것.
• 확률적 색칠 기법을 사용하여 정규 쌍에 간선 색을 할당함으로써, 결과적으로 생성된 $k$-색상 그래프가 $\pm \gamma$ 오차 내에서 주어진 밀도 분포를 만족하도록 하는 것.
• 그래프의 간선 및 비간선 집합에 대해 $k$-색상 분할을 구성하여, 각 색상 클래스의 밀도가 주어진 분포 $\{\eta^\ell\}$과 소수 오차 내에서 일치하도록 하는 것.
• 농도 불확실성 불등식(예: Chernoff 유형의 상한)을 활용하여, 큰 부분 쌍에서 각 색상의 농도가 기대값에서 최대 $\gamma/2$ 이내로 편차를 보이는 것을 높은 확률로 보장하는 것.
• 모든 큰 부분 쌍과 색상에 대해 유니온 바운드를 적용하여, 높은 확률로 전역적인 색칠 일관성을 확보하는 것.
• 소수의 밀도 편차를 수정하기 위해 $O(n^{3/2})$ 단계 내에 간선 색상을 수정함으로써, 최종 $k$-색상 그래프에서 정확한 목표 농도 $\eta^\ell$를 달성하는 것.

실험 결과

연구 질문

• RQ1 쿼리 복잡도에 대한 명시적 상한을 함께 제공하면서 결정론적과 비결정론적 그래프 성질 테스팅 간의 등가성을 증명할 수 있는가?
• RQ2 Szemerédi의 정규성 레미마를 사용하여, 모든 비결정론적으로 테스트 가능한 성질이 결정론적으로도 테스트 가능하다는 것을 구축적으로 증명할 수 있는가?
• RQ3 정규성 매개변수 $\gamma$와 목표 색칠 정확도를 달성하기 위해 필요한 정점 수 사이의 정량적 관계는 무엇인가?
• RQ4 정규 분할로부터 유한한 수의 색상으로 구성된 그래프를 어떻게 구성하여, 주어진 분포 $\{\eta^\ell\}$에 대해 $\pm \gamma$ 오차 내에서 색상 농도가 일치하도록 할 수 있는가?
• RQ5 정규 분할에서 근사 농도를 갖는 그래프를, 부분선형 수의 간선 색상 변경을 통해 정확한 목표 농도를 갖는 것으로 변환할 수 있는가?

주요 결과

• 논문은 그래프 극한의 비구축적 접근 대신 Szemerédi의 정규성 레미마를 사용하여 Lovász-Vesztergombi 정리의 구축적 증명을 제공한다.
• 모든 비결정론적으로 테스트 가능한 그래프 성질이 $\epsilon$, $\gamma$, $k$에 따라 정의되는 함수에 의해 제한되는 쿼리 복잡도를 갖는 표준 테스터를 갖는다는 것이 입증된다. 이는 명시적 상한을 제공한다.
• 정규성 레미마는 모든 그래프를 유한한 수의 '템플릿'으로 근사화할 수 있도록 하며, 각 템플릿는 사전에 정해진 농도를 갖는 $k$-색상 정규 분할에 해당한다.
• 충분히 큰 크기의 $\gamma$-정규 쌍에서 간선에 대한 랜덤 색칠은 높은 확률로 목표 색상 농도 분포를 $\pm \gamma$ 오차 내에서 달성한다.
• 수정 단계를 통해 최대 $O(n^{3/2})$개의 간선을 수정함으로써 최종 $k$-색상 그래프에서 정확한 목표 농도 $\eta^\ell$를 달성할 수 있으며, 이는 결과 그래프가 요구되는 정규성 및 농도 조건을 만족하도록 보장한다.
• 이러한 구성은 $n_{\text{chop2}}(\gamma,t,k) = t \cdot n_{\text{chop1}}(\gamma,k)$개 이상의 정점을 갖는 모든 그래프에서 성공한다. 여기서 $n_{\text{chop1}}$은 $\gamma$와 $k$에 따라 정의된다.