Goralčík，帕维尔;瓦克拉夫·库贝克 对复合变换的问题进行排序。 （英语） Zbl 0831.20089 国际代数计算杂志。 5，第3期，309-316（1995）. 设（X，F）是由有限集（X）和变换集（F）组成的一对，分别表示由（F）生成的半群和（F）的一部分由长度不超过给定整数的生成序列确定的变换组成。我们展示了以下内容：\（\bullet\）对于给定的对\（X，F）\和给定的整数\（r），在\（\langle F\rangle\）中是否存在秩\（r\）的幂等变换是PSPACE-complete的问题。\（\bullet\）对于每个固定的\（\geq 1），对于给定的对\（（X，F）\），无论\（\langle F\rangle\）是否包含秩\（r）的幂等变换，都可以在多项式时间内判定，如果是，则可以在多项式时间获得构成秩\。\（\bullet\）对于每个固定的\（r\geq 1），对于给定的\（X，F）\和\（l），在\（F^{（l）}\中是否存在秩\（r\）的幂等变换是NP-完全的问题。\（\bullet）对于每个固定的\（r\geq 2\），对于给定的\（（X，F）\），决定\（\langle F\rangle \）是否包含秩\（r）的变换是NP困难的。审核人：P.Goralík（圣艾格南山） 引用于9文件 MSC公司： 20平方米 变换、关系、分区等的半群。 2005年5月20日 自由半群，生成器和关系，单词问题 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 关键词：多项式时间可判定;发电机序列;幂等变换 PDF格式BibTeX公司 XML格式引用 \textit{P.Goralík}和\textit{V.Koubek}，国际代数计算杂志。5，第3号，309--316（1995；Zbl 0831.20089） 全文： 内政部