Solving promise equations over monoids and groups

We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists. As a corollary, we obtain a complexity classification for the same problem over groups.

Bibliographic Details
Main Authors: Larrauri, A, Živný, S
Format: Conference item
Language:English
Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2024