遗忘事物的幽灵：关于遗忘后规模的研究

遗忘是指从逻辑公式中移除变量，同时保持对其他变量的约束。尽管作为一种归约形式，它并不总是减小公式的规模，有时甚至会使其增大。本文讨论了这种规模增加的影响，并分析了该现象的计算性质。给定一个命题 Horn 公式、一组变量和一个允许的最大规模，判断从公式中遗忘这些变量是否能以该规模表示，在 $\Sigma^p_2$ 中是 $D^p$-难的。对于无限制的命题公式，同一问题在 $\Sigma^p_3$ 中是 $D^p_2$-难的。