Complexity issues of checking identities in finite monoids

DOI10.1007/S00233-009-9180-YMaRDI QIDQ2655464zbMATH OpenOpenAlexFDO

Authors Ondřej Klíma

Publication date 25 January 2010

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-009-9180-y

zbMATH Keywords

complexityfinite semigroupschecking identities

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Identity checking problem for transformation monoids
• Complexity of the identity checking problem for finite semigroups.
• COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
• Checking quasi-identities in a finite semigroup may be computationally hard.
• scientific article; zbMATH DE number 1834675

Cites work

• scientific article; zbMATH DE number 5535222 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1759404 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• Algebra complexity problems involving graph homomorphism, semigroups and the constraint satisfaction problem
• Computational complexity of checking identities in 0-simple semigroups and matrix semigroups over finite fields
• Results on the equivalence problem for finite groups.
• THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS
• THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM
• The complexity of checking identities for finite matrix rings
• The complexity of equivalence for commutative rings
• The complexity of the equivalence problem for nonsolvable groups
• The equivalence problem for finite rings

Cited in

(19)

• On finitely related semigroups.
• Monoids with sub-log-exponential free spectra.
• COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
• Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
• Identity checking problem for transformation monoids
• The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
• Checking quasi-identities in a finite semigroup may be computationally hard.
• Complexity of the identity checking problem for finite semigroups.
• From \(A\) to \(B\) to \(Z\)
• Satisfiability in MultiValued Circuits
• Checking identities is computationally intractable NP-hard and therefore human provers will always be needed
• Equivalence and equation solvability problems for the alternating group \(\mathbf A_4\).
• Identities of the Kauffman monoid \(\mathcal{K}_3\)
• A minimal nonfinitely based semigroup whose variety is polynomially recognizable.
• Complexity results on the conjugacy problem for monoids
• Evaluation of polynomials over finite rings via additive combinatorics
• The complexity of checking identities for finite matrix rings
• The complexity of the equivalence and equation solvability problems over meta-abelian groups
• A survey on varieties generated by small semigroups and a companion website

This page was built for publication: Complexity issues of checking identities in finite monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655464)