[论文解读] Property Testing via Set-Theoretic Operations

Victor Chen, Madhu Sudan+1 more|arXiv (Cornell University)|Oct 24, 2010

Complexity and Algorithms in Graphs参考文献 35被引用 5

一句话总结

本文研究了性质测试在集合论运算下的封闭性，表明在特定条件下，可测试性质的并集、交集和集合差可保持可测试性。本文提供了线性性质可测试性的新证明，并将测试线性函数析取的查询复杂度改进至 O(1/ε²)，展示了集合论分解在分析代数性质方面的实用性。

ABSTRACT

Given two testable properties $\mathcal{P}_{1}$ and $\mathcal{P}_{2}$, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study of these basic set-theoretic operations in the context of property testing. As an application, we give a conceptually different proof that linearity is testable, albeit with much worse query complexity. Furthermore, for the problem of testing disjunction of linear functions, which was previously known to be one-sided testable with a super-polynomial query complexity, we give an improved analysis and show it has query complexity $O(1/\eps^2)$, where $\eps$ is the distance parameter.

研究动机与目标

• 系统研究集合论运算（如并集、交集和集合差）在应用于可测试性质时，是否保持可测试性。
• 通过将复杂代数性质分解为更简单、原子化的可测试组件，构建分析复杂代数性质的框架。
• 利用集合论运算，为非单调性和无模式代数性质的可测试性提供新见解。
• 改进特定问题的查询复杂度界，例如测试线性函数的析取。
• 探讨可测试性与结构性质（如不变性及对运算的封闭性）之间的关系。

提出的方法

• 提出一个通用框架，用于分析集合论运算（包括并集、交集和集合差）下的可测试性。
• 通过将复杂性质分解为更简单、原子化的可测试性质的并集或交集来分析。
• 应用类似 BLR 的自校正技术，分析线性函数的析取。
• 采用归约论证，表明若两个成分及其集合运算均为可测试的，则复合性质继承可测试性。
• 利用已知的线性性质和无三角形性质的结果，推导出新的可测试性和下界结果。
• 使用三角不等式和距离论证，关联函数与性质之间的距离，尤其在证明下界时发挥作用。

实验结果

研究问题

• RQ1 在何种条件下，两个可测试性质的并集本身也是可测试的？
• RQ2 在何种条件下，两个可测试性质的交集或集合差也是可测试的？
• RQ3 线性函数的析取能否以多项式查询复杂度进行测试？最优复杂度界是什么？
• RQ4 复合性质的查询复杂度如何与集合运算下其组成部分的复杂度相关联？
• RQ5 哪些结构性质（如不变性、单调性）会促进或阻碍在集合运算下保持可测试性？

主要发现

• 线性函数的析取可测试，查询复杂度为 O(1/ε²)，显著优于先前的超多项式界。
• 非线性无三角形函数（NLTF）类具有单边错误的可测试性，尽管其非单调。
• 任何非自适应单边测试器对 NLTF 均需 ω(1/ε) 次查询，与无三角形性质的下界一致。
• 线性函数与非线性无三角形函数的并集恢复了无三角形性质，且其可测试性在该框架下得以保持。
• 该框架为线性性质可测试性提供了新且概念上不同的证明，尽管查询复杂度更差。
• 两个可测试性质的对称差通常不能保证可测试，其封闭性问题仍开放。