PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Generalized Majority-Minority Operations are Tractable
Victor Dalmau
In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS 05), 26-29 June 2004, Chicago, USA.


Let $A$ be a finite set and let $\varphi:A^k\rightarrow A$ with $k\geq 3$ be a $k$-ary operation on $A$. We say that $\varphi$ is a generalized majority-minority (GMM) operation if for all $a,b\in A$ we have that \noindent \begin{center} $\varphi(x,y,..,y)=\varphi(y,x,..,y)=\cdots=\varphi(y,y,..,x)=y$ \hspace{5cm} for all $x,y\in\{a,b\}$ or $\varphi(x,y,..,y)=\varphi(y,y,..,x)=x \;\; \text{ for all } x,y\in\{a,b\}$ \end{center} Near-unanimity and Mal'tsev operations are particular instances of GMM operations. We prove that every CSP instance where all constraint relations are invariant under a (fixed) GMM operation is solvable in polynomial time. This constitutes one of the largest tractable cases of the CSP.

Postscript - Requires a viewer, such as GhostView
EPrint Type:Conference or Workshop Item (Paper)
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:1827
Deposited By:Victor Dalmau
Deposited On:29 November 2005