Affiliation:
1. Department of Mathematics and Computer Science, Gallaudet University, 800 Florida Ave. NE, Washington, DC 20002, USA
Abstract
We exhibit finite algebras each generating a variety with NP-complete finite algebra membership problem. The smallest of these algebras is the flat graph algebra belonging to the tetrahedral graph, a graph of 6 vertices obtained by cutting and spreading out the surface of a tetrahedron on the plane. The sequence of graphs we use to build up our flat graph algebras is similar to the sequence exhibited by Wheeler in [36] , 1979, to describe the first order theory of k-colorable graphs. Graph algebras were introduced by Shallon in [34] , 1979, and investigated, among others, by Baker, McNulty and Werner in [2] , 1987. Flat algebras were constructed and used by McKenzie in [27] , 1996, to settle some open questions related to decidability, like Tarski's Finite Basis Problem. Flat graph algebras were also discussed by Willard in [37] , 1996, and Delić in [8] , 1998.
Publisher
World Scientific Pub Co Pte Lt
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献