<p>A set family <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> is called intersecting if every two members of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> intersect, and it is called uniform if all members of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> share a common size. A uniform family <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {F}\subseteq \left( {\begin{array}{c}[n]\\ k\end{array}}\right)\)</EquationSource> </InlineEquation> of <i>k</i>-subsets of [<i>n</i>] is <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varepsilon\)</EquationSource> </InlineEquation>-far from intersecting if one has to remove more than <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varepsilon \cdot \left( {\begin{array}{c}n\\ k\end{array}}\right)\)</EquationSource> </InlineEquation> of the sets of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> to make it intersecting. We study the property testing problem that given query access to a uniform family <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {F}\subseteq \left( {\begin{array}{c}[n]\\ k\end{array}}\right)\)</EquationSource> </InlineEquation>, asks to distinguish between the case that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> is intersecting and the case that it is <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\varepsilon\)</EquationSource> </InlineEquation>-far from intersecting. We prove that for every fixed integer <i>r</i>, the problem admits a non-adaptive two-sided error tester with query complexity <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(O(\frac{\ln n}{\varepsilon })\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\varepsilon \ge \Omega ( (\frac{k}{n})^r)\)</EquationSource> </InlineEquation> and a non-adaptive one-sided error tester with query complexity <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(O(\frac{\ln k}{\varepsilon })\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\varepsilon \ge \Omega ( (\frac{k^2}{n})^r)\)</EquationSource> </InlineEquation>. The query complexities are optimal up to the logarithmic terms. For <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\varepsilon \ge \Omega ( (\frac{k^2}{n})^2)\)</EquationSource> </InlineEquation>, we further provide a non-adaptive one-sided error tester with optimal query complexity of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(O(\frac{1}{\varepsilon })\)</EquationSource> </InlineEquation>. 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 et al. (2024).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Testing Intersectingness of Uniform Families

  • Ishay Haviv,
  • Michal Parnas

摘要

A set family \(\mathcal {F}\) is called intersecting if every two members of \(\mathcal {F}\) intersect, and it is called uniform if all members of \(\mathcal {F}\) share a common size. A uniform family \(\mathcal {F}\subseteq \left( {\begin{array}{c}[n]\\ k\end{array}}\right)\) of k-subsets of [n] is \(\varepsilon\) -far from intersecting if one has to remove more than \(\varepsilon \cdot \left( {\begin{array}{c}n\\ k\end{array}}\right)\) of the sets of \(\mathcal {F}\) to make it intersecting. We study the property testing problem that given query access to a uniform family \(\mathcal {F}\subseteq \left( {\begin{array}{c}[n]\\ k\end{array}}\right)\) , asks to distinguish between the case that \(\mathcal {F}\) is intersecting and the case that it is \(\varepsilon\) -far from intersecting. We prove that for every fixed integer r, the problem admits a non-adaptive two-sided error tester with query complexity \(O(\frac{\ln n}{\varepsilon })\) for \(\varepsilon \ge \Omega ( (\frac{k}{n})^r)\) and a non-adaptive one-sided error tester with query complexity \(O(\frac{\ln k}{\varepsilon })\) for \(\varepsilon \ge \Omega ( (\frac{k^2}{n})^r)\) . The query complexities are optimal up to the logarithmic terms. For \(\varepsilon \ge \Omega ( (\frac{k^2}{n})^2)\) , we further provide a non-adaptive one-sided error tester with optimal query complexity of \(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 et al. (2024).