Abstract
The absorption theory of Barto and Kozik has proven to be a very useful tool in the algebraic approach to the Constraint Satisfaction Problem and the structure of finite algebras in general. We address the following problem: Given a finite relational structure \({\mathbb{A}}\) and a subset \({B \subseteq A}\), is it decidable whether B is an absorbing subuniverse? We provide an affirmative answer in the case when \({\mathbb{A}}\) has bounded width (i.e., the algebra of polymorphisms of \({\mathbb{A}}\) generates a congruence meet semidistributive variety). As a by-product, we confirm that in this case the notion of Jónsson absorption coincides with the usual absorption. We also show that several open questions about absorption in relational structures can be reduced to digraphs.
Similar content being viewed by others
References
Barto, L.: The dichotomy for conservative constraint satisfaction problems revisited. In: Proceedings of the 26th IEEE Symposium on Logic in Computer Science, LICS’11, 301–310 (2011)
Barto L.: Finitely related algebras in congruence distributive varieties have near unanimity terms. Canad. J. Math. 65, 3–21 (2013)
Barto L., Kozik M.: Congruence distributivity implies bounded width. SIAM J. Comput. 39, 1531–1542 (2009)
Barto, L., Kozik, M.: Constraint satisfaction problems of bounded width. In: Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS’09, 595–603 (2009)
Barto L., Kozik M.: Absorbing subalgebras, cyclic terms and the constraint satisfaction problem. Log. Methods Comput. Sci. 8, 1–26 (2012)
Barto, L., Kozik, K., Stanovský, D.: Mal’tsev conditions, lack of absorption, and solvability (2013, preprint) http://www.karlin.mff.cuni.cz/~stanovsk/math/maltsev_absorption_solvability.pdf
Bulatov, A.: Tractable conservative constraint satisfaction problems. In: Proceedings of the 18th IEEE Symposium on Logic in Computer Science, LICS’03, 321–330 (2003)
Bulatov A., Jeavons P., Krokhin A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34, 720–742 (2005)
Bulín, J., Delić, D., Jackson, M., Niven, T.: On the reduction of the CSP dichotomy conjecture to digraphs. In: Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming, CP 2013, 184–199 (2013)
Feder T., Vardi M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28, 57–104 (1999)
Larose B., Zádori L.: Bounded width problems and algebras. Algebra Universalis 56, 439–466 (2007)
Maróti M.: On the (un)decidability of a near-unanimity term. Algebra Universalis 57, 215–237 (2007)
Willard, R.: Testing expressibility is hard. In: Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming, CP 2010, 9–23 (2010)
Open Problems from the Workshop on Algebra and CSPs. Fields Institute for Research in Mathematical Sciences, Toronto (2011) http://www.karlin.mff.cuni.cz/~barto/Articles/fields-2011-problems.pdf
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Maróti.
This research was supported by the grant projects GAČR 201/09/H012, GA UK 67410, SVV-2012-265317 and the Fields Institute for Research in Mathematical Sciences.
Rights and permissions
About this article
Cite this article
Bulín, J. Decidability of absorption in relational structures of bounded width. Algebra Univers. 72, 15–28 (2014). https://doi.org/10.1007/s00012-014-0283-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0283-2