๐ฎ
๐ฎ
The Ethereal
Testing Intersecting and Union-Closed Families
November 18, 2023 ยท The Ethereal ยท ๐ Information Technology Convergence and Services
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio
arXiv ID
2311.11119
Category
cs.CC: Computational Complexity
Cross-listed
cs.DM,
cs.DS
Citations
3
Venue
Information Technology Convergence and Services
Last Checked
2 months ago
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 \to \{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).$
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Computational Complexity
๐ฎ
๐ฎ
The Ethereal
An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
๐ฎ
๐ฎ
The Ethereal
The Parallelism Tradeoff: Limitations of Log-Precision Transformers
๐ฎ
๐ฎ
The Ethereal
The Hardness of Approximation of Euclidean k-means
๐ฎ
๐ฎ
The Ethereal
Slightly Superexponential Parameterized Problems
๐ฎ
๐ฎ
The Ethereal