Intermediate problems in modular circuits satisfiability release_aq6cg4ks2jahjaxfhfywm52oju

by Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski

Released as a article .

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)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-05-29
Version   v2
Language   en ?
arXiv  2002.08626v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 46647d10-9bbd-4f6e-b439-f8d5ff673a87
API URL: JSON