In this note we show that all sets that are neither finite nor too dense are non-trivial to test in the sense that, for every \(\epsilon >0\) , distinguishing between strings in the set and strings that are \(\epsilon \) -far from the set requires \(\varOmega (1/\epsilon )\) queries. Specifically, we show that if, for infinitely many n’s, the set contains at least one n-bit long string and at most \(2^{n-\varOmega (n)}\) many n-bit strings, then it is non-trivial to test.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Properties that are Non-trivial to Test

  • Nader H. Bshouty,
  • Oded Goldreich

摘要

In this note we show that all sets that are neither finite nor too dense are non-trivial to test in the sense that, for every \(\epsilon >0\) , distinguishing between strings in the set and strings that are \(\epsilon \) -far from the set requires \(\varOmega (1/\epsilon )\) queries. Specifically, we show that if, for infinitely many n’s, the set contains at least one n-bit long string and at most \(2^{n-\varOmega (n)}\) many n-bit strings, then it is non-trivial to test.