罗纳德·哈恩;斯泽德，斯特凡 参数化复杂度类的机器特征。 （英语） Zbl 1370.68145号 Italiano、Giuseppe F.（编辑）等，《2015年SOFSEM：计算机科学的理论与实践》。2015年1月24日至29日，第41届计算机科学理论与实践当前趋势国际会议，捷克共和国，Pec pod Snězzo kou。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46077-1/pbk）。计算机科学课堂讲稿8939，217-229（2015）。 小结：由于现代SAT解析器的强大功能，人们可以通过将它们编码到SAT中，在许多实际环境中有效地解决NP-完全问题。然而，计算机科学各个领域的许多重要问题都不在NP范围内，因此我们不能指望将多项式时间编码到SAT。最近的研究建议使用固定参数可处理（fpt）约简来为这些较难的问题提供有效的SAT编码。参数化复杂度类（对于所有^{*}都存在^{k}）和（对于所有的^{k{都存在）提供了强有力的理论证据，证明某些参数化问题不可fpt化为SAT。最初，这些复杂度类是通过量化布尔公式的加权可满足性问题定义的，扩展了纬纱层次规范问题的一般思想。本文根据一阶逻辑模型检查问题和涉及具有适当时间界限和交替次数界限的交替图灵机的问题，给出了（存在^{k}对所有^{*}）和（存在^。我们还为这些类完成的交替图灵机识别了参数化暂停问题。替代特征为新复杂性类的稳健性提供了证据，并扩展了用于建立成员关系结果的工具箱。作为一个例子，我们考虑了3-着色扩展问题的各种参数化。关于整个系列，请参见[Zbl 1303.68019号]. 引用于2文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2005年第68季度 计算模型（图灵机等）（MSC2010） 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） PDF格式BibTeX公司 XML格式引用 \textit{R.de Haan}和\textit{S.Szeider}，莱克特。票据计算。科学。8939，217--229（2015；Zbl 1370.68145） 全文： DOI程序