马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 时序逻辑中可满足性的参数化复杂性。 （英语） Zbl 1367.68111号 ACM事务处理。计算。日志。 18，第1号，第1条，第32页（2017年）. 引用于1文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03B44号 时间逻辑 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：参数化复杂性;计算树逻辑;线性时序逻辑;路宽;柱子的格子;时间深度;时序逻辑;树宽 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人，《美国医学杂志》。计算。日志。18，第1号，第1条，第32页（2017年；Zbl 1367.68111） 全文： 内政部 参考文献： [1] E.艾伦·艾默生。时间和模态逻辑。在《理论计算机科学手册》（B卷）中，Jan van Leeuwen（编辑）。麻省理工学院出版社，马萨诸塞州剑桥，995-1072·Zbl 0900.03030号 ·doi:10.1016/B978-0-444-88074-1.50021-4 [2] E.Allen Emerson和E.M.Clarke，1981年。使用分支时间时序逻辑设计和合成同步骨架。《程序逻辑》（计算机科学讲义），第131卷。柏林施普林格·弗拉格，52-71。 [3] E.Allen Emerson和J.Y.Halpern。1985.分支时间的时间逻辑中的决策过程和表现力。J.计算。系统科学。30, 1 (1985), 1–24. ·Zbl 0559.68051号 ·doi:10.1016/0022-0000（85）90001-7 [4] M.Bauland，E.Bö；hler、N.Creignou、S.Reith、H.Schnoor和H.Vollmer。2010年，量化约束问题的复杂性。西奥。计算。系统。47 (2010), 454–490. ·Zbl 1204.68182号 ·doi:10.1007/s00224-009-9194-6 [5] O.Beyersdorff、A.Meier、M.Mundhenk、T.Schneider、M.Thomas和H.Vollmer。2011年。模型检查CTL几乎总是固有的顺序性。逻辑。计算方法。科学。7, 2 (2011). ·Zbl 1220.68068号 ·doi:10.2168/LMCS-7（2:12）2011年 [6] O.Beyersdorff、A.Meier、M.Thomas和H.Vollmer。2010.默认逻辑片段推理的复杂性。J.逻辑计算。(2010). ·Zbl 1247.68263号 [7] P.Blackburn、M.de Rijke和Y.Venema。2001.模态逻辑。剑桥大学出版社，纽约州纽约市·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884 [8] 欧洲银行ö；hler、N.Creignou、M.Galota、S.Reith、H.Schnoor和H.Vollmer。2012.布尔电路不同等价性的复杂性分类和审计问题。逻辑。计算方法。科学。8, 3:27 (2012), 1–25. ·Zbl 1248.94130号 [9] C.Chekuri和A.Rajaraman。1997.重新访问连接查询遏制。数据库理论—；ICDT’；97.第1186卷。柏林施普林格，56-70岁·Zbl 0944.68046号 ·doi:10.1007/3-540-622225-36 [10] B.Courcelle和J.Engelfriet。图结构和一元二阶逻辑，语言理论方法。剑桥大学出版社·Zbl 1257.68006号 ·doi:10.1017/CBO9780511977619 [11] N.Creignou、A.Meier、H.Vollmer和M.Thomas。2012.对自我认识逻辑片段进行推理的复杂性。ACM事务处理。计算。逻辑13,2（2012年4月），1-22·Zbl 1352.68226号 ·doi:10.1145/2159531.2159539 [12] S.Demri和P.Schnoebelen。2002.简单情况下命题线性时序逻辑的复杂性。通知。计算。174，1（2002年4月），84–103·Zbl 1009.68072号 ·doi:10.1006/inco.2001.3094 [13] R.G.Downey和M.R.Fellows。1999.参数化复杂性。柏林斯普林格·弗拉格·Zbl 0914.68076号 ·doi:10.1007/978-1-4612-0515-9 [14] M.Elberfeld、A.Jakoby和T.Tantau。2010年，博德兰德和库塞尔定理的对数空间版本。程序中。第51届IEEE计算机科学基础年会。IEEE计算机学会。 ·doi:10.1109/FOCS.2010.21 [15] M.J.Fischer和R.E.Ladner。1979.正则程序的命题动态逻辑。J.计算。系统。科学。18, 2 (1979), 194–211. ·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1 [16] J.Flum和M.Grohe。2006.参数化复杂性理论。斯普林格·弗拉格·Zbl 1143.68016号 [17] 哈伊姆·盖夫曼。1982年。关于本地和非本地财产。在Herbrand研讨会上，逻辑座谈会’；81.霍兰德北部，105–135·Zbl 0518.03008号 [18] G.Gottlob、R.Pichler和F.Wei。2010年。有界树宽是知识表示和推理可处理性的关键。Artif公司。智力。174, 1 (2010), 105–132. ·Zbl 1185.68690号 ·doi:10.1016/j.artint.2009.10.003 [19] J.Y.哈尔佩恩。1995.限定原始命题的数量和嵌套深度对模态逻辑复杂性的影响。Artif公司。智力。75 (1995), 361–372. ·Zbl 1014.03508号 ·doi:10.1016/0004-3702（95）00018-A [20] E.Hemaspandra、H.Schnorr和I.Schnoor。2010.广义模态可满足性。J.计算。系统。科学。76 (2010), 561–578. ·Zbl 1197.68048号 ·doi:10.1016/j.jss.2009.10.011 [21] P.G.Kolaitis和M.Y.Vardi。2000.连接查询包含和约束满足。J.计算。系统。科学。61, 2 (2000), 302–332. ·Zbl 0963.68059号 ·doi:10.1006/jcss.2000.1713 [22] S.Kripke。1963.模态逻辑的语义考虑。《费尼卡哲学学报》，第16卷。84–94. ·Zbl 0131.00602号 [23] H.刘易斯。命题计算的可满足性问题。数学。系统。西奥。13 (1979), 45–53. ·Zbl 0428.03035号 ·doi:10.1007/BF01744287 [24] M.Lü；2015年12月。古怪的量词：优化模型和计算树逻辑的复杂性。CoRR abs/1510.08786（2015）。 [25] M.Lü；ck、A.Meier和I.Schindler。2015年CTL的参数化复杂性。语言与自动机理论与应用。计算机科学讲义，第8977卷。施普林格，549–560·Zbl 1451.68138号 ·doi:10.1007/978-3-319-15579-1_43 [26] A.Meier、M.Mundhenk、T.Schneider、M.Thomas、V.Weber和F.Weiss。2010.混合逻辑片段可满足性的复杂性——第一部分：应用。逻辑8，4（2010），409–421·Zbl 1215.03034号 ·doi:10.1016/j.jal.2010.08.001 [27] A.Meier、M.Mundhenk、M.Thomas和H.Vollmer。2009.CTL和CTL*片段的可满足性的复杂性。发现的国际期刊。计算。科学。20, 05 (2009), 901–918. 勘误表见Meier等人{2015年}·Zbl 1186.68212号 [28] A.Meier、M.Mundhenk、M.Thomas和H.Vollmer。2015年，勘误表：CTL和CTL*片段可满足性的复杂性。发现的国际期刊。计算。科学。26, 08 (2015), 1189–1190. ·Zbl 1405.68130号 ·doi:10.1142/S012905411592001X [29] A.Meier、J.Schmidt、M.Thomas和H.Vollmer。2012.关于默认逻辑和自认知逻辑的参数化复杂性。程序中。第六届语言与自动机理论与应用国际会议（LATA），第7183卷。389–400. ·Zbl 1351.68120号 ·doi:10.1007/978-3-642-28332-1.33 [30] A.Meier和T.Schneider。2013.描述逻辑ALC的广义可满足性。西奥。计算。科学。505, 0 (2013), 55–73. 2011年计算模型的理论与应用·Zbl 1301.68222号 [31] N.皮彭杰。1997年，可计算性理论。剑桥大学出版社·Zbl 0879.03013号 [32] A.普努利。1977.程序的时序逻辑。程序中。第十八届计算机科学基础研讨会。IEEE计算机学会出版社，46–57·doi:10.1109/SFCS.1977.32 [33] E.职位。1941.数学逻辑的二值迭代系统。安。数学。螺柱5（1941），1-122。 [34] M.Praveen先生。2013.树宽有助于提高模态满意度吗？ACM事务处理。计算。逻辑14，3（2013），18:1–18:32·Zbl 1354.68133号 [35] A.N.优先。1957.时间和形式。牛津克拉伦登出版社·Zbl 0079.00606号 [36] M.Samer和S.Szeider。2006.带参数关联树宽度的#SAT固定参数算法。CoRR abs/cs/0610174（2006）·Zbl 1160.68563号 [37] M.Samer和S.Szeider。2010年，对有界树宽的约束满意度进行了重新评估。J.计算。系统。科学。76，2（2010），103–114·Zbl 1186.68443号 ·doi:10.1016/j.jcss.2009.04.003 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。