English

Testing Intersectingness of Uniform Families

Data Structures and Algorithms 2024-07-19 v2

Abstract

A set family F{\cal F} is called intersecting if every two members of F{\cal F} intersect, and it is called uniform if all members of F{\cal F} share a common size. A uniform family F([n]k){\cal F} \subseteq \binom{[n]}{k} of kk-subsets of [n][n] is ε\varepsilon-far from intersecting if one has to remove more than ε(nk)\varepsilon \cdot \binom{n}{k} of the sets of F{\cal F} to make it intersecting. We study the property testing problem that given query access to a uniform family F([n]k){\cal F} \subseteq \binom{[n]}{k}, asks to distinguish between the case that F{\cal F} is intersecting and the case that it is ε\varepsilon-far from intersecting. We prove that for every fixed integer rr, the problem admits a non-adaptive two-sided error tester with query complexity O(lnnε)O(\frac{\ln n}{\varepsilon}) for εΩ((kn)r)\varepsilon \geq \Omega( (\frac{k}{n})^r) and a non-adaptive one-sided error tester with query complexity O(lnkε)O(\frac{\ln k}{\varepsilon}) for εΩ((k2n)r)\varepsilon \geq \Omega( (\frac{k^2}{n})^r). The query complexities are optimal up to the logarithmic terms. For εΩ((k2n)2)\varepsilon \geq \Omega( (\frac{k^2}{n})^2), we further provide a non-adaptive one-sided error tester with optimal query complexity of O(1ε)O(\frac{1}{\varepsilon}). Our findings show that the query complexity of the problem behaves differently from that of testing intersectingness of non-uniform families, studied recently by Chen, De, Li, Nadimpalli, and Servedio (ITCS, 2024).

Keywords

Cite

@article{arxiv.2404.11504,
  title  = {Testing Intersectingness of Uniform Families},
  author = {Ishay Haviv and Michal Parnas},
  journal= {arXiv preprint arXiv:2404.11504},
  year   = {2024}
}

Comments

20 pages

R2 v1 2026-06-28T15:57:30.541Z