机构名称：
¥ 1.0
摘要。在加权模型计数 (WMC) 中，我们为布尔文字分配权重，并希望计算布尔函数模型权重的总和，其中模型的权重是其文字权重的乘积。WMC 被证明对于在图形模型中执行推理特别有效，其复杂度为 O ( n 2 w )，其中 n 是变量的数量，w 是树的宽度。在本文中，我们提出了一种用于执行 WMC 的量子算法，即量子 WMC (QWMC)，该算法修改了量子模型计数算法以考虑权重。反过来，模型计数算法使用量子搜索、相位估计和傅里叶变换的算法。在计算的黑盒模型中，我们只能查询一个 oracle 来评估给定分配的布尔函数，QWMC 以大约 Θ(2 n
量子加权模型计数
主要关键词
相关文件推荐
