[論文レビュー] 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 2つのテスト可能な性質の和集合が、どのような条件下でテスト可能となるか？
• RQ2 2つのテスト可能な性質の共通部分または差集合が、どのような条件下でテスト可能となるか？
• RQ3 線形関数の論理和は、多項式のクエリ複雑性でテスト可能か？また、最適な境界は何か？
• RQ4 集合演算における成分のクエリ複雑性と、合成された性質のクエリ複雑性の関係は？
• RQ5 不変性、単調性などの構造的性質（例：不変性、単調性）は、集合演算におけるテスト可能性を促進または阻害するか？

主な発見

• 線形関数の論理和は、クエリ複雑性 O(1/ε²) でテスト可能であり、これまでは超多項式の境界しか得られなかったため、顕著な改善である。
• 非線形三角形フリー関数（NLTF）のクラスは、一方向誤差を伴ってテスト可能であるが、単調ではない。
• NLTF の非適応的一方向テストャーは、ω(1/ε) 個のクエリを必要とし、三角形フリー性の下界と一致する。
• 線形関数と非線形三角形フリー関数の和集合は、三角形フリー性を回復し、そのテスト可能性はフレームワークによって保持される。
• このフレームワークは、線形性のテスト可能性を示す、概念的に異なる新しい証明を提供するが、クエリ複雑性は劣っている。
• 2つのテスト可能な性質の対称差集合は、一般にはテスト可能とは限らず、その閉包性に関する未解決の問題が残っている。