亚历山大·卡兹达 \(n)-置换性和线性数据日志意味着对称数据日志。 (英语) 兹比尔1476.68107 日志。方法计算。科学。 14,第2号,第3号论文,24页(2018年). 小结:我们表明,如果(mathbb A)是一个核心关系结构,使得CSP((mathbbA))可以由线性Datalog程序求解,并且(mathbb-A)对于某些(n)是(n)可置换的,那么CSP(mathbb2 A)可以由对称Datalog程序求解(因此CSP(MathbbA\)位于确定性日志空间)。目前,还不知道哪些结构(mathbb A\)将CSP(\(mathbbA\))可由线性Datalog程序求解。然而,一旦有人获得了线性数据日志的特征,我们的结果立即给出了对称数据日志的一个特征。 引用于4文件 MSC公司: 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 08A70号 泛代数在计算机科学中的应用 68N17号 逻辑编程 软件:数据日志 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda},日志。方法计算。科学。14,第2号,第3号论文,24页(2018;Zbl 1476.68107) 全文: 内政部 arXiv公司 参考文献: [1] [AB09]桑吉夫·阿罗拉(Sanjeev Arora)和波阿斯·巴拉克(Boaz Barak)。计算复杂性:一种现代方法。剑桥大学出版社,纽约,2009年·兹比尔1193.68112 [2] [附件08]阿尔伯特·阿塞里亚斯。关于有向图着色问题和树宽对偶。欧洲组合数学杂志,29(4):796-8202008年5月·Zbl 1160.05024号 [3] [Bar13]利伯·巴托。同余分配簇中的有限相关代数具有几乎一致的项。加拿大数学杂志,65:3-212013·Zbl 1283.08009号 [4] [Ber11]克利夫德·伯格曼。普适代数:基础和选修课。查普曼和霍尔/CRC出版社,博卡拉顿、纽约和阿宾顿,2011年第1版。 [5] [BK12]利伯·巴托(Libor Barto)和马金·科齐克(Marcin Kozik)。约束满足问题的鲁棒可满足性。第44届计算理论研讨会论文集,第931-940页,2012年·兹比尔1286.68178 [6] [BK14]利伯·巴托(Libor Barto)和马金·科齐克(Marcin Kozik)。可通过局部一致性方法解决的约束满足问题。ACM杂志,61(1):3:1-3:19,2014年1月·Zbl 1295.68126号 [7] [BKJ00]安德烈·布拉托夫、安德烈·克罗金和彼得·杰文斯。约束满足问题和有限代数。第27届国际自动化、语言和编程学术讨论会论文集,ICALP’00,第272-282页,英国伦敦,2000年。斯普林格·弗拉格·兹伯利0973.68181 [8] [BKKR69]V.G.Bodnarchuk、L.A.Kaluzhnin、V.N.Kotov和B.A.Romov。后代数的伽罗瓦理论。I.控制论,5(3):243-2521969年。 [9] [BKL08]安德烈·布拉托夫(Andrei Bulatov)、安德烈·克罗金(Andreii Krokhin)和贝诺伊·拉罗斯(Benoit Larose)。约束满足问题的对偶性。Nadia Creignou、Phokion G.Kolaitis和Heribert Vollmer,《约束的复杂性》编辑,《计算机科学讲义》第5250卷,第93-124页。施普林格-柏林-海德堡,2008年·Zbl 1171.68494号 [10] [BKW12]利伯·巴托(Libor Barto)、马金·科齐克(Marcin Kozik)和罗斯·威拉德(Ross Willard)。几乎一致性约束具有有界路径宽度对偶性。2012年6月25日至28日,克罗地亚杜布罗夫尼克,第27届IEEE计算机科学逻辑年会论文集,2012年12月12日至13日,第125-134页·Zbl 1362.68095号 [11] [Dal05]维克托·达尔摩。关系结构的线性数据日志和有界路径对偶性。计算机科学中的逻辑方法,1(1:5):1-322005·Zbl 1125.68408号 [12] [DL08]维克托·达尔莫(Victor Dalmau)和贝诺伊·拉罗斯(Benoit Larose)。马尔采夫+数据日志⇒ 对称数据日志。2008年,《LICS’08:2008年IEEE第23届计算机科学逻辑研讨会论文集》,第297-306页,华盛顿,2008年。IEEE计算机学会。 [13] [ELT07]L´aszl´o Egri、Benoit Larose和Pascal Tesson。日志空间中的对称数据日志和约束满足问题。在LICS’07:第22届IEEE逻辑年度研讨会论文集·Zbl 1155.68390号 [14] [FV99]汤姆饰演费德和莫舍·瓦迪。单调单子SNP的计算结构和约束满足:通过Datalog和群论的研究。SIAM计算机杂志,28(1):57-1041999·Zbl 0914.68075号 [15] [Gei68]大卫·盖革。函数和谓词的封闭系统。《太平洋数学杂志》。,27(1):95-100, 1968. ·Zbl 0186.02502号 [16] [HM73]约阿希姆·哈格曼(Joachim Hagemann)和阿列特·米施克(Aleit Mitschke)。关于n-置换同余。《通用代数》,3(1):8-121973年·Zbl 0273.08001号 [17] [HM96]大卫·霍比和拉尔夫·麦肯齐。《有限代数的结构》,《当代数学》第76卷。美国数学学会,普罗维登斯,1996年。 [18] [HN04]Pavol Hell和Jaroslav Ne’a set’ril.图和同态。牛津数学及其应用系列讲座。牛津大学出版社,纽约,2004年·Zbl 1062.05139号 [19] [Imm99]尼尔·伊梅尔曼。描述性复杂性。Springer,纽约,1999年·Zbl 0918.68031号 [20] [LP82]哈里·刘易斯和克里斯托斯·帕帕迪米特里奥。对称的空间边界计算。理论计算机科学,19(2):161-1871982·Zbl 0491.68045号 [21] [LT09]Benoit Larose和Pascal Tesson。约束满足问题的泛代数和硬度结果。理论计算机科学,410(18):1629-16472009·Zbl 1172.68024号 [22] [Rei05]奥马尔·莱因戈尔德(Omer Reingold)。日志空间中的无方向st-连通性。第三十七届美国计算机学会计算机理论年会论文集,STOC'05,第376-385页,美国纽约州纽约市,2005年。ACM公司·Zbl 1192.68374号 [23] [VF09]马修·瓦莱里奥特和拉尔夫·弗里斯。关于一些Maltsev条件的复杂性。国际代数与计算杂志,19(2):451-4642009·Zbl 1172.08004号 [24] [vLW01]J.H.van Lint和R.M.Wilson。组合数学课程。剑桥大学出版社,第二版,2001年·Zbl 0980.05001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。