Checking quasi-identities in a finite semigroup may be computationally hard
We exhibit a 10-element semigroup Q such that the question “Does a given quasi-identity hold inQ?” is co-NP-complete while the question “Does a given identity hold inQ?” can be answered in linear time.
Keywordssemigroup identity quasi-identity NP-completeness
Unable to display preview. Download preview PDF.
- Bergman, C., and G. Slutzki, ‘Complexity of some problems concerning varieties and quasi-varieties of algebras’, SIAM J. Comput. 30:359–382, 2000.Google Scholar
- Clifford, A. H., and G. B. Preston, The Algebraic Theory of Semigroups, Vol. I, Amer. Math. Soc., 1961.Google Scholar
- Garey, M. R., and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company, 1979.Google Scholar
- Klíma, O., ‘Complexity issues of checking identities in finite monoids’, submitted.Google Scholar
- Mashevitsky, G. I., ‘On identities in varieties of completely simple semigroups over abelian groups’, Modern Algebra, Leningrad, 81–89, 1978 (in Russian).Google Scholar
- Ore, O., Theory of Graphs, Amer. Math. Soc., 1962.Google Scholar
- Papadimitriou, C. H., Computational Complexity, Addison-Wesley Publishing Company, 1994.Google Scholar
- Seif, S., ‘The Perkins semigroup has co-NP-complete term-equivalence problem’, submitted.Google Scholar
© Kluwer Academic Publishers 2004