815 research outputs found
The Subpower Membership Problem for Finite Algebras with Cube Terms
The subalgebra membership problem is the problem of deciding if a given
element belongs to an algebra given by a set of generators. This is one of the
best established computational problems in algebra. We consider a variant of
this problem, which is motivated by recent progress in the Constraint
Satisfaction Problem, and is often referred to as the Subpower Membership
Problem (SMP). In the SMP we are given a set of tuples in a direct product of
algebras from a fixed finite set of finite algebras, and are
asked whether or not a given tuple belongs to the subalgebra of the direct
product generated by a given set.
Our main result is that the subpower membership problem SMP() is
in P if is a finite set of finite algebras with a cube term,
provided is contained in a residually small variety. We also
prove that for any finite set of finite algebras in a variety
with a cube term, each one of the problems SMP(), SMP(), and finding compact representations for subpowers in
, is polynomial time reducible to any of the others, and the first
two lie in NP
Synthesis of highly alkylated functionalized cyclopentadienes
Tetra- and pentaalkylated cyclopentadienyl ketones and carboxylic acids are prepared by electrophilic allylation of enolizible 1,3-dicarbonyl compounds and successive acid catalyzed cyclisation
- …