TL;DR本文提供了一种形式基础,可以在其中比较 AC 的变体,从而使它们的各种属性的作用和语义更加透明。本文还为 AC 提供了新的结果,包括具有和没有确定性的 AC 之间的指数分离;完备性和不完备性结果;以及计算最可能的解释时 (MPEs) 的可处理性结果(或缺乏处理性结果)。
Abstract
The past decade has seen a significant interest in learning tractable
probabilistic representations. arithmetic circuits (ACs) were among the first
proposed tractable representations, with some subsequent represe