曼努埃尔·博迪尔斯基;约翰内斯·格雷纳;雅库布·里德瓦尔 临时CSP的可牵引组合。 （英语） 兹比尔07566067 日志。方法计算。科学。 18，第2号，第11号论文，33页（2022年）. 摘要：一阶理论（T）的约束满足问题（CSP）是决定给定的原子公式的合取在T的某个模型中是否可满足的计算问题。我们研究了CSP的计算复杂性，其中（T_1）和（T_2）是具有不相交有限关系签名的理论。我们证明了如果（T_1）和（T_2）是时间结构的理论，即所有关系在（（mathbb{Q}；<））中都有一阶定义的结构，那么CSP（（T_1\cupT_2））是P或NP完备的。为此，我们证明了关于包含Aut（（mathbb{Q}；<））的域\（mathbb{Q}\）上局部闭克隆格的结构的纯代数表述。 MSC公司： 03B70号 计算机科学中的逻辑 68倍 计算机科学 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，日志。方法计算。科学。18，第2号，第11号论文，33页（2022；Zbl 07566067） 全文： arXiv公司 链接 参考文献： [1] 曼纽尔·博德斯基、哈比·陈和迈克尔·平斯克。等式减少到原始的正互定义。符号逻辑杂志，75（4）：1249-12922010。doi:10.2178/jsl/1286198146·Zbl 1408.03021号 [2] 曼纽尔·博德斯基（Manuel Bodersky）、哈比·陈（Hubie Chen）和米查·勒罗纳（Micha l Wrona）。量化时间约束对最大国际代数与计算杂志的可追溯性，24（8）：1141-1156，2014.doi:·Zbl 1320.68097号 [3] 曼纽尔·博德斯基和约翰·格雷纳。定性约束满足问题组合的复杂性。《计算机科学中的逻辑方法》，第16卷，第1期，2020年2月。网址：https://lmcs.episciences.org/6129，doi:10.23638/LMCS-16（1:21）2020年·Zbl 1528.68142号 [4] 曼纽尔·博德斯基和约翰·格雷纳。通过抽样可追踪的理论组合。人工智能中的逻辑——第17届欧洲会议，JELIA 2021，虚拟事件，5月·兹比尔07437038 [5] 曼纽尔·博德斯基和马丁·希尔斯。可牵引装置约束。《人工智能研究杂志》，45:731-7592012。doi:10.1613/jair.3747·Zbl 1280.68235号 [6] 曼努埃尔·博迪尔斯基、彼得·琼森和特朗·范范。系统发育约束满足问题的复杂性。ACM计算逻辑学报（TOCL），18（3），2017年。扩展摘要出现在2016年STACS会议上。doi:10.4230/LIPIcs。STACS.2016.20·Zbl 1407.68206号 [7] Mathias Broxvall、Peter Jonsson和Jochen Renz。错位、独立、精炼。人工智能，140（1/2）：153-1732002·兹比尔0999.68202 [8] 曼努埃尔·博德斯基和扬·卡拉。等式约束语言的复杂性。计算系统理论，3（2）：136-1582008。会议版本出现在·Zbl 1148.68025号 [9] 曼纽尔·博德斯基和扬·卡拉。时间约束满足问题的复杂性。美国医学会杂志，57（2）：1-412009。一份扩展摘要发表在·Zbl 1327.68125号 [10] 曼努埃尔·博德斯基（Manuel Bodersky）、弗洛伦特·马德莱恩（Florent R.Madelaine）和安托万·莫特特（Antoine Mottet）。单调单子SNP的代数可处理性猜想的证明。SIAM J.计算。，50（4）：1359-14092021.数字对象标识代码：10.1137/·Zbl 07393743号 [11] 曼努埃尔·博迪尔斯基、巴纳比·马丁、迈克尔·平斯克和安德烈·阿斯蓬格拉茨。齐次图约简的约束满足问题。SIAM计算机杂志，48（4）：1224-1264·Zbl 1430.68121号 [12] 曼努埃尔·博迪尔斯基和雅罗斯拉夫·内塞里尔。可数同质模板的约束满足。逻辑与计算杂志，16（3）：359-3732006.doi:10.1093/log.com/exi083·Zbl 1113.03026号 [13] 曼纽尔·博德斯基。无限域约束满足中的复杂性分类。巴黎迪德罗大学（Universityée Didero）7号，M´emoire'habilitation'a diriger des recherches。可在arXiv:1201.0856v8上获得， [14] 曼纽尔·博德斯基。无限域约束满足的复杂性。逻辑讲义（52）。剑桥大学出版社，2021.doi:10.1017/9781107337534·Zbl 1495.68007号 [15] 曼纽尔·博德斯基和迈克尔·平斯克。图的Schaefer定理。ACM杂志，62（3）：52页（文章编号19），2015年。会议版发表在《2011年STOC会议录》第655-664页。doi:10.1145/2764899·Zbl 1288.05169号 [16] Manuel Bodirsky、Michael Pinsker和Andr´饰演Pongr´acz。随机序图的42个约简。LMS会议记录，111（3）：591-6322015。arXiv:1309.2165提供预印本。doi:10.1112/plms/pdv037·Zbl 1382.03057号 [17] 曼努埃尔·博迪尔斯基（Manuel Bodersky）、维德·帕库萨（Wied Pakusa）和雅库布·里德瓦尔（Jakub Rydval）。定点逻辑中的时间约束满足问题。霍尔格·赫尔曼斯（Holger Hermanns）、张丽君（Lijun Zhang）、小林直树（Naoki Kobayashi）和戴尔·米勒（Dale Miller），编辑·Zbl 1498.08003号 [18] 弗兰兹·巴德（Franz Baader）和克劳斯·U·舒尔茨（Klaus U.Schulz）。结合约束求解。H.Comon，C.March和R.Treinen，编辑，《计算逻辑中的约束》，2001年·Zbl 0976.03515号 [19] 曼纽尔·博德斯基和米夏·罗纳。等价约束满足问题。《计算机科学逻辑学报》，LIPICS第16卷，第122-136页。Dagstuhl出版社，9月·Zbl 1252.03087号 [20] 彼得·卡梅隆（Peter J.Cameron）。寡形置换群。剑桥大学出版社，剑桥，1990年·Zbl 0813.20002号 [21] 西尔维奥·吉拉尔迪。组合约束可满足性的模型理论方法。自动推理杂志，33（3）：221-2492004.doi:10.1007/s10817-004-6241-5·Zbl 1069.03008号 [22] Zvi Galil和Nimrod Megiddo。循环排序是NP-完全的。理论计算机科学，5（2）：179-1821977·兹伯利0383.68045 [23] 威尔弗里德·霍奇斯。较短的模型理论。剑桥大学出版社，剑桥，1997年·Zbl 0873.03036号 [24] 萨瓦·克里斯蒂和阿米特·戈尔。构建sat模理论的求解器：Nelson-oppen与dpll。第六届组合系统前沿国际研讨会论文集·Zbl 1148.68466号 [25] Michael Kompatscher和Trung Van Pham。偏序集约束满足的复杂性二分法。IfCoLog《逻辑及其应用杂志》（FLAP），5（8）：1663-16962018·Zbl 1402.68099号 [26] 亚历山大·凯克里斯（Alexander Kechris）、弗拉基米尔·佩斯托夫（Vladimir Pestov）和斯特沃·托多·塞维（Stevo Todor’cevi’c）。弗雷斯极限、拉姆齐理论和自同构群的拓扑动力学。几何和功能分析，15（1）：106-189·Zbl 1084.54014号 [27] 朱莉·林曼和迈克尔·平斯克。随机排列上的排列。组合数学电子杂志，22（2）：1-222015·Zbl 1528.03155号 [28] Rolf H.M¨ohring、Martin Skutella和Frederik Stork。具有和/或优先约束的调度。SIAM计算机杂志，33（2）：393-4152004·Zbl 1112.90034号 [29] 伯恩哈德·内贝尔（Bernhard Nebel）和汉斯·J·伯根·B·鲁克特（Hans-J–urgen B–urckert）。时间关系推理：艾伦区间代数的一个最大可处理子类。美国医学会杂志，42（1）：43-661995·Zbl 0886.68077号 [30] 格雷格·纳尔逊（Greg Nelson）和德里克·奥本（Derek C.Oppen）。通过合作决策程序简化。ACM编程语言和系统汇刊，1（2）：245-2571979年10月。doi:10.1145/·Zbl 0452.68013号 [31] 雅罗斯拉夫·奥帕特尼。总订购问题。SIAM计算机杂志，8（1）：111-1141979·Zbl 0395.68065号 [32] 德里克·奥本（Derek C.Oppen）。理论的复杂性、凸性和组合。理论计算机科学，12（3）：291-3021980.doi:10.1016/0304-3975（80）90059-6·Zbl 0437.03007号 [33] 埃米尔·L·波斯特。数学逻辑的二值迭代系统，第5卷。普林斯顿大学出版社，普林斯顿，1941年·Zbl 0063.06326号 [34] 克里斯托夫·林盖森。可满足性问题决策程序的合作，第121-139页。施普林格荷兰，多德雷赫特，1996。doi:10.1007/978-94-009-0349-4_6·Zbl 0945.03011号 [35] 克劳斯·U·舒尔茨。为什么组合决策问题往往很难解决。《组合系统的前沿》，第217-244页，柏林，海德堡，2000年。施普林格柏林海德堡·兹比尔0961.03011 [36] 塞萨尔·蒂内利（Cesare Tinelli）和克里斯托夫·林盖森（Christophe Ringeissen）。非不相交理论的结合和可满足性过程的组合。理论计算机科学，290（1）：291-3532003。doi:10.1016/S0304-3975（01）00332-2·Zbl 1018.68033号 [37] 马克·维兰（Marc Vilain）、亨利·考茨（Henry Kautz）和彼得·范·比克（Peter van Beek）。时态推理的约束传播算法：修订报告。阅读关于物理系统的定性推理，第页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。