23,190 research outputs found
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
A complete classification of the computational complexity of the fixed-point
existence problem for boolean dynamical systems, i.e., finite discrete
dynamical systems over the domain {0, 1}, is presented. For function classes F
and graph classes G, an (F, G)-system is a boolean dynamical system such that
all local transition functions lie in F and the underlying graph lies in G. Let
F be a class of boolean functions which is closed under composition and let G
be a class of graphs which is closed under taking minors. The following
dichotomy theorems are shown: (1) If F contains the self-dual functions and G
contains the planar graphs then the fixed-point existence problem for (F,
G)-systems with local transition function given by truth-tables is NP-complete;
otherwise, it is decidable in polynomial time. (2) If F contains the self-dual
functions and G contains the graphs having vertex covers of size one then the
fixed-point existence problem for (F, G)-systems with local transition function
given by formulas or circuits is NP-complete; otherwise, it is decidable in
polynomial time.Comment: 17 pages; this version corrects an error/typo in the 2008/01/24
versio
Function classes and relational constraints stable under compositions with clones
The general Galois theory for functions and relational constraints over
arbitrary sets described in the authors' previous paper is refined by imposing
algebraic conditions on relations
Equivalence of operations with respect to discriminator clones
For each clone C on a set A there is an associated equivalence relation,
called C-equivalence, on the set of all operations on A, which relates two
operations iff each one is a substitution instance of the other using
operations from C. In this paper we prove that if C is a discriminator clone on
a finite set, then there are only finitely many C-equivalence classes.
Moreover, we show that the smallest discriminator clone is minimal with respect
to this finiteness property. For discriminator clones of Boolean functions we
explicitly describe the associated equivalence relations.Comment: 17 page
Algebras of multiplace functions for signatures containing antidomain
We define antidomain operations for algebras of multiplace partial functions.
For all signatures containing composition, the antidomain operations and any
subset of intersection, preferential union and fixset, we give finite
equational or quasiequational axiomatisations for the representation class. We
do the same for the question of representability by injective multiplace
partial functions. For all our representation theorems, it is an immediate
corollary of our proof that the finite representation property holds for the
representation class. We show that for a large set of signatures, the
representation classes have equational theories that are coNP-complete.Comment: 33 pages. Added brief discussion of square algebra
On algorithmic equivalence of instruction sequences for computing bit string functions
Every partial function from bit strings of a given length to bit strings of a
possibly different given length can be computed by a finite instruction
sequence that contains only instructions to set and get the content of Boolean
registers, forward jump instructions, and a termination instruction. We look
for an equivalence relation on instruction sequences of this kind that captures
to a reasonable degree the intuitive notion that two instruction sequences
express the same algorithm.Comment: 27 pages, the preliminaries have textual overlaps with the
preliminaries in arXiv:1308.0219 [cs.PL], arXiv:1312.1529 [cs.PL], and
arXiv:1312.1812 [cs.PL]; 27 pages, three paragraphs about Milner's
algorithmic equivalence hypothesis added to concluding remarks; 26 pages,
several minor improvements of the presentation mad
- …