[논문 리뷰] Fast property testing and metrics for permutations

Jacob Fox, Fan Wei|arXiv (Cornell University)|2016. 11. 04.

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

한 줄 요약

이 논문은 직사각형 거리 척도에서 유전적 순열 성질에 대한 양면성 테스트의 다항 쿼리 복잡도 한계를 확립하며, 이는 이전의 타워 유형의 한계에 비해 상당한 향상이다. 이 성질들은 $1/\epsilon$에 대한 다항 쿼리 복잡도로 테스트 가능하다. 또한 켄달의 타우와 같은 관련 거리 척도가 테스트 목적에서 직사각형 거리와 등가임을 보여주며, 여러 순열 거리 척도에 대해 유사한 한계를 적용할 수 있다.

ABSTRACT

The goal of property testing is to quickly distinguish between objects which satisfy a property and objects that are $ε$-far from satisfying the property. There are now several general results in this area which show that natural properties of combinatorial objects can be tested with "constant" query complexity, depending only on $ε$ and the property, and not on the size of the object being tested. The upper bound on the query complexity coming from the proof techniques are often enormous and impractical. It remains a major open problem if better bounds hold. Maybe surprisingly, for testing with respect to the rectangular distance, we prove there is a universal (not depending on the property), polynomial in $1/ε$ query complexity bound for two-sided testing hereditary properties of sufficiently large permutations. We further give a nearly linear bound with respect to a closely related metric which also depends on the smallest forbidden subpermutation for the property. Finally, we show that several different permutation metrics of interest are related to the rectangular distance, yielding similar results for testing with respect to these metrics.

연구 동기 및 목표

• 순열의 성질 테스트에 대해 더 나은 쿼리 복잡도 한계가 존재하는지 여부라는 주요 열린 문제를 다루기 위해.
• 직사각형 거리 척도에서 유전적 순열 성질에 대한 두 측면 테스트에 대해 $1/\epsilon$에 대한 일반적인 다항 한계를 확립하기 위해.
• 다양한 순열 거리 척도(예: 켄달의 타우)를 직사각형 거리와 연결하여, 성질 테스트 목적에서 등가임을 보여주기 위해.
• 성질의 최소 금지 부분순열에 따라 거의 선형 쿼리 복잡도 한계를 제공하기 위해.
• 순열의 하위선형 시간 성질 테스트가 실용적인 다항 쿼리 복잡도를 달성할 수 있으며, 비현실적으로 큰 한계를 피할 수 있음을 보여주기 위해.

제안 방법

• 저자는 입력 순열에서 균일하게 임의로 하위순열 $M'$을 샘플링하는 수정된 두 측면 테스터를 사용한다.
• 샘플된 하위순열에 대해 파rameter $\epsilon/2$를 가진 기존의 두 측면 테스터(Tester 1)를 적용하여 성질 $\mathcal{P}$에 속하는지 평가한다.
• 증명은 성질의 유전성과 하위순열 샘플링에 관한 기존 결과를 활용하여 잘못된 수락 확률을 제한한다.
• 확률론적 추론과 이진 정사각형 내 순열 점 집합의 기하학적 분석을 결합하여, 다양한 척도에서 샘플 포인트에 매핑되는 점의 수를 제어한다.
• 샘플 포인트와 활성/고정 영역의 상대 척도에 따라 세 가지 경우를 분석하며, 각 척도당 샘플 포인트당 최대 $56\delta_3 n$개의 점을 제한한다.
• 최종적으로 하위순열 $B_j$의 크기 한계는 $|B_j| \leq 56\log(2/d')\delta_3 n$로 유도되며, 이는 총 다항 쿼리 복잡도를 이끈다.

실험 결과

연구 질문

• RQ1 유전적 순열 성질에 대한 두 측면 테스트는 $1/\epsilon$에 대한 다항 쿼리 복잡도로 수행될 수 있는가, 이는 순열 크기와 무관하게 가능한가?
• RQ2 특히 직사각형 거리와 켄달의 타우 간의 다른 순열 거리 척도는 성질 테스트 관점에서 어떻게 관련되어 있는가?
• RQ3 성질의 최소 금지 부분순열에 따라 거의 선형 쿼리 복잡도 한계가 존재하는가?
• RQ4 규칙성 렘마 기반 방법에서 유도된 비현실적으로 큰 타워 유형의 한계는 순열 성질 테스트 맥락에서 다항 한계로 대체될 수 있는가?
• RQ5 순열 점 집합의 기하학적 구조와 성질 테스트의 쿼리 복잡도 사이의 관계는 무엇인가?

주요 결과

• 직사각형 거리 척도에서 유전적 순열 성질에 대한 두 측면 테스트에 대해 $O(\epsilon^{-c})$의 일반적인 다항 쿼리 복잡도 한계가 확립되었으며, 이는 성질에 관계없이 독립적이다.
• 이 성질의 최소 금지 부분순열에 따라 의존하는 경우, 쿼리 복잡도는 $1/\epsilon$에 대해 거의 선형임이 입증되었다.
• 직사각형 거리가 켄달의 타우와 같은 다른 척도와 등가임이 입증되었으며, 이는 여러 척도에 동일한 한계를 적용할 수 있음을 의미한다.
• 증명 기법은 강력한 규칙성 렘마를 사용하지 않아 타워 유형의 한계를 피하고 실용적인 다항 한계를 도출한다.
• 이분 척도를 거쳐 샘플 포인트에 매핑되는 점의 수를 제어하여, 테스트에 사용되는 하위순열 크기의 총 한계가 $56\log(2/d')\delta_3 n$로 유도되었다.
• 결과적으로, 유전적 순열 성질의 한쪽 방향 테스트는 다항 쿼리 복잡도로 달성 가능하며, 이는 이전의 비구성적 또는 비현실적인 한계에 의존했던 결과를 향상시킨다.