中文

DNF 公式的求值

计算复杂性 2014-10-09 v3 数据结构与算法

摘要

随机布尔函数求值 (SBFE) 问题是指在未知输入xx上确定给定布尔函数ff的值,其中xx的每一位xix_i只能通过支付给定的相关成本cic_i来确定。此外,xx取自给定的乘积分布:对于每个xix_iProb[xi=1]=piProb[x_i=1] = p_i,且各位相互独立。目标是最小化求值的期望成本。随机布尔函数求值 (SBFE) 问题是指在未知输入xx上确定给定布尔函数ff的值,其中xx的每一位xix_i只能通过支付给定的相关成本cic_i来确定。此外,xx取自给定的乘积分布:对于每个xix_iProb[xi=1]=piProb[x_i=1] = p_i,且各位相互独立。目标是最小化求值的期望成本。在本文中,我们研究了 DNF 公式类的 SBFE 问题的复杂性。我们考虑了 DNF 子类的精确版本和近似版本,涵盖了任意成本和乘积分布的情况,以及单位成本和/或均匀分布的情况。

关键词

引用

@article{arxiv.1310.3673,
  title  = {Evaluation of DNF Formulas},
  author = {Sarah R. Allen and Lisa Hellerstein and Devorah Kletenik and Tonguç Ünlüyurt},
  journal= {arXiv preprint arXiv:1310.3673},
  year   = {2014}
}