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 条
  • [1] Identity checking problem for transformation monoids
    Klima, Ondrej
    SEMIGROUP FORUM, 2012, 84 (03) : 487 - 498
  • [2] THE MEMBERSHIP PROBLEM IN APERIODIC TRANSFORMATION MONOIDS
    BEAUDRY, M
    MCKENZIE, P
    THERIEN, D
    JOURNAL OF THE ACM, 1992, 39 (03) : 599 - 616
  • [3] A generic algorithm for the identity problem in finite groups and monoids
    Rybalov, Alexander
    IV INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE MECHANICAL SCIENCE AND TECHNOLOGY UPDATE (MSTU-2020), 2020, 1546
  • [4] Complexity of the identity checking problem for finite semigroups
    Almeida J.
    Volkov M.V.
    Goldberg S.V.
    Journal of Mathematical Sciences, 2009, 158 (5) : 605 - 614
  • [5] Complexity issues of checking identities in finite monoids
    Ondřej Klíma
    Semigroup Forum, 2009, 79 : 435 - 444
  • [6] Complexity issues of checking identities in finite monoids
    Klima, Ondrej
    SEMIGROUP FORUM, 2009, 79 (03) : 435 - 444
  • [7] MONOIDS WITH DISJUNCTIVE IDENTITY AND THEIR CODES
    JURGENSEN, H
    SHYR, HJ
    THIERRIN, G
    ACTA MATHEMATICA HUNGARICA, 1986, 47 (3-4) : 299 - 312
  • [8] On automatic homeomorphicity for transformation monoids
    Pech, Christian
    Pech, Maja
    MONATSHEFTE FUR MATHEMATIK, 2016, 179 (01): : 129 - 148
  • [9] Topological embeddings into transformation monoids
    Bardyla, Serhii
    Elliott, Luke
    Mitchell, James D.
    Peresse, Yann
    FORUM MATHEMATICUM, 2024, 36 (06) : 1537 - 1554
  • [10] Reset Thresholds of Transformation Monoids
    I. Rystsov
    M. Szykuła
    Cybernetics and Systems Analysis, 2024, 60 : 189 - 197
12345