References & Citations
Mathematics > Logic
Title: Separation of congruence intervals and implications
(Submitted on 12 Jul 2020 (v1), last revised 5 Oct 2023 (this version, v3))
Abstract: The Constraint Satisfaction Problem (CSP) has been intensively studied in many areas of computer science and mathematics. The approach to the CSP based on tools from universal algebra turned out to be the most successful one to study the complexity and algorithms for this problem. Several techniques have been developed over two decades. One of them is through associating edge-colored graphs with algebras and studying how the properties of algebras are related with the structure of the associated graphs. This approach has been introduced in our previous two papers (A.Bulatov, Local structure of idempotent algebras I,II. arXiv:2006.09599, arXiv:2006.10239, 2020). In this paper we further advance it by introducing new structural properties of finite idempotent algebras omitting type 1 such as separation congruences, collapsing polynomials, and their implications for the structure of subdirect products of finite algebras. This paper also provides the algebraic background for our proof of Feder-Vardi Dichotomy Conjecture (A. Bulatov, A Dichotomy Theorem for Nonuniform CSPs. FOCS 2017: 319-330).
Submission history
From: Andrei Bulatov [view email][v1] Sun, 12 Jul 2020 03:00:44 GMT (40kb)
[v2] Mon, 20 Jul 2020 04:59:53 GMT (39kb)
[v3] Thu, 5 Oct 2023 21:00:45 GMT (52kb)
Link back to: arXiv, form interface, contact.