Abstract
We introduce the definition of unary algebra as well as subclasses of it called k-valued, strongly-k-valued and strongly-k-generated. Then we proceed with the simplification algorithm that transforms each system of equations into a more regular one at the expense of adding some definable constraints. Finally we give computational complexity characterization of SysTermSat over three-element unary algebras that depends on width of a special preorder constructed from given algebra.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We use here (and in the rest of the text) polynomial-time many-one reductions also known as polynomial transformations.
- 2.
The relation defined by Positive-1-in-3-Sat is \(\left\{ (1,0,0),(0,1,0),(0,0,1)\right\} \) and it is not closed under any of the operations listed in Fact 1.15.
- 3.
We will use only \(f_1,f_2\) and \(f_3\) for which the situation \(a_1=1,b_1=0\) is symmetric.
- 4.
Obviously \(X\Leftrightarrow Y\) is a pair of 2-Sat clauses: \(\lnot X \vee Y\) and \(X \vee \lnot Y\).
References
Broniek P (2006) Solving equations over small unary algebras, Discrete Math Theoret Comput Sci Proc AF, 49–60
Feder Tomás, Madelaine Florent, Stewart Iain A (2004) Dichotomies for classes of homomorphism problems involving unary functions. Theoret Comput Sci 314(1–2):1–43
Garey MR, Johnson DS (1979) Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman and Co., San Francisco, California
Papadimitriou CH (1994) Computational complexity. Addison-Wesley Publishing Company, Reading, MA
Schaefer TJ (1978) The complexity of satisfiability problems, In: Conference record of the tenth annual ACM symposium on theory of computing (San Diego, California, 1978), ACM, New York, pp. 216–226
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 The Author(s)
About this chapter
Cite this chapter
Broniek, P. (2015). Unary Algebras. In: Computational Complexity of Solving Equation Systems. SpringerBriefs in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-319-21750-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-21750-5_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21749-9
Online ISBN: 978-3-319-21750-5
eBook Packages: Computer ScienceComputer Science (R0)