Universal Algebra and Computational Complexity Lecture 3
Universal Algebra and Computational Complexity Lecture 3
Universal Algebra and Computational Complexity Lecture 3
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Two problems for relational structures<br />
Relational Clone Membership (RCLO)<br />
INPUT:<br />
A finite relational structure M.<br />
A finitary relation R ⊆ M k .<br />
QUESTION: Is R ∈ Inv Pol(M)?<br />
Ross Willard (Waterloo) <strong>Algebra</strong> <strong>and</strong> <strong>Complexity</strong> Třešť, September 2008 30 / 31