[논문 리뷰] An Adaptivity Hierarchy Theorem for Property Testing

Clément L. Canonne, Tom Gur|arXiv (Cornell University)|2017. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 19인용 수 3

한 줄 요약

이 논문은 성질 테스팅에서 적응성 계층 정리(Adaptivity Hierarchy Theorem)를 수립하여, 모든 k ≤ n^0.99에 대해 (k−1)-적응성 테스터가 Ω(n) 쿼리를 필요로 하지만 k-적응성 테스터는 Õ(k) 쿼리로 충분한 성질이 존재함을 증명한다. 이 결과는 각 추가적인 적응성 라운드마다 테스팅 능력이 엄밀하고 부드럽게 증가함을 보이며, 쿼리 복잡도에서 적응성의 역할에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of \emph{adaptive} testing algorithms, wherein each query may be determined by the answers received to prior queries, and their \emph{non-adaptive} counterparts, in which all queries are independent of answers obtained from previous queries. In this work, we investigate the role of adaptivity in property testing at a finer level. We first quantify the degree of adaptivity of a testing algorithm by considering the number of "rounds of adaptivity" it uses. More accurately, we say that a tester is $k$-(round) adaptive if it makes queries in $k+1$ rounds, where the queries in the $i$'th round may depend on the answers obtained in the previous $i-1$ rounds. Then, we ask the following question: Does the power of testing algorithms smoothly grow with the number of rounds of adaptivity? We provide a positive answer to the foregoing question by proving an adaptivity hierarchy theorem for property testing. Specifically, our main result shows that for every $n\in \mathbb{N}$ and $0 \le k \le n^{0.99}$ there exists a property $\mathcal{P}_{n,k}$ of functions for which (1) there exists a $k$-adaptive tester for $\mathcal{P}_{n,k}$ with query complexity $ ilde{O}(k)$, yet (2) any $(k-1)$-adaptive tester for $\mathcal{P}_{n,k}$ must make $Ω(n)$ queries. In addition, we show that such a qualitative adaptivity hierarchy can be witnessed for testing natural properties of graphs.

연구 동기 및 목표

• . 논문은 적응성 라운드 수가 늘어날수록 성질 테스터의 능력이 부드럽게 증가하는지 조사한다.
• . 적응성이 쿼리 복잡도에서 점진적(연속적)으로 향상되는지 여부를 밝히는 열린 질문을 해결하고자 한다.
• . 모든 k ≤ n^0.99에 대해 적응성 라운드 수에 따라 쿼리 복잡도에 엄밀한 계층을 보이는 명시적인 성질을 구성하고자 한다.
• . 모든 k ≤ n^0.99에 대해 k-적응성 테스터가 (k−1)-적응성 테스터보다 엄밀히 더 강력함을 보이고자 한다.
• . 또한 인위적인 구성 외에도 자연스러운 그래프 성질을 통해 이러한 계층이 존재함을 보여주고자 한다.

제안 방법

• . 논문은 k-적응성 테스터를 k+1라운드의 쿼리로 정의하며, 각 라운드의 쿼리는 이전 라운드의 답변에 의존한다.
• . k-적응성 테스터의 계산 능력을 기술하기 위해 决定트리 계층 구조를 도입한다.
• . 국소적으로 테스트 가능하고 디코딩 가능한 코드를 사용하여, 적응성 라운드 수가 적을수록 테스트하기 어려운 함수를 구성한다.
• . 쿼리 복잡도 하한을 유도하기 위해 통신 복잡도 문제(특히 희소 집합의 교차 여부 문제)를 성질 테스팅으로 환원한다.
• . 결정 트리 복잡도와 성질 테스팅의 쿼리 복잡도 간의 관련성을 규명하기 위해 전이 보조정리를 활용한다.
• . 그래프 성질의 경우, 유계 차수 모델에서 사이클 없음 성질을 사용하여 자연스럽고 실제 응용에 관련된 성질로도 계층을 보여준다.

실험 결과

연구 질문

• RQ1 . 성질 테스터의 능력은 적응성 라운드 수가 늘어날수록 부드럽게 증가하는가, 아니면 단지 이산적인 향상만 이루어지는가?
• RQ2 . 모든 k ≤ n^0.99에 대해 (k−1)-적응성 테스터보다 k-적응성 테스터가 엄밀히 더 강력한 엄밀한 계층을 설정할 수 있는가?
• RQ3 . 인위적인 구성 외에도 자연스러운 그래프 성질이 이러한 적응성 계층을 보이는가?
• RQ4 . 결정 트리 환원을 통해 통신 복잡도 하한을 성질 테스팅에 전이시킬 수 있는가?
• RQ5 . 라운드-적응성 테스터와 尾-적응성 테스터 사이에 분리가 존재하는가, 만약 존재한다면 그 격차는 얼마나 큰가?

주요 결과

• . 모든 k ≤ n^0.99에 대해, k-적응성 테스터가 Õ(k) 쿼리로 테스트할 수 있는 성질 Pn,k 가 존재한다.
• . Pn,k 에 대해 (k−1)-적응성 테스터는 Ω(n) 쿼리를 반드시 수행해야 하며, 이는 연속된 적응성 수준 간에 초수렴 격차를 보임을 증명한다.
• . 적응성 계층은 엄밀하고 부드럽게 유지되며, 각 추가적인 적응성 라운드가 쿼리 복잡도에 비중 없는 감소를 제공한다.
• . 계층은 자연스러운 그래프 성질에서도 유지된다: 유계 차수 그래프 모델에서의 사이클 없음 성질이 동일한 행동을 보인다.
• . 라운드-적응성 테스터와 尾-적응성 테스터 사이에 분리가 존재하며, 후자는 전자와는 달리 조차도 Ω(n) 쿼리가 필요하다.
• . 결과는 라운드 수 측면에서 최적이며, k = n^0.99를 초과하면 구성의 본질적 한계로 인해 계층이 붕괴되기 때문이다.