Основные понятия
本論文では、ブール関数 f : {±1}n →{±1} に対して、2 e
O(√
k log(1/ε))クエリで、f が ε1-近接な k-ジャンタか、ε2-離れた k-ジャンタかを判別する非適応的アルゴリズムを提案する。アルゴリズムの中心となるのは、ブール関数の局所平均推定手順で、これは独立した興味の対象となる。
Аннотация
本論文では、ブール関数 f : {±1}n →{±1} に対する非適応的許容ジャンタテストの新しいアルゴリズムを提案している。
主な内容は以下の通り:
-
関数 f の平均の絶対値を良好に推定できる局所推定量を構築した。これは近似包含除外の理論を応用することで実現した。
-
上記の局所推定量を用いて、f が ε1-近接な k-ジャンタか、ε2-離れた k-ジャンタかを判別するアルゴリズムを提案した。このアルゴリズムは、2 e
O(√
k log(1/ε))クエリで動作し、適応的アルゴリズムと同等の k依存性を持ちつつ、ε依存性を改善している。
-
提案アルゴリズムの下界を示し、上界と一致することを証明した。これにより、非適応的許容ジャンタテストの問題に対して初めて最適な解が得られた。
Статистика
f(x)の平均の絶対値 | E[f]|は、ハミング球B(x, r)内の f の値から良好に推定できる。
ノイズ演算子 Tρを用いることで、f の高次フーリエ係数を小さくできる。
数値微分を用いることで、Tρfの高次導関数を効率的に計算できる。
Цитаты
"本論文では、ブール関数 f : {±1}n →{±1} に対する非適応的許容ジャンタテストの新しいアルゴリズムを提案している。"
"アルゴリズムの中心となるのは、ブール関数の局所平均推定手順で、これは独立した興味の対象となる。"
"提案アルゴリズムの下界を示し、上界と一致することを証明した。これにより、非適応的許容ジャンタテストの問題に対して初めて最適な解が得られた。"