Computational complexity of some problems involving congruences on algebras

Authors:
Clifford Bergman;Giora Slutzki
Affiliations:
Iowa State Univ., Ames;Iowa State Univ., Ames
Venue:
Theoretical Computer Science
Year:
2002

Citing 6
Cited 0

Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra

Theoretical Computer Science
Languages that capture complexity classes

SIAM Journal on Computing
Introduction to the Theory of Computation

Introduction to the Theory of Computation
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras

SIAM Journal on Computing

Quantified Score

Hi-index	5.23

Visualization

Abstract

We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra generated by a set of pairs, and determining whether a given algebra is simple or subdirectly irreducible. We also consider the problem of determining the smallest fully invariant congruence on a given algebra containing a given set of pairs. We prove that this problem is complete for nondeterministic polynomial time.