この記事では、未知のブーリアン関数によってラベル付けされた小さなランダムサンプルの$n$ビット文字列から、どのプロパティが計算的に効率的にテストできるのかが議論されています。著者たちは、少数のサンプルから効率的にテスト可能なプロパティと、低複雑性のドメインの一部における関数の平均値のみに依存する構造的対称性との間に同値関係を示しています。また、スーパシミュレーションという技術を用いて、小規模な回路シミュレータを利用して任意の複雑な関数を近似できることも示されています。サンプルサイズを増やすことで効率的なテストもチェックできることが確認され、ブーリアン関数のテスト結果は高エントロピー分布のテストにも一般化されることが示されています。この研究は計算複雑性やデータ構造、アルゴリズム等の分野に関連しています。