177 research outputs found
Intermediate problems in modular circuits satisfiability
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 and , where 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
Quotients of index two and general quotients in a space of orderings
In our work we investigate quotient structures and quotient spaces of a space
of orderings arising from subgroups of index two. We provide necessary and
sufficient conditions for a quotient structure to be a quotient space that,
among other things, depend on the stability index of the given space. The case
of the space of orderings of the field Q(x) is particularly interesting, since
then the theory developed simplifies significantly. A part of the theory
firstly developed for quotients of index 2 generalizes in an elegant way to
quotients of index 2^n for arbitrary finite n. Numerous examples are provided
Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties
We give a new proof that a finitely generated congruence-distributive variety has finitely determined syntactic congruences (or, equivalently, term finite principal congruences), and show that the same does not hold for finitely generated congruence-permutable varieties, even under the additional assumption that the variety is residually very finite
On Binary de Bruijn Sequences from LFSRs with Arbitrary Characteristic Polynomials
We propose a construction of de Bruijn sequences by the cycle joining method
from linear feedback shift registers (LFSRs) with arbitrary characteristic
polynomial . We study in detail the cycle structure of the set
that contains all sequences produced by a specific LFSR on
distinct inputs and provide a fast way to find a state of each cycle. This
leads to an efficient algorithm to find all conjugate pairs between any two
cycles, yielding the adjacency graph. The approach is practical to generate a
large class of de Bruijn sequences up to order . Many previously
proposed constructions of de Bruijn sequences are shown to be special cases of
our construction
- …