Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction
  Problem   The Algebraic Dichotomy Conjecture states that the Constraint Satisfaction
Problem over a fixed template is solvable in polynomial time if the algebra of
polymorphisms associated to the template lies in a Taylor variety, and is
NP-complete otherwise. This paper provides two new characterizations of
finitely generated Taylor varieties. The first characterization is using
absorbing subalgebras and the second one cyclic terms. These new conditions
allow us to reprove the conjecture of Bang-Jensen and Hell (proved by the
authors) and the characterization of locally finite Taylor varieties using weak
near-unanimity terms (proved by McKenzie and Mar\'oti) in an elementary and
self-contained way.

36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
9
The categories of this paper are: nlin