时间CSP的可牵引组合第条
作者：Manuel Bodirsky；约翰·格雷纳（Johannes Greiner）；雅库布·里德瓦尔
NULL##空##空
曼努埃尔·博迪尔斯基；约翰·格雷纳（Johannes Greiner）；雅库布·里德瓦尔
一阶理论T的约束满足问题（CSP）是决定给定原子合取的计算问题公式在T的某些模型中是可满足的。我们研究了计算CSP$（T_1\cup T_2）$的复杂性，其中$T_1$和$T_2$是理论不相交的有限关系签名。我们证明了如果$T_1$和$T_2$是时间结构理论，即所有关系都具有$（Q；<）$中的一阶定义，则CSP$（T_1\cup T_2）$为P或NP-完成。为此，我们证明了关于域$Q$上局部封闭克隆的格结构包含Aut$（Q；<）$。
第18卷第2期
发布日期：2022年5月25日
验收日期：2022年3月1日
提交日期：2020年12月22日
关键词：数学-逻辑，计算机科学-计算复杂性，计算机科学–计算机科学中的逻辑，06A05，68Q25，08A70，F.4.1，F.2.2，G.2.1
基金： 来源：OpenAIRE Graph- 齐次结构、约束满足问题和拓扑克隆；出资人：欧洲委员会；代码：681988
