[논문 리뷰] Testing local properties of arrays

Omri Ben‐Eliezer|arXiv (Cornell University)|2018. 11. 19.

Algorithms and Data Compression인용 수 5

한 줄 요약

이 논문은 임의의 유한 알파벳 위의 d차원 배열에서 k-국소 성질을 위한 일반적이고 한쪽 오류(non-adaptive) 테스팅 프레임워크를 제안한다. 성질이나 알파벳에 관계없이 독립적인 구형 구조를 쿼리함으로써, 일차원의 경우 O(ε⁻¹k log(εn/k)) 및 다차원의 경우 O(c_d ε⁻¹ᐟᵈ k n^{d-1})의 최적 쿼리 복잡도 한계를 확립하여, 단조성, 리프시츠 연속성, 볼록성 등 여러 국소 성질에 대해 날카로운 한계를 달성한다.

ABSTRACT

We study testing of local properties in one-dimensional and multi-dimensional arrays. A property of $d$-dimensional arrays $f:[n]^d o Σ$ is $k$-local if it can be defined by a family of $k imes \ldots imes k$ forbidden consecutive patterns. This definition captures numerous interesting properties. For example, monotonicity, Lipschitz continuity and submodularity are $2$-local; convexity is (usually) $3$-local; and many typical problems in computational biology and computer vision involve $o(n)$-local properties. In this work, we present a generic approach to test all local properties of arrays over any finite (and not necessarily bounded size) alphabet. We show that any $k$-local property of $d$-dimensional arrays is testable by a simple canonical one-sided error non-adaptive $\varepsilon$-test, whose query complexity is $O(ε^{-1}k \log{\frac{εn}{k}})$ for $d = 1$ and $O(c_d ε^{-1/d} k \cdot n^{d-1})$ for $d > 1$. The queries made by the canonical test constitute sphere-like structures of varying sizes, and are completely independent of the property and the alphabet $Σ$. The query complexity is optimal for a wide range of parameters: For $d=1$, this matches the query complexity of many previously investigated local properties, while for $d > 1$ we design and analyze new constructions of $k$-local properties whose one-sided non-adaptive query complexity matches our upper bounds. For some previously studied properties, our method provides the first known sublinear upper bound on the query complexity.

연구 동기 및 목표

• 구조화된 배열에서 국소 성질을 위한 통합적이고 효율적인 테스팅 프레임워크를 개발한다. 특히 금지된 연속 패턴으로 정의된 성질에 초점을 맞춘다.
• 일차원 및 다차원 배열에서 k-국소 성질을 테스트할 때의 날카로운 쿼리 복잡도 한계를 확립한다.
• 한쪽 오류 및 양쪽 오류를 포함한 비적응형 테스트에 대해 상하한이 일치하는 하한을 통해 제안된 방법의 최적성을 입증한다.
• 계산 생물학, 컴퓨터 비전, 최적화 분야의 다양한 문제를 k-국소 성질로 포괄함으로써 성질 테스팅의 적용 범위를 넓힌다.
• 기존에 다뤄지지 않은 국소 성질, 특히 '0의 개수가 1의 개수보다 많다'와 같은 전역적인 수량 기반 조건을 포함한 일부 성질에 대해 처음으로 알려진 부분선형 쿼리 복잡도 상한을 제공한다.

제안 방법

• 성질이나 알파벳에 관계없이 독립적인 다양한 크기의 구형 구조를 쿼리하는 표준화된 한쪽 오류 비적응형 ε-테스트를 제안한다.
• k-국소 성질을 정의하여, 배열이 금지된 k×⋯×k 연속 부분배열의 가족을 피할 경우에만 성질을 만족한다고 한다.
• 기본 배열에서의 0/1 수를 집계한 정보를 각 셀에 저장하는 고차원 보조 배열 A₃에서 수량 기반 성질로의 감소를 이용한다.
• 중심 질량에서 0의 수가 1의 수보다 많을 경우와 같은 전역 수량 불균형을 바탕으로 기각 및 수용 집합(C_rej 및 C_acc)을 구성하여 하한을 확립한다.
• 확률적 분석을 적용하여 쿼리 집합 Q에서의 총 수의 기대값을 유계로 제한함으로써, 한쪽 오류로 C_acc와 C_rej를 구분하기 위해 |Q|가 Ω(n^{d-1}/d)여야 한다고 보여준다.
• 데이터 흐름과 수량 집계 규칙를 수정함으로써 임의의 짝수 k ≥ 2 및 일정한 ε에 대해 k-국소성을 유지하면서 일반화한다.

실험 결과

연구 질문

• RQ1 임의의 유한 알파벳 위의 d차원 배열에서 k-국소 성질을 모두 다룰 수 있는 단일이고 일반적인 테스팅 프레임워크를 설계할 수 있는가?
• RQ2 일차원 및 다차원 배열에서 k-국소 성질을 테스트할 때의 최적 쿼리 복잡도는 무엇인가?
• RQ3 제안된 프레임워크의 쿼리 복잡도 한계는 단조성, 리프시츠 연속성, 볼록성 등 특정 성질에 대해 알려진 한계와 어떻게 비교되는가?
• RQ4 이 프레임워크는 이전에 다뤄지지 않은 국소 성질, 예를 들어 전역적인 수량 기반 조건에 대해 처음으로 부분선형 쿼리 복잡도 상한을 제공할 수 있는가?
• RQ5 비적응형, 한쪽 오류 테스팅에 대해 k-국소 성질의 가장 날카로운 하한은 무엇이며, 이는 상한과 어떻게 일치하는가?

주요 결과

• 제안된 표준 테스트는 d=1일 경우 O(ε⁻¹k log(εn/k))의 쿼리 복잡도를, d>1일 경우 O(c_d ε⁻¹ᐟᵈ k n^{d-1})의 쿼리 복잡도를 달성하며, 단조성 및 리프시츠 연속성에 대해 알려진 최적의 한계와 일치한다.
• d=1의 경우, 쿼리 복잡도는 이전에 연구된 국소 성질에 대해 알려진 최고의 한계와 일치하여 프레임워크의 효율성을 확인한다.
• d>1의 경우, 새로운 k-국소 성질의 구성으로 인해 프레임워크의 상한이 날카로운 복잡도 한계임을 증명한다.
• 이 방법은 '중심 질량에서 0의 수가 1의 수보다 많다'와 같은 전역적이고 전통적인 국소성의 개념을 벗어난 성질에 대해 처음으로 알려진 부분선형 쿼리 복잡도 상한을 제공한다.
• 한쪽 오류 비적응형 테스팅에 대해 Ω(n^{d-1}/d)의 일치하는 하한이 증명되어, 쿼리 복잡도가 상수 요소를 제외하고 최적이 됨을 보여준다.
• 프레임워크는 보편적으로 적용 가능하다: 쿼리 집합은 성질이나 알파벳에 영향을 받지 않으며, 오직 k와 d에 의존하므로 다양한 응용 분야에서 매우 재사용 가능하다.