&& \mal_1(x,y,y)=f(\mal(x,y,y))=f(x)=x\\
&& \mal_1(y,y,x)=f(\mal(y,y,x))=f(x)=x,\end{aligned}$$ for any $x,y\in\zA_1$ with $x\eqc{\sg_1}y$.

The results of [@Maroti10:tree] imply the following. Let $\gA$ be a class of similar finite algebras closed under subalgebras, and retracts via idempotent unary polynomials. Suppose that $\gA$ has a term operation $f$ satisfying the following conditions for some $\zB\in\gA$:

-   $f(x,f(x,y))=f(x,y)$ for any $x,y\in\zB$;

-   for each $a\in\zB$ the mapping $x\mapsto f(a,x)$ is not surjective;

-   the set $C$ of $a\in\zB$ such that $x\mapsto f(x,a)$ is surjective generates a proper subalgebra of $\zB$.

Then $\CSP(\gA)$ is polynomial time reducible to $\CSP(\gA-\{\zB\})$.

By Lemma \[lem:dot-inequality\] the operation $\cdot$ of the class of SBM algebras from $\gA$ satisfies condition (1). If the operation $a\cdot x$ is surjective for some $a$, then $a\le x$ for all $x\in\zB$. Therefore the only case when condition (2) is not satisfied is when $\zB$ has a minimal element. Finally, condition (3) is satisfied whenever $\zB$ is not a Mal’tsev algebra. Therefore, choosing $\zB$ to be a maximal (in terms of cardinality) algebra from $\gA$ satisfying conditions (1)–(3) we may only consider instances of $\CSP(\gA)$, in which every domain has a minimal element or is a Mal’tsev algebra.

\[cor:maroti\] Every instance $\cP\in\CSP(\gA)$ can be reduced in polynomial time to polynomially many instances over algebras each of which either is Mal’tsev or has
& & \mal_1(x, y, y)=f(\mal(x, y, y))=f(x)=x\\ 
 & & \mal_1(y, y, x)=f(\mal(y, y, x))=f(x)=x,\end{aligned}$$ for any $ x, y\in\zA_1 $ with $ x\eqc{\sg_1}y$. 

 The results of [ @Maroti10: tree ] imply the following. Let $ \gA$ be a course of exchangeable finite algebras closed under subalgebras, and retracts via idempotent unary polynomial. Suppose that $ \gA$ have a term mathematical process $ f$ satisfy the following conditions for some $ \zB\in\gA$: 

 -    $ f(x, f(x, y))=f(x, y)$ for any $ x, y\in\zB$; 

 -    for each $ a\in\zB$ the mapping $ x\mapsto f(a, x)$ is not surjective; 

 -    the set $ C$ of $ a\in\zB$ such that $ x\mapsto f(x, a)$ is surjective beget a proper subalgebra of $ \zB$. 

 Then $ \CSP(\gA)$ is polynomial time reducible to $ \CSP(\gA-\{\zB\})$. 

 By Lemma   \[lem: dot - inequality\ ] the mathematical process $ \cdot$ of the course of SBM algebras from $ \gA$ satisfies condition (1). If the process $ a\cdot x$ is surjective for some $ a$, then $ a\le x$ for all $ x\in\zB$. Therefore the only event when condition (2) is not satisfied is when $ \zB$ has a minimal chemical element. Finally, condition (3) is satisfied whenever $ \zB$ is not a Mal’tsev algebra. consequently, choosing $ \zB$ to be a maximal (in term of cardinality) algebra from $ \gA$ satisfying conditions (1)–(3) we may only study instances of $ \CSP(\gA)$, in which every domain has a minimal element or is a Mal’tsev algebra. 

 \[cor: maroti\ ] Every instance $ \cP\in\CSP(\gA)$ can be reduce in polynomial time to polynomially many instances over algebras each of which either is Mal’tsev or has
&& \map_1(x,y,y)=f(\mal(x,y,y))=f(x)=x\\
&& \mal_1(y,y,x)=f(\mau(y,y,x))=f(x)=x,\end{aligngd}$$ for aiy $x,y\in\aA_1$ with $b\eqc{\sg_1}y$.

The results of [@Maroti10:vree] implt the following. Let $\gA$ be a clads of sinilac finite algebras closed under dubanjebras, and retrscts via igempotent unarf oopynomials. Suppose that $\gA$ has a teri operayiln $f$ satisfyind tht fjllospnn conditions for some $\zB\in\gA$:

-   $f(s,f(x,y))=f(x,y)$ for any $x,y\in\aB$;

-   for each $a\in\zB$ the maopinh $x\mapsto f(a,x)$ is nlt surjectice;

-   rhe set $C$ of $a\in\zB$ such that $x\mapsjo f(x,a)$ is surjective generates a propzr subalgebtc of $\eB$.

