[論文レビュー] New algorithms and lower bounds for monotonicity testing

Xi Chen, Rocco A. Servedio+1 more|arXiv (Cornell University)|Dec 17, 2014

Complexity and Algorithms in Graphs参考文献 15被引用数 22

ひとこと要約

本稿では、ハイパーキューブ上のブール関数の単調性テストのための新しい非適応的・片側誤差アルゴリズムを提示し、query複雑性を Õ(n^{5/6})poly(1/ε) に改善した。また、非適応的二側誤差テストに対して、Ω̃(n^{1/5}) のほぼタイトな下界を確立し、従来の下界に比べて指数的改善を達成した。

ABSTRACT

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $ε$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied problem. Lower bound: We prove an $ ildeΩ(n^{1/5})$ lower bound on the query complexity of any non-adaptive two-sided error algorithm for testing whether an unknown Boolean function $f$ is monotone versus constant-far from monotone. This gives an exponential improvement on the previous lower bound of $Ω(\log n)$ due to Fischer et al. [FLN+02]. We show that the same lower bound holds for monotonicity testing of Boolean-valued functions over hypergrid domains $\{1,\ldots,m\}^n$ for all $m\ge 2$. Upper bound: We give an $ ilde{O}(n^{5/6}) ext{poly}(1/ε)$-query algorithm that tests whether an unknown Boolean function $f$ is monotone versus $ε$-far from monotone. Our algorithm, which is non-adaptive and makes one-sided error, is a modified version of the algorithm of Chakrabarty and Seshadhri [CS13a], which makes $ ilde{O}(n^{7/8}) ext{poly}(1/ε)$ queries.

研究の動機と目的

• ハイパーキューブ上でのブール関数の単調性テストにおける、最良の既知の上界と下界のギャップを埋めること。
• 従来の研究に比べてquery複雑性を低減するより効率的な非適応的アルゴリズムを開発すること。
• 非適応的テストに対して、長年の Ω(log n) の下界をはるかに上回る、はるかに強いquery複雑性の下界を確立すること。
• ハイパーグリッド領域 [m]^n (m ≥ 2) における一般化された単調性テストへの下界を拡張すること。
• 特に高次元領域における単調性の性質テストにおいて、既存の技術を統合・改善すること。

提案手法

• ハミング距離が異なるエッジ上で非一様分布を用いて、x ≺ y を満たす比較可能なペア (x,y) をサンプリングする、修正された重み付きパステスト。
• y をハイパーキューブの中間層から一様に選び、x を密度重み付きスキームを用いてその先行者から選ぶ、ペア (x,y) に対する分布を導入。
• ChakrabartyとSeshadhri (2013) が提示した二分岐定理を用い、中間層における違反エッジ数 (v) と違反エッジの最大マッチングサイズ (σ) の関係を関連付ける。
• コイントスによりエッジテストと重み付きパステストを組み合わせる：それぞれ確率 1/2 で実行し、成功確率を強化。
• 確率的解析を用いて、ε、σ、n を用いて重み付きパステストの成功確率を評価し、集中と密度に関する議論を活用。
• 非適応的クエリで検出が困難なが、単調性から遠い関数の硬い分布を構築する、新しい下界技術を適用。

実験結果

リサーチクエスチョン

• RQ1 ハイパーキューブ上でのブール関数の非適応的単調性テストの最適なquery複雑性は何か？
• RQ2 一様エッジクエリを越えて、サンプリング戦略を変更することで、既存のアルゴリズムのquery複雑性を改善できるか？
• RQ3 非適応的二側誤差単調性テストのquery複雑性に対する最良の下界は何か？
• RQ4 ハイパーキューブに対する下界は、m ≥ 2 の一般化されたハイパーグリッド領域 [m]^n に対しても成立するか？
• RQ5 エッジテストとパステストを組み合わせたハイブリッドアプローチは、単独で使用する場合よりも優れたquery複雑性を達成できるか？

主な発見

• 本稿では、query複雑性 Õ(n^{5/6})poly(1/ε) の新しい非適応的・片側誤差アルゴリズムを提示し、ChakrabartyとSeshadhri (2013) が得た以前の最良の境界 Õ(n^{7/8})poly(1/ε) を改善した。
• 非適応的二側誤差単調性テストに対して、Ω̃(n^{1/5}) のほぼタイトな下界を確立し、従来の Ω(log n) の下界に比べて指数的改善を達成した。
• 同じ下界 Ω̃(n^{1/5}) は、すべての m ≥ 2 に対して一般化されたハイパーグリッド領域 [m]^n における単調性テストに対しても成立し、この設定に対する初めての下界である。
• 提案された重み付きパステストの成功確率は、σ を中間層における違反エッジの最大マッチングの正規化されたサイズとして、Ω(ε^8 σ^2 / (log²n √(n ln(1/ε)))) であることが示された。
• エッジテストと重み付きパステストを組み合わせることで、全体の成功確率が Ω(ε^4 / (n^{5/6} log^{2/3}n (ln(1/ε))^{1/6})) であることが示され、結果として改善された上界が得られた。
• これらの結果は、任意の適応的アルゴリズムが少なくとも Ω(log n) のクエリを必要とすることを示唆しており、非適応的ケースに由来する下界と一致する。