扩展版：论回答集编程的结构难度：结构能否有效限制析取的能力？

回答集编程（ASP）是一种通用的问题建模与求解框架，重点关注知识表示，并在工业应用中快速增长。迄今为止，复杂性研究的结果包括刻画了难度并确定了其来源，以二分法风格的结果提供了细粒度的见解，以及详细的参数化复杂性图景。不幸的是，对于众所周知的参数树宽，在合理的复杂性假设下，析取程序需要双指数运行时间。这很快就变得难以企及。我们处理的是基于程序规则结构（关联图）的析取 ASP 的结构参数分类。首先，我们提供了一个多项式核，以在顶点覆盖大小方面获得单指数运行时间，尽管子集最小化并未在程序结构中表示。然后，我们将注意力转向顶点覆盖大小和树宽之间严格更好的结构参数。在这里，我们为该范围内最突出的参数提供了双指数下界：树深、反馈顶点集大小和团宽。基于此，我们认为，不幸的是，我们在顶点覆盖大小之外的选择是有限的。我们的结果提供了一项深入的难度研究，依赖于一种从正规程序到析取程序的新颖归约，以指数参数压缩换取复杂性的增加。