[논문 리뷰] Testing perfection is hard

Noga Alon, Jacob Fox|arXiv (Cornell University)|2011. 10. 13.

Complexity and Algorithms in Graphs참고 문헌 23인용 수 6

한 줄 요약

이 논문은 삼각형 없는 성질을 테스트하는 것만큼 어렵다는 점을 보여줌으로써, 완전 그래프 성질을 테스트하는 것이 어렵다는 것을 입증한다. 이는 삼각형 제거 보조정리에서의 비상수 상한에 기인한 알려진 어려움 때문이며, 이는 $\epsilon^{-1}$ 에 대해 초다항적 쿼리 복잡도를 요구한다. 반면에, 유도된 $P_3$-없는 성질은 쉽게 테스트 가능함이 입증되어, 작은 그래프에 대한 유도된 $H$-없는 성질의 쉽게 테스트 가능한 성질에 대한 분류의 핵심 부분을 완성한다.

ABSTRACT

A graph property P is strongly testable if for every fixed ε>0 there is a one-sided ε-tester for P whose query complexity is bounded by a function of ε. In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable with query complexity bounded by a polynomial function of ε^{-1}, and otherwise it is hard. One of our main results shows that testing perfectness is hard. The proof shows that testing perfectness is at least as hard as testing triangle-freeness, which is hard. On the other hand, we show that induced P_3-freeness is easily testable. This settles one of the two exceptional graphs, the other being C_4 (and its complement), left open in the characterization by the first author and Shapira of graphs H for which induced H-freeness is easily testable.

연구 동기 및 목표

• 유전적 그래프 성질 중에서 쉽게 테스트 가능한 것과 어려운 것의 분류를 성립시키기 위해 성질 테스트 프레임워크에서 수행한다.
• 삼각형 없는 성질을 테스트하는 데 어려움이 있음을 알려진 삼각형 없는 성질 테스트의 어려움과 연결하여, 완전성 테스트가 어려운지 결정한다.
• 유도된 $P_3$-없는 성질과 $C_4$-없는 성질의 상태를 작은 그래프에 대한 쉽게 테스트 가능한 유도된 $H$-없는 성질 분류에서 해결한다.
• 특히 유전적 성질에 대해 그래프 성질 테스터의 쿼리 복잡도 계층을 탐색한다.
• 모든 쉽게 테스트 가능한 유전적 그래프 성질에 대한 완전한 특성화가 존재하는지 탐구한다.

제안 방법

• 감소 기반 증명: 무작위 샘플링을 통한 완전성 탐지가 어려운 그래프의 가족을 구성함으로써, 완전성 테스트가 삼각형 없는 성질 테스트만큼 어렵다는 것을 보인다.
• 삼각형 제거 보조정리와 그 정량적 상한, 특히 $\delta \leq \epsilon^{c \log \epsilon}$ 상한을 사용하여 쿼리 복잡도 하한을 확립한다.
• 삼분할 삼각형 없는 그래프 $T$ 로부터 유도된 방향 그래프 $G$ 를 구성함으로써, $T$ 가 삼각형 없는 것에서 $\epsilon$-떨어져 있으면 $G$ 는 부분순서 집합(poset)에서 $\epsilon$-떨어져 있음을 보장한다.
• 확장 가능한 유전적 성질에 대한 보편적인 한 방향 $\epsilon$-테스터를 적용함: $d$ 개의 정점을 샘플링하고, 유도된 부분그래프가 성질에 속하면 수락한다.
• 세메레디의 정규성 보조정리와 그래프 제거 보조정리를 사용하여, $H$-없는 성질을 만족하지 못하는 그래프의 구조를 분석한다.
• 비순서 그래프와 그들이 완전 그래프와 어떻게 관련되어 있는지 분석함으로써, 삼각형 없는 성질로의 감소를 통한 비순서성 테스트의 어려움을 입증한다.

실험 결과

연구 질문

• RQ1 성질 테스트 모델에서 완전 그래프 성질을 테스트하는 것은 어려운가?
• RQ2 유도된 $P_3$-없는 성질은 쉽게 테스트 가능한가, 그리고 작은 그래프에 대한 쉽게 테스트 가능한 유도된 $H$-없는 성질 분류를 완성하는가?
• RQ3 유도된 $C_4$-없는 성질은 쉽게 테스트 가능한가, 아니면 여전히 어려운가?
• RQ4 완전성 테스트의 어려움을 삼각형 없는 성질 테스트의 어려움으로 감소시킬 수 있는가?
• RQ5 모든 쉽게 테스트 가능한 유전적 그래프 성질에 대한 완전한 특성화가 존재하는가?

주요 결과

• 삼각형 없는 성질 테스트로의 감소 덕분에, 완전 그래프 성질을 테스트하는 데에는 $\epsilon^{-1}$ 에 대해 초다항적 쿼리 복잡도가 필요하다.
• 삼각형 제거 보조정리에서의 $\delta \leq \epsilon^{c \log \epsilon}$ 상한에 기인한 삼각형 없는 성질 테스트의 어려움은, 완전성 테스트의 어려움을 암시한다.
• 유도된 $P_3$-없는 성질은 쉽게 테스트 가능하며, $d = O(\epsilon^{-1})$ 쿼리로 구성된 보편적인 한 방향 테스터가 $\epsilon$-떨어져 있는 $P_3$-없는 그래프를 구분하는 데 충분하다.
• 비순서 그래프 테스트는 어렵다. 이는 $\epsilon$-거리의 유지가 보장되는 구성에 의해 삼각형 없는 성질 테스트로 감소되기 때문이다.
• 부분순서 집합(poset) 테스트는 삼각형 없는 성질 테스트만큼 어렵다. 이는 삼분할 그래프에서 방향 그래프로의 직접적 구성에 의해 입증된다.
• 논문은 여전히 유도된 $C_4$-없는 성질이 쉽게 테스트 가능한지 여부를 열어두고 있으며, 이는 작은 $H$ 에 대한 유도된 $H$-없는 성질 분류에서 유일하게 해결되지 않은 케이스이다.