Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 68Q25 ( Analysis of algorithms and problem complexity [See also 68W40] )

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2009 (vol 61 pp. 451)

Valeriote, Matthew A.
A Subalgebra Intersection Property for Congruence Distributive Varieties
We prove that if a finite algebra $\m a$ generates a congruence distributive variety, then the subalgebras of the powers of $\m a$ satisfy a certain kind of intersection property that fails for finite idempotent algebras that locally exhibit affine or unary behaviour. We demonstrate a connection between this property and the constraint satisfaction problem.

Keywords:congruence distributive, constraint satisfaction problem, tame congruence theory, \jon terms, Mal'cev condition
Categories:08B10, 68Q25, 08B05

© Canadian Mathematical Society, 2017 :