马钦·科齐克 具有EXPTIME-完全组合问题的有限函数集。 （英语） Zbl 1152.68023号 西奥。计算。科学。 407，编号1-3，330-341（2008）。 摘要：我们在有限集（即有限代数）上展示了一个有限函数族，因此，给定函数是否可以作为该函数族成员的组合（即是代数生成的克隆的成员）获得的问题是EXPTIME-complete。 引用于10文件 MSC公司： 65年第68季度 算法和问题复杂性分析 08A40号 代数结构、原代数中的运算和多项式 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：计算复杂性;函数的组成;克隆成员资格问题 PDF格式BibTeX公司 XML格式引用 \文本{M.Kozik}，Theor。计算。科学。407，编号1--3，330-341（2008；Zbl 1152.68023） 全文： 内政部 参考文献： [1] JoséL.Balcázar。，搜索隐式图的复杂性，人工智能，86，1，171-188（1996），MR1410132（98a:68088）·Zbl 1506.68117号 [2] 克利福德·伯格曼；大卫·朱德斯（David Juedes）；Slutzki，Giora，术语等效性的计算复杂性，国际。代数计算杂志。，9、1、113-128（1999），MR1695293（2000b:68088）·兹伯利0931.68058 [3] 斯坦利·伯里斯（Stanley Burris）；Sankappanavar，H.P。，通用代数课程，（数学研究生教材，第78卷（1981），Springer-Verlag:Springer-Verlag纽约），MR648287（83k:08001）·Zbl 0478.08001号 [4] Elwyn Berlekamp，David Wolfe，Mathematical Go，A K Peters Ltd.，马萨诸塞州韦尔斯利，1994年，Chilling得到了最后一点，James Davies作了前言。MR1274921（95i:90131）；Elwyn Berlekamp，David Wolfe，Mathematical Go，A K Peters Ltd.，马萨诸塞州韦尔斯利，1994年，Chilling得到了最后一点，James Davies作了前言。MR1274921（95i:90131）·Zbl 0852.90149号 [5] 乔恩，Ján，关于有限自动机齐次实验的评论，Mat.-Fyz。乔阿索皮斯·斯洛文尼亚。阿卡德。维德，14，208-216（1964），MR0168429（29#5692）·Zbl 0137.01101号 [6] Ashok K.Chandra。；德克斯特·C·科赞。；Stockmeyer，Larry J.，Alternation，J.Assoc.Compute。机器。，28、1、114-133（1981年），MR603186（83克：68059）·Zbl 0473.68043号 [7] Aviezri S.Fraenkel。；David Lichtenstein，《计算国际象棋的完美策略需要指数时间》，J.Combin.Theory Ser。A、 31、2、199-214（1981），MR629595（83b:68044）·Zbl 0467.90100号 [8] Garey，M.R。；Johnson，D.S.，最小化图像大小的合成函数，SIAM J.Compute。，14500-503（1985），MR784752（86d:68031）·Zbl 0602.68093号 [9] 马塞尔·杰克逊；Ralph，McKenzie，有限半群中的图着色性解释，国际。代数计算杂志。，16、1、119-140（2006），MR2217645（2006m:20081）·兹比尔1098.20044 [10] 马钦·科齐克（Marcin Kozik）；Kun，Gábor，图代数生成的簇中的次直不可约代数，代数普遍，58，2，229-242（2008），MR2386530（08B26（68Q17））·Zbl 1140.08002号 [11] Dexter Kozen，《自然证明系统的下限》，载于：第18届计算机科学基础年度研讨会（普罗维登斯，R.I.，1977），IEEE Comput。科学。，加利福尼亚州长滩，1977年，第254-266页，MR0495200（58#13931）；Dexter Kozen，《自然证明系统的下限》，载于：第18届计算机科学基础年度研讨会（普罗维登斯，R.I.，1977），IEEE Comput。科学。，加利福尼亚州长滩，1977年，第254-266页，MR0495200（58#13931） [12] 大卫·利希滕斯坦（David Lichtenstein）；Sipser，Michael，GO是多项式空间硬的，J.Assoc.Comput。机器。，27,2393-401（1980），MR567056（81b:68052）·Zbl 0434.68028号 [13] McKenzie，Ralph，有限代数的剩余界是不可计算的，Internat。代数计算杂志。，6, 1, 29-48 (1996) ·Zbl 0844.08010号 [14] Ralph N.McKenzie。；乔治·麦克纳尔蒂（George F.McNulty）。；Taylor，Walter F.，《代数、格、变体》（The Wadsworth&Brooks/Cole Mathematics Series，Vol.I（1987），Wadsworth＆Brooks/Cole Advanced Books&Software，Monterey，CA），MR883644（88e:08001）·Zbl 0611.08001号 [15] 罗布森，J.M\（N）by（N）checkers is Exptime complete，SIAM J.计算。，13、2、252-267（1984），MR739988（86f:90168）·Zbl 0533.68043号 [16] Székely，Zoltán，品种有限代数成员问题的计算复杂性，国际。代数计算杂志。，12、6、811-823（2002），MR1949698（2003k:08009）·Zbl 1046.08006号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。