
Many natural combinatorial problems can be expressed as constraint
satisfaction problems. This class of problems is known to be NPcomplete in
general, but certain restrictions on the form of the constraints can ensure
tractability. The standard way to parameterize interesting subclasses of the
constraint satisfaction problem is via finite constraint languages. The main
problem is to classify those subclasses that are solvable in polynomial time
and those that are NPcomplete. It was conjectured that if a constraint
language has a weak near unanimity polymorphism then the corresponding
constraint satisfaction problem is tractable, otherwise it is NPcomplete.
In the paper we present an algorithm that solves Constraint Satisfaction
Problem in polynomial time for constraint languages having a weak near
unanimity polymorphism, which proves the remaining part of the conjecture.

Constraint Satisfaction Problem on finite sets is known to be NPcomplete in
general but certain restrictions on the constraint language can ensure
tractability. It was proved that if a constraint language has a weak near
unanimity polymorphism then the corresponding constraint satisfaction problem
is tractable, otherwise it is NPcomplete. In the paper we present a
modification of the algorithm that works in polynomial time even for infinite
constraint languages.

Let A be an idempotent algebra on a finite domain. We combine results of
Chen, Zhuk and Carvalho et al. to argue that if A satisfies the polynomially
generated powers property (PGP), then QCSP(Inv(A)) is in NP. We then use the
result of Zhuk to prove a converse, that if QCSP(Inv(A)) satisfies the
exponentially generated powers property (EGP), then QCSP(Inv(A)) is coNPhard.
Since Zhuk proved that only PGP and EGP are possible, we derive a full
dichotomy for the QCSP, justifying the moral correctness of what we term the
Chen Conjecture.
We examine in closer detail the situation for domains of size three. Over any
finite domain, the only type of PGP that can occur is switchability.
Switchability was introduced by Chen as a generalisation of the alreadyknown
Collapsibility. For threeelement domain algebras A that are Switchable, we
prove that for every finite subset Delta of Inv(A), Pol(Delta) is Collapsible.
The significance of this is that, for QCSP on finite structures (over
threeelement domain), all QCSP tractability explained by Switchability is
already explained by Collapsibility.
Finally, we present a threeelement domain complexity classification
vignette, using known as well as derived results.

In the paper we introduce a notion of a key relation, which is similar to the
notion of a critical relation introduced by Keith A.Kearnes and \'Agnes
Szendrei. All clones on finite sets can be defined by only key relations. In
addition there is a nice description of all key relations on 2 elements. These
are exactly the relations that can be defined as a disjunction of linear
equations. In the paper we show that, in general key relations do not have such
a nice description. Nevertheless, we obtain a nice characterization of all key
relations preserved by a weak nearunanimity function. This characterization is
presented in the paper.

Let A be an idempotent algebra on a 3element domain D that omits a Gset for
a factor. Suppose A is not \alpha\betaprojective (for some alpha, beta subsets
of D) and is not collapsible. It follows that A is switchable. We prove that,
for every finite subset Delta of Inv(A), Pol(Delta) is collapsible. We also
exhibit an algebra that is collapsible from a nonsingleton source but is not
collapsible from any singleton source.

In the paper we prove for every finite algebra A that either it has the
polynomially generated powers (PGP) property, or it has the exponentially
generated powers (EGP) property. For idempotent algebras we give a simple
criteria for the algebra to satisfy EGP property.

We prove that the following problem is decidable: given a finite set of
relations, decide whether this set admits a nearunanimity function.