杰夫·施莱纳 子权力成员资格问题的硬度结果。 （英语） Zbl 1491.08012号 国际代数计算杂志。 28，第5期，719-732（2018）. 摘要：本文的主要结果表明，如果（mathcal M）是一个一致的强线性Maltsev条件，它并不意味着立方体项的存在，那么对于任何有限代数（mathbb a），都存在一个满足Maltsef条件的新的有限代数（mathbb a{mathcal M}），其子权力成员资格问题至少与\（\mathbb A\）的子权力成员身份问题一样困难。我们刻画了一致的强线性Maltsev条件，这些条件并不意味着立方体项的存在，并证明了在同余分布和同余置换的变种中存在有限代数，其子幂隶属度问题是EXPTIME-完全的。 引用于1文件 MSC公司： 08B05年 等式逻辑，Mal'tsev条件 08A70号 泛代数在计算机科学中的应用 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 关键词：子权力成员问题;马尔采夫条件;多维数据集项 PDF格式BibTeX公司 XML格式引用 \textit{J.Shriner}，《国际代数计算》。28，第5号，719--732（2018；Zbl 1491.08012） 全文： 内政部 arXiv公司 参考文献： [1] 贝克，K.A。；Pixley，A.F.，多项式插值和代数系统的中国剩余定理，数学。Z.，143，2，165-174，（1975）·Zbl 0292.08004号 [2] 布拉托夫，A。；科齐克，M。；Mayr，P。；Steindl，M.，半群的次幂成员问题，国际。代数计算杂志。，26, 7, 1435-1451, (2016) ·Zbl 1395.20033号 [3] A.Bulatov、P.Mayr和Á。Szendrei，具有立方体项的有限代数的次幂隶属度问题，正在准备中·Zbl 1515.08004号 [4] 弗斯特，M。；霍普克罗夫特，J。；Luks，E.，置换群的多项式时间算法，第21届年度研讨会。计算机科学基础，36-41，（1980），纽约州锡拉丘兹。 [5] 哈格曼，J。；Mitschke，A.，关于（n）-置换同余，代数普遍性，3，8-12，（1973）·Zbl 0273.08001号 [6] Jónsson，B.，同余格是分配的代数，数学。扫描。，21, 110-121, (1967) ·Zbl 0167.28401号 [7] 卡恩斯，K.A。；吻，E.W。；安大略省Szendrei。，代数的增长率，I：尖立方项，J.Aust。数学。Soc.，101，56-94，（2016年）·Zbl 1353.08002号 [8] Kelly，D.，《基本方程：单词问题和mal’cev条件》，Notices Amer。数学。学会，20，A-54，（1973） [9] Kozik，M.，具有EXPTIME-完全组合问题的有限函数集，Theoret。计算。科学。，407, 330-341, (2008) ·Zbl 1152.68023号 [10] Mayr，P.，mal’cev代数的次幂成员问题，国际。代数计算杂志。，22, 7, 23, (2012) ·Zbl 1284.08009号 [11] R.McKenzie和M.Moore，着色和阻隔剂，正在准备中. [12] Opršal，J.，泰勒模块性猜想及幂等变种的相关问题，Order，（2017）·Zbl 1469.08002号 [13] Pixley，A.F.，代数等式类中同余关系的分布性和置换性，Proc。阿默尔。数学。《社会学杂志》，第14期，第105-109页，（1963年）·Zbl 0113.24804号 [14] Post，E.L.，《数学研究年鉴》，5，《数学逻辑的二值迭代系统》，（1941），普林斯顿大学出版社，新泽西州普林斯顿·Zbl 0063.06326号 [15] Steindl，M.，乐队的次权力成员问题，J.Algebra，489，529-551，（2017）·兹比尔1457.20044 [16] M.Steindl，关于PSPACE完备子幂成员问题的半群，arXiv:1604.01757[math.GR]，已提交·Zbl 1467.20051号 [17] R.Willard，同余置换变种中四个未解决的问题，在秩序、代数和逻辑学会议上的发言，纳什维尔，2007年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。