主机名：页面组件-848d4c4894-ndmmz总加载时间：0渲染日期：2024-06-01T12:19:30.42Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

同余有限相关代数分布簇具有近一致项

剑桥大学出版社在线出版：2018年11月20日

利伯·巴托
利伯·巴托*
附属：
安大略省汉密尔顿麦克马斯特大学数学与统计系
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

我们证明了同余分配簇中的每个有限的、有限相关的代数都有一个几乎一致的项运算。因此，我们解决了关系结构的近似一致性问题：可以决定有限集上给定的有限关系集是否允许兼容的近似一致性运算。这个结果还意味着，给定的有限约束语言是否定义了有界严格宽度的约束满足问题是可以判定的。

关键词

08B05号08B10号同余分配簇Jánsson操作近一致行动有限相关代数约束满足问题
类型
研究文章
问询处
加拿大数学杂志 ，第65卷 ，第1版 2013年2月1日 ，第3-21页
版权
版权所有©加拿大数学学会2013

工具书类

[1]艾兴格尔，E.公司。，迈尔，第页。、和麦肯齐，R。，关于有限代数结构的个数.arxiv：1103.2265。谷歌学者
[2]贝克，英国。和像素，A.F.公司。，多项式插值与代数系统的中国剩余定理。数学。Z.公司。143(1975)，没有。2，165–174。http://dx.doi.org/10.1007/BF01187059 谷歌学者
[3]巴尔托，L。和科齐克，M。，同余分布意味着有界宽度。SIAM J.计算机. 39 (2009/10） ，没有。4，1531–1542x。http://dx.doi.org/10.1137/080743238。谷歌学者
[4]科齐克，M。 有界宽度的约束满足问题。输入：2009年第50届IEEE计算机科学基础年会（FOCS 2009），IEEE Computer Soc。加利福尼亚州洛斯阿拉米托斯，2009，页。595–603。谷歌学者
[5]伯曼，J。，伊扎克，第页。，马尔科维奇，第页。，麦肯齐，R。，瓦莱里奥特，M。、和威拉德，R。，幂子代数少的变种。事务处理。阿默尔。数学。Soc公司. 362(2010)，没有。三，1445–1473。http://dx.doi.org/10.1090/S0002-9947-09-04874-0 谷歌学者
[6]博德纳尔丘克，V.G.公司。，卡鲁日宁，洛杉矶。，科托夫，V.N.公司。、和罗莫夫，学士。，后代数的伽罗瓦理论。一、 二.（俄语），Kibernetika公司(基辅)1969年第3期，1–10; 同上。1969，没有。5, 1-9.谷歌学者
[7]波瓦，美国。，陈，H。、和瓦莱里奥特，M。，原始正公式比较的通用表达式硬度结果。第38届国际自动化、语言和编程学术讨论会（ICALP），苏黎世，瑞士，2011。谷歌学者
[8]布拉托夫，A。，杰文斯（Jeavons），第页。、和克罗金，A。，利用有限代数对约束复杂性进行分类。SIAM J.计算机. 34 (2005)，没有。三，720–742。http://dx.doi.org/10.1137/S0097539700376676 谷歌学者
[9]伯里斯，序号。和桑卡普纳瓦尔，高压。，泛代数课程。数学研究生课程，78，施普林格出版社，纽约-柏林，1981。谷歌学者
[10]戴维，学士。，单调克隆与同余模块。订单6(1990)，没有。4，389–400。http://dx.doi.org/10.1007/BF00346133 谷歌学者
[11费德，T。和瓦尔迪，M.Y.（月）。，单调单子SNP的计算结构与约束满足：基于Datalog和群论的研究。SIAM J.计算机。28(1999)，编号1，57–104。http://dx.doi.org/10.1137/S0097539794266766 谷歌学者
[12]弗里斯，R。和瓦莱里奥特，上午。，关于一些Maltsev条件的复杂性。国际。J.代数计算。19(2009)，编号1，41–77。http://dx.doi.org/10.1142/S0218196709004956 谷歌学者
[13]盖革，D。，函数和谓词的封闭系统。太平洋数学杂志。27(1968),95–100。谷歌学者
[14]伊齐亚克，第页。，马尔科维，第页。，麦肯齐，R。，瓦莱里奥特，M。、和威拉德，R。，由少子幂代数产生的可追踪性和可学习性。附：第二十二届IEEE计算机科学逻辑年会论文集(低收入国家2007),IEEE计算机学会出版社，2007，页。213–222。谷歌学者
[15]杰文斯（Jeavons），第页。，科恩，D。、和吉森（Gyssens），M。，约束的闭包属性。美国临床医学杂志 44(1997)，编号4，527–548。http://dx.doi.org/10.1145/263867.263489。谷歌学者
[16]约翰逊，B。，同余格是分配的代数。数学。扫描。21(1968),110–121。谷歌学者
[17]坤，G。和萨博奥，C、。，有限偏序集的序变分与单调收缩。订单 18(2001)，编号1，79–88. http://dx.doi.org/10.1023/A：1010681409599谷歌学者
[18]落叶松，B。，洛滕，C、。、和扎多里，L。，近似一致图的多项式时间算法。J.算法 55(2005)，编号2，177–191。http://dx.doi.org/10.1016/j.jalgor.2004年4月11日 谷歌学者
[19]拉罗斯，B。和扎多里，L。，有限偏序集的代数性质和可分解性。离散数学。163(1997)，编号1-3，89–99。http://dx.doi.org/10.1016/0012-365X（95）00312-K号 谷歌学者
[20]马尔科维奇，第页。和麦肯齐，R。，少子幂、同余分布性和近一致项。代数普遍性 58(2008)，编号2，119–128。http://dx.doi.org/10.1007/s00012-008-2049-1 谷歌学者
[21]马洛蒂，M。，关于近期一致性项的（un）可判定性。代数普遍性 57(2007)，编号2，215–237。http://dx.doi.org/10.1007/s00012-007-2037-x 谷歌学者
[22]马洛蒂，M。，有限代数中近一致项的存在是可判定的。J.符号逻辑 74(2009)，编号3，1001–1014。http://dx.doi.org/10.2178/jsl/1245158096 谷歌学者
[23]马洛蒂，M。，单调克隆、剩余小度和同余分布。牛市。南方的。数学。Soc公司。41(1990)，编号2，283–300。http://dx.doi.org/10.1017/S0004972700018104 谷歌学者
[24]拉扎多里，，单调Jónsson运算和近似一致函数。代数普遍性 33(1995),216–236。http://dx.doi.org/10.1007/BF01190934 谷歌学者