...
【24h】

On property testing algorithms for monotone Boolean formulae

机译:关于单调布尔公式的物业测试算法

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       

摘要

We consider the problem of determining whether a given function f : {0, 1}{sup}n → {O, 1} belongs to a certain class of Boolean functions F{sub}P or whether it is far from the class. More precisely, given query access to the function f and given a distance parameter ε, we would like to decide whether f ∈ F{sub}P or whether it differs from every g ∈ F{sub}P on more than an ε fraction of the inputs. We give algorithms for testing monomials whose query complexity is O{sup}~(1/ε{sup}2) and for testing monotone DNF formulae with at most l terms whose query complexity is O{sup}~(l{sup}3/ε{sup}2).
机译:我们考虑确定给定函数f:{0,1} {sup} n→{o,1}属于某个类布尔函数f {sub} p或它是否远离类的问题。 更确切地说,给定对函数f的查询访问并给出距离参数ε,我们想决定是否从每个g≠f {sub} p的不同之处 输入。 我们提供用于测试查询复杂性为O {sup}〜(1 /ε{sup} 2)的单项式的算法,并且用于以最多l的尺寸测试单调的dnf公式,其查询复杂性为o {sup}〜(l {sup} 3 /ε{sup} 2)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号