We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Hardness of equations over finite solvable groups under the exponential time hypothesis

Authors: Armin Weiß
Abstract: Goldmann and Russell (2002) initiated the study of the complexity of the equation satisfiability problem in finite groups by showing that it is in P for nilpotent groups while it is NP-complete for non-solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups of Fitting length two. In this work, we present the first lower bounds for the equation satisfiability problem in finite solvable groups: under the assumption of the exponential time hypothesis, we show that it cannot be in P for any group of Fitting length at least four and for certain groups of Fitting length three. Moreover, the same hardness result applies to the equation identity problem.
Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)
MSC classes: 20D60, 68Q17, 20D10
ACM classes: F.2.2; G.2.m
DOI: 10.4230/LIPIcs.ICALP.2020.102
Cite as: arXiv:2002.10145 [cs.CC]
  (or arXiv:2002.10145v2 [cs.CC] for this version)

Submission history

From: Armin Weiß [view email]
[v1] Mon, 24 Feb 2020 10:26:34 GMT (50kb,D)
[v2] Mon, 26 Oct 2020 15:45:23 GMT (56kb,D)

Link back to: arXiv, form interface, contact.