Intermediate problems in modular circuits satisfiability
release_aq6cg4ks2jahjaxfhfywm52oju
by
Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski
2020
Abstract
In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary finite
algebras had been introduced and applied to sketch P versus NP-complete
borderline for circuits satisfiability over algebras from congruence modular
varieties. However the problem for nilpotent (which had not been shown to be
NP-hard) but not supernilpotent algebras (which had been shown to be polynomial
time) remained open.
In this paper we provide a broad class of examples, lying in this grey area,
and show that, under the Exponential Time Hypothesis and Strong Exponential
Size Hypothesis (saying that Boolean circuits need exponentially many modular
counting gates to produce boolean conjunctions of any arity), satisfiability
over these algebras have intermediate complexity between Ω(2^clog^h-1
n) and O(2^clog^h n), where h measures how much a nilpotent algebra
fails to be supernilpotent. We also sketch how these examples could be used as
paradigms to fill the nilpotent versus supernilpotent gap in general.
Our examples are striking in view of the natural strong connections between
circuits satisfiability and Constraint Satisfaction Problem for which the
dichotomy had been shown by Bulatov and Zhuk.
In text/plain
format
Archived Files and Locations
application/pdf 310.9 kB
file_qh5u33wwwren3kl4zkkekaadeu
|
arxiv.org (repository) web.archive.org (webarchive) |
2002.08626v2
access all versions, variants, and formats of this works (eg, pre-prints)