Sep, 2013
精确模型计数的下界及在概率数据库中的应用
Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu
TL;DR本文研究了用于准确计算布尔公式的确定性决策图 (d-DNNF) 表示法,将其转换为自由二叉决策图 (FBDD) 用于提供计算上限,并证明了决策 - DNNF 的指数下限,从而提高了关联概率数据库的计算效率。