Identity checking problem for transformation monoids

被引：0
|
作者：
Ondřej Klíma
机构：
[1] Masaryk University,Department of Mathematics and Statistics
来源：
Semigroup Forum | 2012年 / 84卷
关键词：
Checking identities; Finite semigroup; Transformation monoid; Computational complexity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We study the computational complexity of checking identities in a fixed finite monoid. We prove that this problem is coNP-complete for the monoid of all full transformations of a 4-element set. This result completes the description of the complexity of checking identities in the transformation monoids.
引用
收藏
页码：487 / 498
页数：11
相关论文
共 50 条
  • [41] Divisibility problem for one relator monoids
    Adian, SI
    THEORETICAL COMPUTER SCIENCE, 2005, 339 (01) : 3 - 6
  • [42] Complexity of semigroup identity checking
    Kisielewicz, A
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2004, 14 (04) : 455 - 464
  • [43] Complexity Analysis: Transformation Monoids of Finite Automata
    Brandl, Christian
    Simon, Hans Ulrich
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 143 - 154
  • [44] Bilateral semidirect product decompositions of transformation monoids
    Fernandes, Vitor H.
    Quinteiro, Teresa M.
    SEMIGROUP FORUM, 2011, 82 (02) : 271 - 287
  • [45] Partial transformation monoids preserving a uniform partition
    Serena Cicalò
    Vítor H. Fernandes
    Csaba Schneider
    Semigroup Forum, 2015, 90 : 532 - 544
  • [46] A Theory of Transformation Monoids: Combinatorics and Representation Theory
    Steinberg, Benjamin
    ELECTRONIC JOURNAL OF COMBINATORICS, 2010, 17 (01):
  • [47] Maximal subsemigroups of finite transformation and diagram monoids
    East, James
    Kumar, Jitender
    Mitchell, James D.
    Wilson, Wilf A.
    JOURNAL OF ALGEBRA, 2018, 504 : 176 - 216
  • [48] Congruences on direct products of transformation and matrix monoids
    Araujo, Joao
    Bentz, Wolfram
    Gomes, Gracinda M. S.
    SEMIGROUP FORUM, 2018, 97 (03) : 384 - 416
  • [49] Partial transformation monoids preserving a uniform partition
    Cicalo, Serena
    Fernandes, Vitor H.
    Schneider, Csaba
    SEMIGROUP FORUM, 2015, 90 (02) : 532 - 544
  • [50] On clones, transformation monoids, and finite Boolean algebras
    Krokhin, AA
    ALGEBRA UNIVERSALIS, 2001, 46 (1-2) : 231 - 236
12345