马库斯·斯坦德尔 乐队的次权力成员问题。 （英语） Zbl 1457.2004年4月 J.代数 489, 529-551 (2017). 摘要：固定一个有限半群\（S\），并使\（a_1，\ldots，a_k\），\（b\）是直幂的元组\（S^n\）。（S\）的子权力成员问题（SMP）询问\（b\）是否可以由\（a_1，\ldots，a_k\）生成。对于带（幂等半群），我们提供了一个二分法结果：如果带（S）属于某个拟簇，则（mathrm{SMP}（S））在P中；否则它是NP完全的。此外，我们确定了所有有限成员诱导可处理SMP的最大带的种类。最后，我们给出了两个有限代数的第一个例子，这两个有限代数生成相同的种类，并分别具有可处理和NP完全SMP。 引用于4文件 MSC公司： 2007年7月20日 半群的簇和伪簇 2005年5月20日 自由半群，生成元与关系，单词问题 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 关键词：幂等半群;幂子代数;成员资格测试;计算复杂性;NP-完整性;准变分 软件：间隙;半群 PDF格式BibTeX公司 XML格式引用 \textit{M.Steindl}，J.代数489，529--551（2017；Zbl 1457.2004） 全文： 内政部 arXiv公司 参考文献： [1] 布拉托夫，A。；科齐克，M。；Mayr，P。；Steindl，M.，半群的次幂成员问题，国际。代数计算杂志。，26, 07, 1435-1451 (2016) ·Zbl 1395.20033号 [2] 库克，S.A.，用有时间限制的计算机表征下推机器，J.ACM，18，4-18（1971）·Zbl 0222.02035号 [3] 弗斯特，M。；霍普克罗夫特，J。；Luks，E.，置换群的多项式时间算法，（第21届计算机科学基础年度研讨会。第21届计算科学基础年度会议，纽约州锡拉丘兹，1980（1980），IEEE:IEEE纽约），36-41 [5] Gerhard，J.A。；Petrich，M.，各种带的某些特征，Proc。爱丁堡。数学。Soc.（2），31，2，301-319（1988）·Zbl 0661.20038号 [6] Gerhard，J.A。；Petrich，M.，《重访乐队的种类》，Proc。伦敦。数学。Soc.（3），58，2，323-350（1989）·Zbl 0676.20038号 [7] Howie，J.M.，《半群理论基础》，伦敦数学学会专著，新系列，第12卷（1995），克拉伦登出版社，牛津大学出版社：克拉伦登出版公司，牛津大学出版公司，纽约，牛津科学出版社·Zbl 0835.20077 [8] Idziak，P。；马尔科维奇，P。；McKenzie，R。；瓦莱里奥特，M。；Willard，R.，由具有较少子能力的代数产生的可牵引性和可学习性，SIAM J.Comput。，39, 7, 3023-3037 (2010) ·Zbl 1216.68129号 [9] Kozen，D.，自然证明系统的下限，（第18届计算机科学基础年度研讨会。第18届计算机科学基础年度研讨会，罗得岛普罗维登斯，1977（1977），IEEE Comput。科学：IEEE计算。科学。加利福尼亚州长滩），254-266 [10] Kozik，M.，具有EXPTIME-完全组合问题的有限函数集，Theoret。计算。科学。，407, 1-3, 330-341 (2008) ·Zbl 1152.68023号 [11] Mayr，P.，Mal'cev代数的次幂成员问题，国际。代数计算杂志。，第22、7条，第1250075页（2012年）·Zbl 1284.08009号 [13] Sapir，O.，幂等半群的多样性本质上是非有限生成的，半群论坛，71,1140-146（2005）·Zbl 1089.20036号 [14] Steindl，M.，《关于具有pspace-完备子幂元成员问题的半群》，发表于·Zbl 1467.20051号 [16] Zweckinger，S.，《扩大集团的直接权力计算》（2013），林茨约翰内斯·开普勒大学：奥地利林茨约翰尼斯·开普勒大学，网址： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。