[논문 리뷰] Testing Intersecting and Union-Closed Families

Xi Chen, Anindya De외 3명|arXiv (Cornell University)|2023. 11. 18.

Machine Learning and Algorithms인용 수 1

한 줄 요약

이 논문은 부울 함수에서 두 가지 기본적인 조합적 성질인 상호교차성과 합집합폐쇄성의 쿼리 복잡도를 조사한다. 이 성질들에 대해 강력한 비적응형 쿼리 하한을 확립하여, 이들이 단조성보다 훨씬 더 어렵게 테스트됨을 보이며, 근사 중앙 무게를 가진 집합에 초점을 맞춘 새로운 샘플링 기반 테스터를 통해 거의 날카로운 상한을 제시한다.

ABSTRACT

Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n o \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersecting family (respectively, a union-closed family) of subsets of $[n]$. Our main results are that -- in sharp contrast with the property of being a monotone set system -- the property of being an intersecting set system, and the property of being a union-closed set system, both turn out to be information-theoretically difficult to test. We show that: $\bullet$ For $ε\geq Ω(1/\sqrt{n})$, any non-adaptive two-sided $ε$-tester for intersectingness must make $2^{Ω(n^{1/4}/\sqrtε)}$ queries. We also give a $2^{Ω(\sqrt{n \log(1/ε)})}$-query lower bound for non-adaptive one-sided $ε$-testers for intersectingness. $\bullet$ For $ε\geq 1/2^{Ω(n^{0.49})}$, any non-adaptive two-sided $ε$-tester for union-closedness must make $n^{Ω(\log(1/ε))}$ queries. Thus, neither intersectingness nor union-closedness shares the $\mathrm{poly}(n,1/ε)$-query non-adaptive testability that is enjoyed by monotonicity. To complement our lower bounds, we also give a simple $\mathrm{poly}(n^{\sqrt{n\log(1/ε)}},1/ε)$-query, one-sided, non-adaptive algorithm for $ε$-testing each of these properties (intersectingness and union-closedness). We thus achieve nearly tight upper and lower bounds for two-sided testing of intersectingness when $ε= Θ(1/\sqrt{n})$, and for one-sided testing of intersectingness when $ε=Θ(1).$

연구 동기 및 목표

• 부울 함수에서 상호교차성과 합집합폐쇄 가족의 테스트 가능성에 대한 조사.
• 이 성질들이 단조성과 유사한 효율적인 비적응형 테스팅 알고리즘을 갖는지 여부의 규명.
• 상호교차성과 합집합폐쇄성의 테스트에 대해 날카로운 쿼리 복잡도 하한을 확립하는 것.
• 특히 위반 삼중항과 쌍에 관해, 이 가족들에서 멀리 떨어진 함수의 구조적 성질 탐색.

제안 방법

• 근사 중앙 크기의 집합을 샘플링하고 위반 쌍을 검사하는 비적응형, 한쪽 방향 테스터를 제안한다.
• 측정의 집중을 활용하여 문제를 유한 무게 집합으로 축소하기 위해 잘라내기 기법을 사용한다.
• 상호교차성에서 멀리 떨어진 함수에서 위반 쌍의 수에 대한 조합적 하한을 적용하여 정당성 보장을 도출한다.
• 합집합폐쇄성의 위반 삼중항의 국소성을 분석하여 구조적 보조정리를 설계하는 데 활용한다.
• 특히 반대점 쌍과 대칭차 크기를 사용하여 통신 복잡도 및 극한 조합론으로의 감소를 통해 하한을 유도한다.
• 확률적 분석과 등면적 및 극한 집합론 도구를 결합하여 날카로운 하한을 확립한다.

실험 결과

연구 질문

• RQ1 비적응형 테스팅에 대해 상호교차 부울 함수의 쿼리 복잡도는 무엇인가?
• RQ2 합집합폐쇄성은 단조성과 마찬가지로 다항식(n, 1/ε) 쿼리로 테스트할 수 있는가?
• RQ3 상호교차성 또는 합집합폐쇄성에서 멀리 떨어진 함수를 특징짓는 구조적 특징은 무엇인가?
• RQ4 위반 삼중항의 국소성은 합집합폐쇄성의 테스트 가능성에 어떻게 영향을 주는가?
• RQ5 위반 삼중항의 최소 국소성 분석을 통해 더 날카로운 하한을 확립할 수 있는가?

주요 결과

• ε ≥ Ω(1/√n)일 경우, 상호교차성에 대한 어떤 비적응형 양방향 ε-테스터도 2Ω(n1/4/√ε) 쿼리가 필요하다.
• ε ≥ 1/2Ω(n0.49)일 경우, 합집합폐쇄성에 대한 어떤 비적응형 양방향 ε-테스터도 nΩ(log(1/ε)) 쿼리가 필요하다.
• O(n√n log(1/ε)/ε) 쿼리로 작동하는 한쪽 방향 비적응형 테스터를 구성하여, ε = Θ(1/√n)일 때 하한과 로그 인자 외에는 일치한다.
• 합집합폐쇄성에 대해서도 유사한 상한인 poly(n√n log(1/ε), 1/ε)를 확보하여 하한과 거의 일치한다.
• 논문은 상호교차성과 합집합폐쇄성 모두가 단조성 테스팅의 다항식(n, 1/ε) 쿼리 복잡도를 갖지 못함을 보여준다.
• 합집합폐쇄성에서 멀리 떨어진 함수는 국소성이 작은 많은 위반 삼중항을 포함해야 한다는 추측을 제기하며, 이는 더 효율적인 테스터로 이어질 수 있다.