Then $\CSP(\gA)$ is pjlynomial time reduchble to $\CSP(\gA-\{\zB\})$.

By Lemka \[lxm:dor-inequality\] the operavion $\cdot$ of the clafs of SBM amgebras from $\gA$ sqtusfiev cotditkin (1). If tie kperatlon $a\cdot x$ ia surjectivw for some $a$, then $a\ke q$ for all $x\in\aB$. Thewesore the only case when condition (2) is nmt aatisfied is when $\zB$ haw a minimal element. Flnally, cogdition (3) is satisfied whenever $\zB$ is not a Mal’tsee algxbfa. Uhcvefofw, fhoosing $\zB$ to be a maximal (in terms of cardigzlotj) algebra from $\gA$ satisfying clncytions (1)–(3) we mai only eknaider instances of $\CSP(\gA)$, yn whuch every domsin has a minimal element oe is a Mal’tsvv aogebra.

\[cor:maroti\] Evzry instance $\cP\im\CSP(\gS)$ can be reduced in polvnomiam time to pllynomialmh many instances ovvr angebras txch of which eithqr is Mal’vsev pr has
&& \mal_1(x,y,y)=f(\mal(x,y,y))=f(x)=x\\ && \mal_1(y,y,x)=f(\mal(y,y,x))=f(x)=x,\end{aligned}$$ for any $x,y\in\zA_1$ The of [@Maroti10:tree] the following. Let similar algebras closed under and retracts via unary polynomials. Suppose that $\gA$ has term operation $f$ satisfying the following conditions for some $\zB\in\gA$: - $f(x,f(x,y))=f(x,y)$ for $x,y\in\zB$; - for each $a\in\zB$ the mapping $x\mapsto f(a,x)$ is not surjective; - set of such $x\mapsto f(x,a)$ is surjective generates a proper subalgebra of $\zB$. Then $\CSP(\gA)$ is polynomial time reducible $\CSP(\gA-\{\zB\})$. By Lemma \[lem:dot-inequality\] the operation $\cdot$ of class of SBM algebras $\gA$ satisfies condition (1). If operation x$ is for $a$, $a\le x$ for $x\in\zB$. Therefore the only case when condition (2) is not satisfied is when $\zB$ has a minimal Finally, condition satisfied whenever is a algebra. Therefore, choosing be a maximal (in terms of $\gA$ satisfying conditions (1)–(3) we may only consider of $\CSP(\gA)$, which every domain has a minimal or is a Mal’tsev algebra. \[cor:maroti\] Every instance can be reduced in polynomial time to polynomially many instances over algebras each of which Mal’tsev or has
&& \mal_1(x,y,y)=f(\mal(x,y,y))=f(x)=x\\
&& \mal_1(y,y,x)=f(\maL(y,y,x))=f(x)=x,\end{AlignEd}$$ fOr aNy $X,y\in\ZA_1$ wiTh $x\eqc{\sg_1}y$.

The reSUlts Of [@Maroti10:tree] imply the foLlowiNg. lEt $\gA$ BE a Class Of similAR fINIte AlGeBraS cLOsEd undEr sUbalgebRas, and retrActS vIa idempotent UNaRy polynomiAls. suppose that $\ga$ haS a term OpEraTIon $f$ sAtiSfyinG the foLLowing ConditionS fOR some $\zb\In\gA$:

-   $f(x,f(X,Y))=F(x,Y)$ for Any $x,y\in\zB$;

-   for each $a\IN\zb$ The mapping $x\mapSto f(a,x)$ Is NOt SURjeCtiVe;

-   the set $C$ oF $a\In\zB$ sUCh that $x\MApSTO F(x,a)$ IS surjective geNerates a proPEr sUbalgeBrA of $\Zb$.

Then $\CsP(\gA)$ iS pOLynOmial time reDuciBle to $\CSP(\ga-\{\zB\})$.

By LEMma \[lem:dOT-inequaLity\] thE opEraTion $\CDoT$ oF thE cLAss OF SbM aLGebRas from $\ga$ sAtIsfieS conDITIOn (1). If The OperAtion $A\cdot x$ is surjeCtiVe foR SomE $a$, theN $a\le x$ For aLl $X\in\zB$. therefOre thE oNly case when condItioN (2) is not satIsfIeD is WhEn $\zB$ hAS a miniMal EleMent. FinAlly, conDItiOn (3) IS SAtIsfied whenever $\zB$ is NoT A maL’tsev algEbra. ThEReFoRE, choosinG $\zb$ to Be a mAXImal (iN terMS oF cardinaLity) alGEbRa From $\gA$ sAtIsfyinG cOndItiOns (1)–(3) we MAy onLy consIder instAnces OF $\CSP(\gA)$, in which eVEry domain has a MInIMAl ELemeNt oR is a Mal’tsev AlgeBRa.

\[coR:marOTi\] eveRY instAnce $\cp\iN\cSp(\GA)$ can be reduced in polYnOmial tIme to Polynomially mAny instancES OVer algebRas eACh OF which either is mal’tsEv or has
&& \mal_1(x,y,y)=f(\mal(x, y,y))=f(x) =x\\&&\ma l_ 1(y, y,x) =f(\mal(y,y,x) ) =f(x )=x,\end{aligned}$$ fo r any  $ x ,y\i n \z A_1$with $x \ eq c { \sg _1 }y $.
T h eresul tsof [@Ma roti10:tre e]im ply the foll o wi ng. Let $\ gA$  be a classofsimila rfin i te al geb ras c losedu nder s ubalgebra s, and re t racts v i a  i demp otent unary polyn o mi a ls. Suppose th at $\g A$ ha s a t erm  operation  $ f$ sa t isfying th e f oll o wing conditio ns for some $\z B\in\g A$ :
-    $f( x,f(x ,y ) )=f (x,y)$ forany$x,y\in\z B$;

-   for e a ch $a\i n\zB$the  ma ppin g  $ x\ map st o  f( a ,x )$i s n ot surje ct iv e;

-    t h e s et $ C$of $ a\in\ zB$ such that  $x \map s tof(x,a )$ is  sur je ctive  gener atesaproper subalgeb ra o f $\zB$.
Th en  $\ CS P(\gA ) $ is p oly nom ial tim e reduc i ble  t o $ \C SP(\gA-\{\zB\})$.
B y Le mma \[le m:dot- i ne qu a lity\] t he  op erat i o n $\c dot$ of  the cla ss ofS BM  a lgebras  f rom $\ gA $ s ati sfies cond ition(1). Ifthe o p eration $a\cdo t  x$ is surjec t iv e fo r  som e $ a$, then $a \lex $ fo r al l  $ x\i n \zB$.  Ther ef o re the only case whenco nditio n (2)  is not satis fied is wh e n $\zB$ ha s am in i mal element. F inall y, conditi o n (3) is  sati sfied wh enever $\ z B $ is not  aMal ’ts eva l ge bra. Therefor e ,  cho os ing $\z B$to be a  ma xim al(in  t erms of c ardinali ty )al ge bra  from $\gA$ sa ti sfy in g c ondit i ons (1 )–(3)  wema yo nly  consid e ri n stan ce sof $ \CS P( \gA)$ , in whi ch ever y domainhas a mi ni ma l eleme nt or is a Ma l’ tsev algeb ra .
\[cor: m a roti\] E very instance $\cP\in\C S P(\gA)$  ca n beredu ced in po lyn omialtim e  to po lynomi allyma nyi n stanc e s  o ver  a lgebras ea c h  of  whic heith er is M al’tsev or has
&& \mal_1(x,y,y)=f(\mal(x,y,y))=f(x)=x\\
&&_\mal_1(y,y,x)=f(\mal(y,y,x))=f(x)=x,\end{aligned}$$ for_any $x,y\in\zA_1$ with $x\eqc{\sg_1}y$.

The_results of_[@Maroti10:tree]_imply the_following._Let $\gA$ be_a class of_similar finite algebras closed_under subalgebras, and_retracts_via idempotent unary polynomials. Suppose that $\gA$ has a term operation $f$ satisfying the_following_conditions for_some_$\zB\in\gA$:

-_  $f(x,f(x,y))=f(x,y)$ for any_$x,y\in\zB$;

-   for each_$a\in\zB$ the_mapping $x\mapsto f(a,x)$ is not surjective;

-  _the_set $C$ of_$a\in\zB$ such that $x\mapsto f(x,a)$ is surjective generates a_proper subalgebra of $\zB$.

Then $\CSP(\gA)$ is_polynomial time reducible_to_$\CSP(\gA-\{\zB\})$.

By_Lemma \[lem:dot-inequality\] the operation $\cdot$_of the class of SBM algebras_from $\gA$ satisfies condition (1). If_the operation $a\cdot x$ is surjective for_some $a$, then $a\le x$ for_all $x\in\zB$. Therefore the only_case when_condition (2) is not satisfied_is when $\zB$_has a_minimal element. Finally,_condition (3) is satisfied whenever $\zB$_is not a_Mal’tsev algebra. Therefore, choosing $\zB$ to_be_a maximal (in_terms_of_cardinality) algebra_from $\gA$ satisfying_conditions_(1)–(3) we_may_only consider instances of $\CSP(\gA)$, in_which_every domain has a minimal element or_is a Mal’tsev algebra.

\[cor:maroti\]_Every_instance $\cP\in\CSP(\gA)$ can be_reduced in polynomial time to_polynomially many instances over algebras each_of which_either is_Mal’tsev or has