约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 重访有界树宽的答案集求解。 （英语） Zbl 1491.68042号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 132-145 (2017). 概述：参数化算法是一种更有效地解决困难问题的方法，因为输入的特定参数很小。在本文中，我们将这一思想应用于答案集编程（ASP）领域。为此，我们提出了两种程序的图形表示法，以利用其树宽作为参数。树宽大致衡量程序的内部结构在多大程度上类似于树。我们的主要贡献是设计了参数化动态规划算法，这些算法在给定程序的树宽和权重有界的情况下以线性时间运行。与以前的工作相比，我们的算法处理ASP的完整语法。最后，我们报告了一个经验评估，该评估显示了低树宽基准实例的良好运行时行为，特别是在计算答案集时。有关整个系列，请参见[Zbl 1367.68005号]. 引用于9文件 MSC公司： 68N17号 逻辑编程 68兰特 计算机科学中的图论（包括图形绘制） 68立方英尺 知识表示 68瓦40 算法分析 关键词：参数化算法;树分解 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人，Lect。注释计算。科学。10377、132--145（2017；Zbl 1491.68042） 全文： 内政部 arXiv公司