DNF 公式的求值
计算复杂性
2014-10-09 v3 数据结构与算法
摘要
随机布尔函数求值 (SBFE) 问题是指在未知输入上确定给定布尔函数的值,其中的每一位只能通过支付给定的相关成本来确定。此外,取自给定的乘积分布:对于每个,,且各位相互独立。目标是最小化求值的期望成本。随机布尔函数求值 (SBFE) 问题是指在未知输入上确定给定布尔函数的值,其中的每一位只能通过支付给定的相关成本来确定。此外,取自给定的乘积分布:对于每个,,且各位相互独立。目标是最小化求值的期望成本。在本文中,我们研究了 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}
}