ICMLAug, 2017

关于在算术电路中放宽确定性的研究

TL;DR本文提供了一种形式基础,可以在其中比较 AC 的变体,从而使它们的各种属性的作用和语义更加透明。本文还为 AC 提供了新的结果,包括具有和没有确定性的 AC 之间的指数分离;完备性和不完备性结果;以及计算最可能的解释时 (MPEs) 的可处理性结果(或缺乏处理性结果)。