596 research outputs found
Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems
We present dichotomy theorems regarding the computational complexity of
counting fixed points in boolean (discrete) dynamical systems, i.e., finite
discrete dynamical systems over the domain {0,1}. For a class F of boolean
functions and a class G of graphs, an (F,G)-system is a boolean dynamical
system with local transitions functions lying in F and graphs in G. We show
that, if local transition functions are given by lookup tables, then the
following complexity classification holds: Let F be a class of boolean
functions closed under superposition and let G be a graph class closed under
taking minors. If F contains all min-functions, all max-functions, or all
self-dual and monotone functions, and G contains all planar graphs, then it is
#P-complete to compute the number of fixed points in an (F,G)-system; otherwise
it is computable in polynomial time. We also prove a dichotomy theorem for the
case that local transition functions are given by formulas (over logical
bases). This theorem has a significantly more complicated structure than the
theorem for lookup tables. A corresponding theorem for boolean circuits
coincides with the theorem for formulas.Comment: 16 pages, extended abstract presented at 10th Italian Conference on
Theoretical Computer Science (ICTCS'2007
Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems
We present dichotomy theorems regarding the computational complexity of counting fixed points in boolean (discrete) dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}. For a class F of boolean functions and a class G of graphs, an (F, G)-system is a boolean dynamical system with local transitions functions lying in F and graphs in G. We show that, if local transition functions are given by lookup tables, then the following complexity classification holds: Let F be a class of boolean functions closed under superposition and let G be a graph class closed under taking minors. If F contains all min-functions, all max-functions, or all self-dual and monotone functions, and G contains all planar graphs, then it is #Pcomplete to compute the number of fixed points in an (F, G)-system; otherwise it is computable in polynomial time. We also prove a dichotomy theorem for the case that local transition functions are given by formulas (over logical bases). This theorem has a significantly more complicated structure than the theorem for lookup tables. A corresponding theorem for boolean circuits coincides with the theorem for formulas
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
Generalized Predecessor Existence Problems for Boolean Finite Dynamical Systems
A Boolean Finite Synchronous Dynamical System (BFDS, for short) consists of a finite number of objects that each maintains a boolean state, where after individually receiving state assignments, the objects update their state with respect to object-specific time-independent boolean functions synchronously in discrete time steps.
The present paper studies the computational complexity of determining, given a boolean finite synchronous dynamical system,
a configuration, which is a boolean vector representing the states
of the objects, and a positive integer t, whether there exists another configuration from which the given configuration can be reached in t steps. It was previously shown that this problem, which we call the t-Predecessor Problem, is NP-complete even for t = 1
if the update function of an object is either the conjunction of
arbitrary fan-in or the disjunction of arbitrary fan-in.
This paper studies the computational complexity of the t-Predecessor Problem for a variety of sets of permissible update functions as well as for polynomially bounded t. It also studies the t-Garden-Of-Eden Problem, a variant of the t-Predecessor Problem that asks whether a configuration has a t-predecessor, which itself has no predecessor. The paper obtains complexity theoretical characterizations of all but one of these problems
The classification problem for automorphisms of C*-algebras
We present an overview of the recent developments in the study of the
classification problem for automorphisms of C*-algebras from the perspective of
Borel complexity theory.Comment: 21 page
Anomalies in the transcriptional regulatory network of the yeast Saccharomyces cerevisiae
We investigate the structural and dynamical properties of the transcriptional
regulatory network of the yeast {\it Saccharomyces cerevisiae} and compare it
with two unbiased ensembles: one obtained by reshuffling the edges and the
other generated by mimicking the transcriptional regulation mechanism within
the cell. Both ensembles reproduce the degree distributions (the first -by
construction- exactly and the second approximately), degree-degree correlations
and the -core structure observed in Yeast. An exceptionally large
dynamically relevant core network found in Yeast in comparison with the second
ensemble points to a strong bias towards a collective organization which is
achieved by subtle modifications in the network's degree distributions. We use
a Boolean model of regulatory dynamics with various classes of update functions
to represent in vivo regulatory interactions. We find that the Yeast's core
network has a qualitatively different behaviour, accommodating on average
multiple attractors unlike typical members of both reference ensembles which
converge to a single dominant attractor. Finally, we investigate the robustness
of the networks and find that the stability depends strongly on the used
function class. The robustness measure is squeezed into a narrower band around
the order-chaos boundary when Boolean inputs are required to be nonredundant on
each node. However, the difference between the reference models and the Yeast's
core is marginal, suggesting that the dynamically stable network elements are
located mostly on the peripherals of the regulatory network. Consistently, the
statistically significant three-node motifs in the dynamical core of Yeast turn
out to be different from and less stable than those found in the full
transcriptional regulatory network.Comment: 31 pages, 7 figures, to appear in the Journal of Theoretical Biology,
new content added, typos correcte
Convergence of Opinion Diffusion is PSPACE-complete
We analyse opinion diffusion in social networks, where a finite set of
individuals is connected in a directed graph and each simultaneously changes
their opinion to that of the majority of their influencers. We study the
algorithmic properties of the fixed-point behaviour of such networks, showing
that the problem of establishing whether individuals converge to stable
opinions is PSPACE-complete
- …