Universal Algebra and Computational Complexity Lecture 3
Universal Algebra and Computational Complexity Lecture 3
Universal Algebra and Computational Complexity Lecture 3
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Size of an algebra<br />
Define some parameters:<br />
||A|| = ∑<br />
fund f<br />
(<br />
)<br />
n arity(f ) log n + 1 .<br />
R = maximum arity of the fundamental operations (assume > 0)<br />
T = number of fundamental operations (assume > 0).<br />
Ross Willard (Waterloo) <strong>Algebra</strong> <strong>and</strong> <strong>Complexity</strong> Třešť, September 2008 4 / 31