The Subpower Membership Problem for Finite Algebras with Cube Terms

03/21/2018
by   Andrei Bulatov, et al.
0

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 K 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(K) is in P if K is a finite set of finite algebras with a cube term, provided K is contained in a residually small variety. We also prove that for any finite set of finite algebras K in a variety with a cube term, each one of the problems SMP(K), SMP(HSK), and finding compact representations for subpowers in K, is polynomial time reducible to any of the others, and the first two lie in NP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/05/2022

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

We explore new interactions between finite model theory and a number of ...
research
07/11/2023

On the Identity and Group Problems for Complex Heisenberg Matrices

We study the Identity Problem, the problem of determining if a finitely ...
research
11/16/2020

Polynomial-time Tests for Difference Terms in Idempotent Varieties

We consider the following practical question: given a finite algebra A i...
research
06/17/2020

Local structure of idempotent algebras I

We refine and advance the study of the local structure of idempotent fin...
research
01/15/2019

Existence of cube terms in finite finitely generated clones

We study the problem of whether a given finite clone generated by finite...
research
04/05/2019

The Complexity of the Ideal Membership Problem and Theta Bodies for Constrained Problems Over the Boolean Domain

Given an ideal I and a polynomial f the Ideal Membership Problem is to t...
research
01/15/2023

Deciding Equations in the Time Warp Algebra

Join-preserving maps on the discrete time scale ω^+, referred to as time...

Please sign up or login with your details

Forgot password? Click here to reset