[논문 리뷰] New algorithms and lower bounds for monotonicity testing

Xi Chen, Rocco A. Servedio외 1명|arXiv (Cornell University)|2014. 12. 17.

Complexity and Algorithms in Graphs참고 문헌 15인용 수 22

한 줄 요약

이 논문은 초입방에서 불리안 함수의 단조성 테스팅을 위한 새로운 비적응형, 한쪽 오류만 허용하는 알고리즘을 제안하며, 쿼리 복잡도를 Õ(n^{5/6})poly(1/ε)로 향상시켰고, 비적응형 양측 오류 테스터에 대해 거의 날카로운 하한선 Ω̃(n^{1/5})을 확립하여 이전 하한선에 비해 지수적 개선을 이룩한다.

ABSTRACT

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $ε$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied problem. Lower bound: We prove an $ ildeΩ(n^{1/5})$ lower bound on the query complexity of any non-adaptive two-sided error algorithm for testing whether an unknown Boolean function $f$ is monotone versus constant-far from monotone. This gives an exponential improvement on the previous lower bound of $Ω(\log n)$ due to Fischer et al. [FLN+02]. We show that the same lower bound holds for monotonicity testing of Boolean-valued functions over hypergrid domains $\{1,\ldots,m\}^n$ for all $m\ge 2$. Upper bound: We give an $ ilde{O}(n^{5/6}) ext{poly}(1/ε)$-query algorithm that tests whether an unknown Boolean function $f$ is monotone versus $ε$-far from monotone. Our algorithm, which is non-adaptive and makes one-sided error, is a modified version of the algorithm of Chakrabarty and Seshadhri [CS13a], which makes $ ilde{O}(n^{7/8}) ext{poly}(1/ε)$ queries.

연구 동기 및 목표

• 초입에서 불리안 함수의 단조성 테스팅에 대해 최선의 상한선과 하한선 사이의 격차를 해소하기 위해.
• 기존 연구에 비해 쿼리 복잡도를 낮춘 더 효율적인 비적응형 알고리즘을 개발하기 위해.
• 기존 오랜 기간 동안 유지된 Ω(log n) 하한선을 초월해 비적응형 테스터에 대해 훨씬 강력한 쿼리 복잡도 하한선을 확립하기 위해.
• m ≥ 2인 일반 초그리드 도메인 [m]^n에 대한 단조성 테스팅으로 하한선을 확장하기 위해.
• 특히 고차원 도메인에서의 단조성에 대해 기존 기법들을 통합하고 개선하기 위해, 성질 테스팅 분야에서의 기여를 강화하기 위해.

제안 방법

• 다양한 해밍 거리의 간선에 대해 비균일 분포를 사용해 비교 가능한 쌍 (x,y)를 x ≺ y 방식으로 샘플링하는 수정된 가중치 경로 테스터를 제안한다.
• y를 초입의 중간 층들에서 균일하게 선택하고, x는 조밀도 가중치 기반 방식으로 그 조상들 중에서 선택하는 쌍 (x,y)에 대한 분포를 도입한다.
• Chakrabarty와 Seshadhri(2013)의 이분화 정리(지역에서 위반된 간선 수 v와 위반 간선의 최대 매칭 크기 σ 사이의 관계)를 활용한다.
• 동전 뒷면을 이용해 간선 테스터와 가중치 경로 테스터를 조합: 각각 확률 1/2로 실행하여 성공 확률을 증폭시킨다.
• 확률적 분석을 통해 ε, σ, n에 대한 가중치 경로 테스터의 성공 확률을 유한하게 제한하며, 농도 및 조밀도 논증을 활용한다.
• 비적응형 쿼리로 탐지하기 어려운, 단조성에서 멀리 떨어져 있지만 탐지하기 어려운 함수의 하드 분포를 구성하는 새로운 하한선 기법을 적용한다.

실험 결과

연구 질문

• RQ1 초입에서 비적응형 단조성 테스팅을 위한 불리안 함수의 최적 쿼리 복잡도는 무엇인가?
• RQ2 균일한 간선 쿼리 외에 샘플링 전략을 수정함으로써 기존 알고리즘의 쿼리 복잡도를 향상시킬 수 있는가?
• RQ3 비적응형 양측 오류 단조성 테스터의 쿼리 복잡도에 대해 최선의 가능한 하한선은 무엇인가?
• RQ4 초입에 대한 하한선이 m ≥ 2인 일반 초그리드 도메인 [m]^n으로 확장되는가?
• RQ5 간선 테스팅과 경로 테스팅을 조합한 하이브리드 접근 방식이 각각 독립적으로 사용할 때보다 더 낮은 쿼리 복잡도를 달성할 수 있는가?

주요 결과

• 논문은 쿼리 복잡도 Õ(n^{5/6})poly(1/ε)를 갖는 새로운 비적응형, 한쪽 오류만 허용하는 알고리즘을 제시하며, Chakrabarty와 Seshadhri(2013)의 이전 최선의 bound Õ(n^{7/8})poly(1/ε)를 향상시켰다.
• 비적응형 양측 오류 단조성 테스터에 대해 거의 날카로운 하한선 Ω̃(n^{1/5})을 확립하였으며, 이는 이전의 Ω(log n) 하한선에 비해 지수적 개선을 이룬다.
• 이와 동일한 하한선 Ω̃(n^{1/5})은 모든 m ≥ 2에 대해 일반 초그리드 도메인 [m]^n에 대한 단조성 테스팅에도 적용되며, 이 설정에 대해 처음으로 이와 같은 하한선을 제시한다.
• 제안된 가중치 경로 테스터의 성공 확률은 σ가 중간 층에서 위반 간선의 최대 매칭의 정규화된 크기일 때, Ω(ε^8 σ^2 / (log²n √(n ln(1/ε))))로 보여진다.
• 간선 테스터와 가중치 경로 테스터를 조합함으로써 전체 성공 확률이 Ω(ε^4 / (n^{5/6} log^{2/3}n (ln(1/ε))^{1/6}))로 보여지며, 이는 개선된 상한선으로 이어진다.
• 결과적으로 모든 적응형 알고리즘이 최소 Ω(log n)의 쿼리를 해야 하며, 이는 비적응형 케이스에서 유도된 하한선와 일치한다.